Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Events1 / Events1.lusi @ 79ef5fc5

History | View | Annotate | Download (25.6 KB)

1
(* Generated Lustre Interface file from Events1.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:28 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
type b_b2__type = enum {POINTB_B2, POINT__TO__B2_B2A_1, B2_B2A__TO__B2_B2B_1, B2_B2B__TO__B2_B2A_1, B2_B2A_IDL, B2_B2B_IDL };
6

    
7

    
8
type b_b1__type = enum {POINTB_B1, POINT__TO__B1_B1A_1, B1_B1A__TO__B1_B1B_1, B1_B1B__TO__B1_B1A_1, B1_B1A_IDL, B1_B1B_IDL };
9

    
10

    
11
type events1_b__type = enum {POINTEvents1_B, POINT__TO__B_B1_1, B_B2__TO__B_B1_1, B_B1__TO__B_B2_1, B_B2_IDL, B_B1_IDL };
12

    
13

    
14
type a_a2__type = enum {POINTA_A2, POINT__TO__A2_A2A_1, A2_A2A__TO__A2_A2B_1, A2_A2B__TO__A2_A2A_1, A2_A2A_IDL, A2_A2B_IDL };
15

    
16

    
17
type a_a1__type = enum {POINTA_A1, POINT__TO__A1_A1A_1, A1_A1A__TO__A1_A1B_1, A1_A1B__TO__A1_A1A_1, A1_A1A_IDL, A1_A1B_IDL };
18

    
19

    
20
type events1_a__type = enum {POINTEvents1_A, POINT__TO__A_A1_1, A_A2__TO__A_A1_1, A_A1__TO__A_A2_1, A_A2_IDL, A_A1_IDL };
21

    
22

    
23
type events1_events1__type = enum {POINTEvents1_Events1, EVENTS1_EVENTS1_PARALLEL_ENTRY, EVENTS1_EVENTS1_PARALLEL_IDL };
24

    
25

    
26
function B1_B1a_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
27

    
28
function B1_B1b_en (idB_B1_1: int; x: int; b_1: int; isInner: bool) returns (idB_B1: int; b: int);
29

    
30
function B1_B1a_en (idB_B1_1: int; x: int; b_1: int; isInner: bool) returns (idB_B1: int; b: int);
31

    
32
function B1_B1b_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
33

    
34
function B2_B2a_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
35

    
36
function B2_B2b_en (idB_B2_1: int; x: int; b_1: int; isInner: bool) returns (idB_B2: int; b: int);
37

    
38
function B2_B2a_en (idB_B2_1: int; x: int; b_1: int; isInner: bool) returns (idB_B2: int; b: int);
39

    
40
function B2_B2b_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
41

    
42
function b_b1__B1_B1A_IDL_handler_until (b_b1__restart_act: bool; idB_B1_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; b_out: int; idB_B1_out: int);
43

    
44
function b_b1__B1_B1A_IDL_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
45

    
46
function b_b1__B1_B1A__TO__B1_B1B_1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; b_1: int; x: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; b_out: int; idB_B1_out: int);
47

    
48
function b_b1__B1_B1A__TO__B1_B1B_1_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
49

    
50
function b_b1__B1_B1B_IDL_handler_until (b_b1__restart_act: bool; idB_B1_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; b_out: int; idB_B1_out: int);
51

    
52
function b_b1__B1_B1B_IDL_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
53

    
54
function b_b1__B1_B1B__TO__B1_B1A_1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; b_1: int; x: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; b_out: int; idB_B1_out: int);
55

    
56
function b_b1__B1_B1B__TO__B1_B1A_1_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
57

    
58
function b_b1__POINTB_B1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; b_out: int; idB_B1_out: int);
59

    
60
function b_b1__POINTB_B1_unless (b_b1__restart_in: bool; idB_B1_1: int; S1: bool; R1: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
61

    
62
function b_b1__POINT__TO__B1_B1A_1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; b_1: int; x: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; b_out: int; idB_B1_out: int);
63

    
64
function b_b1__POINT__TO__B1_B1A_1_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
65

    
66
function b_b2__B2_B2A_IDL_handler_until (b_b2__restart_act: bool; idB_B2_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; b_out: int; idB_B2_out: int);
67

    
68
function b_b2__B2_B2A_IDL_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
69

    
70
function b_b2__B2_B2A__TO__B2_B2B_1_handler_until (b_b2__restart_act: bool; idB_B2_1: int; b_1: int; x: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; b_out: int; idB_B2_out: int);
71

    
72
function b_b2__B2_B2A__TO__B2_B2B_1_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
73

    
74
function b_b2__B2_B2B_IDL_handler_until (b_b2__restart_act: bool; idB_B2_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; b_out: int; idB_B2_out: int);
75

    
76
function b_b2__B2_B2B_IDL_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
77

    
78
function b_b2__B2_B2B__TO__B2_B2A_1_handler_until (b_b2__restart_act: bool; idB_B2_1: int; b_1: int; x: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; b_out: int; idB_B2_out: int);
79

    
80
function b_b2__B2_B2B__TO__B2_B2A_1_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
81

    
82
function b_b2__POINTB_B2_handler_until (b_b2__restart_act: bool; idB_B2_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; b_out: int; idB_B2_out: int);
83

    
84
function b_b2__POINTB_B2_unless (b_b2__restart_in: bool; idB_B2_1: int; S1: bool; R1: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
85

    
86
function b_b2__POINT__TO__B2_B2A_1_handler_until (b_b2__restart_act: bool; idB_B2_1: int; b_1: int; x: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; b_out: int; idB_B2_out: int);
87

    
88
function b_b2__POINT__TO__B2_B2A_1_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
89

    
90
node B_B1_node (idB_B1_1: int; b_1: int; x: int; S1: bool; R1: bool) returns (idB_B1: int; b: int);
91

    
92
function B_B1__To__B_B2_1_Transition_Action (c_1: int) returns (c: int);
93

    
94
function B_B1_ex (idB_B1_1: int; idEvents1_B_1: int; isInner: bool) returns (idB_B1: int; idEvents1_B: int);
95

    
96
function B_B2_en (idB_B2_1: int; idEvents1_B_1: int; b_1: int; x: int; isInner: bool) returns (idB_B2: int; idEvents1_B: int; b: int);
97

    
98
node B_B2_node (idB_B2_1: int; b_1: int; x: int; S1: bool; R1: bool) returns (idB_B2: int; b: int);
99

    
100
function B_B1_en (idB_B1_1: int; idEvents1_B_1: int; b_1: int; x: int; isInner: bool) returns (idB_B1: int; idEvents1_B: int; b: int);
101

    
102
function B_B2__To__B_B1_1_Transition_Action (c_1: int) returns (c: int);
103

    
104
function B_B2_ex (idB_B2_1: int; idEvents1_B_1: int; isInner: bool) returns (idB_B2: int; idEvents1_B: int);
105

    
106
node events1_b__B_B1_IDL_handler_until (events1_b__restart_act: bool; idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (events1_b__restart_in: bool; events1_b__state_in: events1_b__type; b_out: int; c_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
107

    
108
function events1_b__B_B1_IDL_unless (events1_b__restart_in: bool) returns (events1_b__restart_act: bool; events1_b__state_act: events1_b__type);
109

    
110
function events1_b__B_B1__TO__B_B2_1_handler_until (events1_b__restart_act: bool; idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; c_1: int) returns (events1_b__restart_in: bool; events1_b__state_in: events1_b__type; b_out: int; c_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
111

    
112
function events1_b__B_B1__TO__B_B2_1_unless (events1_b__restart_in: bool) returns (events1_b__restart_act: bool; events1_b__state_act: events1_b__type);
113

    
114
node events1_b__B_B2_IDL_handler_until (events1_b__restart_act: bool; idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (events1_b__restart_in: bool; events1_b__state_in: events1_b__type; b_out: int; c_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
115

    
116
function events1_b__B_B2_IDL_unless (events1_b__restart_in: bool) returns (events1_b__restart_act: bool; events1_b__state_act: events1_b__type);
117

    
118
function events1_b__B_B2__TO__B_B1_1_handler_until (events1_b__restart_act: bool; idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; c_1: int) returns (events1_b__restart_in: bool; events1_b__state_in: events1_b__type; b_out: int; c_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
119

    
120
function events1_b__B_B2__TO__B_B1_1_unless (events1_b__restart_in: bool) returns (events1_b__restart_act: bool; events1_b__state_act: events1_b__type);
121

    
122
function events1_b__POINTEvents1_B_handler_until (events1_b__restart_act: bool; idEvents1_B_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; c_1: int) returns (events1_b__restart_in: bool; events1_b__state_in: events1_b__type; b_out: int; c_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
123

    
124
function events1_b__POINTEvents1_B_unless (events1_b__restart_in: bool; idEvents1_B_1: int; T1: bool) returns (events1_b__restart_act: bool; events1_b__state_act: events1_b__type);
125

    
126
function events1_b__POINT__TO__B_B1_1_handler_until (events1_b__restart_act: bool; idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; c_1: int) returns (events1_b__restart_in: bool; events1_b__state_in: events1_b__type; b_out: int; c_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
127

    
128
function events1_b__POINT__TO__B_B1_1_unless (events1_b__restart_in: bool) returns (events1_b__restart_act: bool; events1_b__state_act: events1_b__type);
129

    
130
node Events1_B_node (idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; T1: bool; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (idEvents1_B: int; b: int; idB_B1: int; idB_B2: int; c: int);
131

    
132
node A1_A1a__To__A1_A1b_1_Transition_Action (idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; T1: bool; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (idEvents1_B: int; b: int; idB_B1: int; idB_B2: int; c: int);
133

    
134
function A1_A1a_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
135

    
136
function A1_A1b_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
137

    
138
function A1_A1a_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
139

    
140
node A1_A1b__To__A1_A1a_1_Transition_Action (idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; T1: bool; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (idEvents1_B: int; b: int; idB_B1: int; idB_B2: int; c: int);
141

    
142
function A1_A1b_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
143

    
144
node A2_A2a__To__A2_A2b_1_Transition_Action (idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; T1: bool; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (idEvents1_B: int; b: int; idB_B1: int; idB_B2: int; c: int);
145

    
146
function A2_A2a_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
147

    
148
function A2_A2b_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
149

    
150
function A2_A2a_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
151

    
152
node A2_A2b__To__A2_A2a_1_Transition_Action (idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; T1: bool; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (idEvents1_B: int; b: int; idB_B1: int; idB_B2: int; c: int);
153

    
154
function A2_A2b_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
155

    
156
function a_a1__A1_A1A_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
157

    
158
function a_a1__A1_A1A_IDL_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
159

    
160
node a_a1__A1_A1A__TO__A1_A1B_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
161

    
162
function a_a1__A1_A1A__TO__A1_A1B_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
163

    
164
function a_a1__A1_A1B_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
165

    
166
function a_a1__A1_A1B_IDL_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
167

    
168
node a_a1__A1_A1B__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
169

    
170
function a_a1__A1_A1B__TO__A1_A1A_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
171

    
172
function a_a1__POINTA_A1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
173

    
174
function a_a1__POINTA_A1_unless (a_a1__restart_in: bool; idA_A1_1: int; S: bool; R: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
175

    
176
function a_a1__POINT__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
177

    
178
function a_a1__POINT__TO__A1_A1A_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
179

    
180
function a_a2__A2_A2A_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; b_out: int; c_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
181

    
182
function a_a2__A2_A2A_IDL_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
183

    
184
node a_a2__A2_A2A__TO__A2_A2B_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; b_out: int; c_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
185

    
186
function a_a2__A2_A2A__TO__A2_A2B_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
187

    
188
function a_a2__A2_A2B_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; b_out: int; c_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
189

    
190
function a_a2__A2_A2B_IDL_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
191

    
192
node a_a2__A2_A2B__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; b_out: int; c_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
193

    
194
function a_a2__A2_A2B__TO__A2_A2A_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
195

    
196
function a_a2__POINTA_A2_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; b_out: int; c_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
197

    
198
function a_a2__POINTA_A2_unless (a_a2__restart_in: bool; idA_A2_1: int; S: bool; R: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
199

    
200
function a_a2__POINT__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; b_out: int; c_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_B_out: int);
201

    
202
function a_a2__POINT__TO__A2_A2A_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
203

    
204
node A_A1_node (idA_A1_1: int; a_1: int; x: int; S: bool; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; R: bool) returns (idA_A1: int; a: int; b: int; c: int; idB_B1: int; idB_B2: int; idEvents1_B: int);
205

    
206
node A_A1__To__A_A2_1_Transition_Action (idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; T1: bool; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (idEvents1_B: int; b: int; idB_B1: int; idB_B2: int; c: int);
207

    
208
function A_A1_ex (idA_A1_1: int; idEvents1_A_1: int; isInner: bool) returns (idA_A1: int; idEvents1_A: int);
209

    
210
function A_A2_en (idA_A2_1: int; idEvents1_A_1: int; a_1: int; x: int; isInner: bool) returns (idA_A2: int; idEvents1_A: int; a: int);
211

    
212
node A_A2_node (idA_A2_1: int; a_1: int; x: int; S: bool; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; R: bool) returns (idA_A2: int; a: int; b: int; c: int; idB_B1: int; idB_B2: int; idEvents1_B: int);
213

    
214
function A_A1_en (idA_A1_1: int; idEvents1_A_1: int; a_1: int; x: int; isInner: bool) returns (idA_A1: int; idEvents1_A: int; a: int);
215

    
216
node A_A2__To__A_A1_1_Transition_Action (idEvents1_B_1: int; b_1: int; idB_B1_1: int; x: int; T1: bool; idB_B2_1: int; c_1: int; R1: bool; S1: bool) returns (idEvents1_B: int; b: int; idB_B1: int; idB_B2: int; c: int);
217

    
218
function A_A2_ex (idA_A2_1: int; idEvents1_A_1: int; isInner: bool) returns (idA_A2: int; idEvents1_A: int);
219

    
220
node events1_a__A_A1_IDL_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; R: bool; S: bool) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int);
221

    
222
function events1_a__A_A1_IDL_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
223

    
224
node events1_a__A_A1__TO__A_A2_1_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int);
225

    
226
function events1_a__A_A1__TO__A_A2_1_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
227

    
228
node events1_a__A_A2_IDL_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; R: bool; S: bool) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int);
229

    
230
function events1_a__A_A2_IDL_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
231

    
232
node events1_a__A_A2__TO__A_A1_1_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int);
233

    
234
function events1_a__A_A2__TO__A_A1_1_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
235

    
236
function events1_a__POINTEvents1_A_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int);
237

    
238
function events1_a__POINTEvents1_A_unless (events1_a__restart_in: bool; idEvents1_A_1: int; T: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
239

    
240
function events1_a__POINT__TO__A_A1_1_handler_until (events1_a__restart_act: bool; idEvents1_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int) returns (events1_a__restart_in: bool; events1_a__state_in: events1_a__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int);
241

    
242
function events1_a__POINT__TO__A_A1_1_unless (events1_a__restart_in: bool) returns (events1_a__restart_act: bool; events1_a__state_act: events1_a__type);
243

    
244
function Events1_A_en (idEvents1_A_1: int; idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; isInner: bool) returns (idEvents1_A: int; idEvents1_Events1: int; a: int; idA_A1: int; idA_A2: int);
245

    
246
function Events1_B_en (idEvents1_B_1: int; idEvents1_Events1_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; isInner: bool) returns (idEvents1_B: int; idEvents1_Events1: int; b: int; idB_B1: int; idB_B2: int);
247

    
248
node Events1_A_node (idEvents1_A_1: int; a_1: int; idA_A1_1: int; x: int; T: bool; idA_A2_1: int; R1: bool; S1: bool; T1: bool; b_1: int; c_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; R: bool; S: bool) returns (idEvents1_A: int; a: int; idA_A1: int; idA_A2: int; b: int; c: int; idB_B1: int; idB_B2: int; idEvents1_B: int);
249

    
250
function events1_events1__EVENTS1_EVENTS1_PARALLEL_ENTRY_handler_until (events1_events1__restart_act: bool; idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idEvents1_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; c_1: int) returns (events1_events1__restart_in: bool; events1_events1__state_in: events1_events1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int; idEvents1_Events1_out: int);
251

    
252
function events1_events1__EVENTS1_EVENTS1_PARALLEL_ENTRY_unless (events1_events1__restart_in: bool) returns (events1_events1__restart_act: bool; events1_events1__state_act: events1_events1__type);
253

    
254
node events1_events1__EVENTS1_EVENTS1_PARALLEL_IDL_handler_until (events1_events1__restart_act: bool; idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idEvents1_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; R: bool; R1: bool; S: bool; S1: bool; T: bool; T1: bool; c_1: int) returns (events1_events1__restart_in: bool; events1_events1__state_in: events1_events1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int; idEvents1_Events1_out: int);
255

    
256
function events1_events1__EVENTS1_EVENTS1_PARALLEL_IDL_unless (events1_events1__restart_in: bool) returns (events1_events1__restart_act: bool; events1_events1__state_act: events1_events1__type);
257

    
258
function events1_events1__POINTEvents1_Events1_handler_until (events1_events1__restart_act: bool; idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idEvents1_A_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; c_1: int) returns (events1_events1__restart_in: bool; events1_events1__state_in: events1_events1__type; a_out: int; b_out: int; c_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idEvents1_A_out: int; idEvents1_B_out: int; idEvents1_Events1_out: int);
259

    
260
function events1_events1__POINTEvents1_Events1_unless (events1_events1__restart_in: bool; idEvents1_Events1_1: int) returns (events1_events1__restart_act: bool; events1_events1__state_act: events1_events1__type);
261

    
262
node Events1_Events1_node (idEvents1_Events1_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idEvents1_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idEvents1_B_1: int; R: bool; R1: bool; S: bool; S1: bool; T: bool; T1: bool; c_1: int) returns (idEvents1_Events1: int; a: int; idA_A1: int; idA_A2: int; idEvents1_A: int; b: int; idB_B1: int; idB_B2: int; idEvents1_B: int; c: int);
263

    
264
node Events1_Events1 (x: int; R: bool; S: bool; T: bool) returns (a: int; b: int; c: int);
265

    
266
function Events1_A_ex (idA_A2_1: int; idEvents1_A_1: int; idA_A1_1: int; idEvents1_Events1_1: int; isInner: bool) returns (idA_A2: int; idEvents1_A: int; idA_A1: int; idEvents1_Events1: int);
267

    
268
node Events1 (x_1_1: int; R_1_1: real; S_1_1: real; T_1_1: real) returns (a_1_1: int; b_2_1: int; c_3_1: int);
269

    
270
function Events1_B_ex (idB_B2_1: int; idEvents1_B_1: int; idB_B1_1: int; idEvents1_Events1_1: int; isInner: bool) returns (idB_B2: int; idEvents1_B: int; idB_B1: int; idEvents1_Events1: int);
271