Project

General

Profile

Revision 9b45f3df regression_tests/lustre_files/success/Stateflow/src_Microwave/Microwave.lusi

View differences:

regression_tests/lustre_files/success/Stateflow/src_Microwave/Microwave.lusi
2 2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:26 *)
3 3
(* Feel free to mask some of the definitions by removing them from this file. *)
4 4

  
5
type mode_logic_running__type = enum {POINTMode_logic_RUNNING, POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1, RUNNING_COOKING__TO__RUNNING_COOKING_1, RUNNING_COOKING__TO__RUNNING_SUSPENDED_2, RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1, RUNNING_SUSPENDED__TO__RUNNING_COOKING_2, RUNNING_COOKING_IDL, RUNNING_SUSPENDED_IDL };
5
type mode__logic_running__type = enum {POINTMode_logic_RUNNING, POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1, RUNNING_COOKING__TO__RUNNING_COOKING_1, RUNNING_COOKING__TO__RUNNING_SUSPENDED_2, RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1, RUNNING_SUSPENDED__TO__RUNNING_COOKING_2, RUNNING_COOKING_IDL, RUNNING_SUSPENDED_IDL };
6 6

  
7 7

  
8
type mode_logic_mode_logic__type = enum {POINTMode_logic_Mode_logic, POINT__TO__MODE_LOGIC_SETUP_1, MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1, MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1, MODE_LOGIC_SETUP_IDL, MODE_LOGIC_RUNNING_IDL };
8
type mode__logic_mode__logic__type = enum {POINTMode_logic_Mode_logic, POINT__TO__MODE_LOGIC_SETUP_1, MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1, MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1, MODE_LOGIC_SETUP_IDL, MODE_LOGIC_RUNNING_IDL };
9 9

  
10 10

  
11 11
function RUNNING_COOKING_ex (idMode_logic_RUNNING_1: int; isInner: bool) returns (idMode_logic_RUNNING: int);
12 12

  
13 13
function RUNNING_SUSPENDED_ex (idMode_logic_RUNNING_1: int; isInner: bool) returns (idMode_logic_RUNNING: int);
14 14

  
15
function RUNNING_COOKING_en (idMode_logic_RUNNING_1: int; mode_1: int; isInner: bool) returns (idMode_logic_RUNNING: int; mode: int);
15
function RUNNING_COOKING_en (idMode_logic_RUNNING_1: int; mode__1: int; isInner: bool) returns (idMode_logic_RUNNING: int; mode_: int);
16 16

  
17
function RUNNING_SUSPENDED_en (idMode_logic_RUNNING_1: int; mode_1: int; isInner: bool) returns (idMode_logic_RUNNING: int; mode: int);
17
function RUNNING_SUSPENDED_en (idMode_logic_RUNNING_1: int; mode__1: int; isInner: bool) returns (idMode_logic_RUNNING: int; mode_: int);
18 18

  
19 19
function RUNNING_COOKING__To__RUNNING_COOKING_1_Transition_Action (steps_remaining_1: int) returns (steps_remaining: int);
20 20

  
21 21
function Mode_logic_RUNNING_ex (idMode_logic_RUNNING_1: int; idMode_logic_Mode_logic_1: int; isInner: bool) returns (idMode_logic_RUNNING: int; idMode_logic_Mode_logic: int);
22 22

  
23
function Mode_logic_SETUP_en (idMode_logic_Mode_logic_1: int; mode_1: int; steps_to_cook: int; steps_remaining_1: int; isInner: bool) returns (idMode_logic_Mode_logic: int; mode: int; steps_remaining: int);
23
function Mode_logic_SETUP_en (idMode_logic_Mode_logic_1: int; mode__1: int; steps_to_cook: int; steps_remaining_1: int; isInner: bool) returns (idMode_logic_Mode_logic: int; mode_: int; steps_remaining: int);
24 24

  
25
function mode_logic_running__POINTMode_logic_RUNNING_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
25
function mode__logic_running__POINTMode_logic_RUNNING_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
26 26

  
27
function mode_logic_running__POINTMode_logic_RUNNING_unless (mode_logic_running__restart_in: bool; idMode_logic_RUNNING_1: int; door_closed: bool; steps_remaining_1: int; clear: bool; start: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
27
function mode__logic_running__POINTMode_logic_RUNNING_unless (mode__logic_running__restart_in: bool; idMode_logic_RUNNING_1: int; door_closed: bool; steps_remaining_1: int; clear: bool; start: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
28 28

  
29
function mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; door_closed: bool; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
29
function mode__logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; door_closed: bool; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
30 30

  
31
function mode_logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
31
function mode__logic_running__POINT__TO__MODE_LOGIC_MODE_LOGICJUNCTION1335_1_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
32 32

  
33
function mode_logic_running__RUNNING_COOKING_IDL_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
33
function mode__logic_running__RUNNING_COOKING_IDL_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
34 34

  
35
function mode_logic_running__RUNNING_COOKING_IDL_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
35
function mode__logic_running__RUNNING_COOKING_IDL_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
36 36

  
37
function mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
37
function mode__logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
38 38

  
39
function mode_logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
39
function mode__logic_running__RUNNING_COOKING__TO__RUNNING_COOKING_1_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
40 40

  
41
function mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
41
function mode__logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
42 42

  
43
function mode_logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
43
function mode__logic_running__RUNNING_COOKING__TO__RUNNING_SUSPENDED_2_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
44 44

  
45
function mode_logic_running__RUNNING_SUSPENDED_IDL_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
45
function mode__logic_running__RUNNING_SUSPENDED_IDL_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
46 46

  
47
function mode_logic_running__RUNNING_SUSPENDED_IDL_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
47
function mode__logic_running__RUNNING_SUSPENDED_IDL_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
48 48

  
49
function mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int; steps_to_cook: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
49
function mode__logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int; steps_to_cook: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
50 50

  
51
function mode_logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
51
function mode__logic_running__RUNNING_SUSPENDED__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
52 52

  
53
function mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until (mode_logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode_logic_running__restart_in: bool; mode_logic_running__state_in: mode_logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
53
function mode__logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_handler_until (mode__logic_running__restart_act: bool; idMode_logic_RUNNING_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_Mode_logic_1: int) returns (mode__logic_running__restart_in: bool; mode__logic_running__state_in: mode__logic_running__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
54 54

  
55
function mode_logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless (mode_logic_running__restart_in: bool) returns (mode_logic_running__restart_act: bool; mode_logic_running__state_act: mode_logic_running__type);
55
function mode__logic_running__RUNNING_SUSPENDED__TO__RUNNING_COOKING_2_unless (mode__logic_running__restart_in: bool) returns (mode__logic_running__restart_act: bool; mode__logic_running__state_act: mode__logic_running__type);
56 56

  
57
node Mode_logic_RUNNING_node (idMode_logic_RUNNING_1: int; door_closed: bool; mode_1: int; steps_remaining_1: int; clear: bool; idMode_logic_Mode_logic_1: int; steps_to_cook: int; start: bool) returns (idMode_logic_RUNNING: int; mode: int; steps_remaining: int; idMode_logic_Mode_logic: int);
57
node Mode_logic_RUNNING_node (idMode_logic_RUNNING_1: int; door_closed: bool; mode__1: int; steps_remaining_1: int; clear: bool; idMode_logic_Mode_logic_1: int; steps_to_cook: int; start: bool) returns (idMode_logic_RUNNING: int; mode_: int; steps_remaining: int; idMode_logic_Mode_logic: int);
58 58

  
59
function Mode_logic_RUNNING_en (idMode_logic_RUNNING_1: int; idMode_logic_Mode_logic_1: int; door_closed: bool; mode_1: int; isInner: bool) returns (idMode_logic_RUNNING: int; idMode_logic_Mode_logic: int; mode: int);
59
function Mode_logic_RUNNING_en (idMode_logic_RUNNING_1: int; idMode_logic_Mode_logic_1: int; door_closed: bool; mode__1: int; isInner: bool) returns (idMode_logic_RUNNING: int; idMode_logic_Mode_logic: int; mode_: int);
60 60

  
61 61
function Mode_logic_SETUP__To__Mode_logic_Mode_logicJunction1348_1_Condition_Action (steps_to_cook: int; steps_remaining_1: int) returns (steps_remaining: int);
62 62

  
63 63
function Mode_logic_SETUP_ex (idMode_logic_Mode_logic_1: int; isInner: bool) returns (idMode_logic_Mode_logic: int);
64 64

  
65
node mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int; clear: bool) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
65
node mode__logic_mode__logic__MODE_LOGIC_RUNNING_IDL_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int; clear: bool) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
66 66

  
67
function mode_logic_mode_logic__MODE_LOGIC_RUNNING_IDL_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
67
function mode__logic_mode__logic__MODE_LOGIC_RUNNING_IDL_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
68 68

  
69
function mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
69
function mode__logic_mode__logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
70 70

  
71
function mode_logic_mode_logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
71
function mode__logic_mode__logic__MODE_LOGIC_RUNNING__TO__MODE_LOGIC_MODE_LOGICJUNCTION1349_1_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
72 72

  
73
function mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
73
function mode__logic_mode__logic__MODE_LOGIC_SETUP_IDL_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
74 74

  
75
function mode_logic_mode_logic__MODE_LOGIC_SETUP_IDL_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
75
function mode__logic_mode__logic__MODE_LOGIC_SETUP_IDL_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
76 76

  
77
function mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
77
function mode__logic_mode__logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
78 78

  
79
function mode_logic_mode_logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
79
function mode__logic_mode__logic__MODE_LOGIC_SETUP__TO__MODE_LOGIC_MODE_LOGICJUNCTION1348_1_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
80 80

  
81
function mode_logic_mode_logic__POINTMode_logic_Mode_logic_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
81
function mode__logic_mode__logic__POINTMode_logic_Mode_logic_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
82 82

  
83
function mode_logic_mode_logic__POINTMode_logic_Mode_logic_unless (mode_logic_mode_logic__restart_in: bool; idMode_logic_Mode_logic_1: int; steps_remaining_1: int) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
83
function mode__logic_mode__logic__POINTMode_logic_Mode_logic_unless (mode__logic_mode__logic__restart_in: bool; idMode_logic_Mode_logic_1: int; steps_remaining_1: int) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
84 84

  
85
function mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until (mode_logic_mode_logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; idMode_logic_RUNNING_1: int) returns (mode_logic_mode_logic__restart_in: bool; mode_logic_mode_logic__state_in: mode_logic_mode_logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode_out: int; steps_remaining_out: int);
85
function mode__logic_mode__logic__POINT__TO__MODE_LOGIC_SETUP_1_handler_until (mode__logic_mode__logic__restart_act: bool; idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; idMode_logic_RUNNING_1: int) returns (mode__logic_mode__logic__restart_in: bool; mode__logic_mode__logic__state_in: mode__logic_mode__logic__type; idMode_logic_Mode_logic_out: int; idMode_logic_RUNNING_out: int; mode__out: int; steps_remaining_out: int);
86 86

  
87
function mode_logic_mode_logic__POINT__TO__MODE_LOGIC_SETUP_1_unless (mode_logic_mode_logic__restart_in: bool) returns (mode_logic_mode_logic__restart_act: bool; mode_logic_mode_logic__state_act: mode_logic_mode_logic__type);
87
function mode__logic_mode__logic__POINT__TO__MODE_LOGIC_SETUP_1_unless (mode__logic_mode__logic__restart_in: bool) returns (mode__logic_mode__logic__restart_act: bool; mode__logic_mode__logic__state_act: mode__logic_mode__logic__type);
88 88

  
89
node Mode_logic_Mode_logic_node (idMode_logic_Mode_logic_1: int; mode_1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int; clear: bool) returns (idMode_logic_Mode_logic: int; mode: int; steps_remaining: int; idMode_logic_RUNNING: int);
89
node Mode_logic_Mode_logic_node (idMode_logic_Mode_logic_1: int; mode__1: int; steps_remaining_1: int; steps_to_cook: int; start: bool; door_closed: bool; idMode_logic_RUNNING_1: int; clear: bool) returns (idMode_logic_Mode_logic: int; mode_: int; steps_remaining: int; idMode_logic_RUNNING: int);
90 90

  
91
node Microwave_Mode_logic (start: bool; clear: bool; steps_to_cook: int; door_closed: bool) returns (mode: int; steps_remaining: int);
91
node Microwave_Mode_logic (start: bool; clear: bool; steps_to_cook: int; door_closed: bool) returns (mode_: int; steps_remaining: int);
92 92

  
93
node Microwave (start_1_1: bool; clear_1_1: bool; steps_to_cook_1_1: int; door_closed_1_1: bool) returns (mode_1_1: int; steps_remaining_2_1: int);
93
node Microwave (start_1_1: bool; clear_1_1: bool; steps_to_cook_1_1: int; door_closed_1_1: bool) returns (mode__1_1: int; steps_remaining_2_1: int);
94 94

  

Also available in: Unified diff