Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Parallel2V2 / Parallel2V2.lusi @ 79ef5fc5

History | View | Annotate | Download (41.3 KB)

1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Parallel2V2.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:19 *)
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 parallel2_b__type = enum {POINTParallel2_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 d_d2__type = enum {POINTD_D2, POINT__TO__D2_D2A_1, D2_D2A__TO__D2_D2B_1, D2_D2B__TO__D2_D2A_1, D2_D2A_IDL, D2_D2B_IDL };
15
16
17
type d_d1__type = enum {POINTD_D1, POINT__TO__D1_D1A_1, D1_D1A__TO__D1_D1B_1, D1_D1B__TO__D1_D1A_1, D1_D1A_IDL, D1_D1B_IDL };
18
19
20
type parallel2_d__type = enum {POINTParallel2_D, POINT__TO__D_D1_1, D_D2__TO__D_D1_1, D_D1__TO__D_D2_1, D_D2_IDL, D_D1_IDL };
21
22
23
type c_c2__type = enum {POINTC_C2, POINT__TO__C2_C2A_1, C2_C2A__TO__C2_C2B_1, C2_C2B__TO__C2_C2A_1, C2_C2A_IDL, C2_C2B_IDL };
24
25
26
type c_c1__type = enum {POINTC_C1, POINT__TO__C1_C1A_1, C1_C1A__TO__C1_C1B_1, C1_C1B__TO__C1_C1A_1, C1_C1A_IDL, C1_C1B_IDL };
27
28
29
type parallel2_c__type = enum {POINTParallel2_C, POINT__TO__C_C1_1, C_C2__TO__C_C1_1, C_C1__TO__C_C2_1, C_C2_IDL, C_C1_IDL };
30
31
32
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 };
33
34
35
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 };
36
37
38
type parallel2_a__type = enum {POINTParallel2_A, POINT__TO__A_A1_1, A_A2__TO__A_A1_1, A_A1__TO__A_A2_1, A_A2_IDL, A_A1_IDL };
39
40
41
type parallel2_parallel2__type = enum {POINTParallel2_Parallel2, PARALLEL2_PARALLEL2_PARALLEL_ENTRY, PARALLEL2_PARALLEL2_PARALLEL_IDL };
42
43
44
function A1_A1a_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
45
46
function A1_A1b_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
47
48
function A1_A1a_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
49
50
function A1_A1b_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
51
52
function A2_A2a_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
53
54
function A2_A2b_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
55
56
function A2_A2a_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
57
58
function A2_A2b_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
59
60
function B1_B1a_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
61
62
function B1_B1b_en (idB_B1_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B1: int; a: int; b: int);
63
64
function B1_B1a_en (idB_B1_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B1: int; a: int; b: int);
65
66
function B1_B1b_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
67
68
function B2_B2a_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
69
70
function B2_B2b_en (idB_B2_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B2: int; a: int; b: int);
71
72
function B2_B2a_en (idB_B2_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B2: int; a: int; b: int);
73
74
function B2_B2b_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
75
76
function C1_C1a_ex (idC_C1_1: int; isInner: bool) returns (idC_C1: int);
77
78
function C1_C1b_en (idC_C1_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C1: int; b: int; c: int);
79
80
function C1_C1a_en (idC_C1_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C1: int; b: int; c: int);
81
82
function C1_C1b_ex (idC_C1_1: int; isInner: bool) returns (idC_C1: int);
83
84
function C2_C2a_ex (idC_C2_1: int; isInner: bool) returns (idC_C2: int);
85
86
function C2_C2b_en (idC_C2_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C2: int; b: int; c: int);
87
88
function C2_C2a_en (idC_C2_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C2: int; b: int; c: int);
89
90
function C2_C2b_ex (idC_C2_1: int; isInner: bool) returns (idC_C2: int);
91
92
function D1_D1a_ex (idD_D1_1: int; isInner: bool) returns (idD_D1: int);
93
94
function D1_D1b_en (idD_D1_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D1: int; c: int; dd: int);
95
96
function D1_D1a_en (idD_D1_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D1: int; c: int; dd: int);
97
98
function D1_D1b_ex (idD_D1_1: int; isInner: bool) returns (idD_D1: int);
99
100
function D2_D2a_ex (idD_D2_1: int; isInner: bool) returns (idD_D2: int);
101
102
function D2_D2b_en (idD_D2_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D2: int; c: int; dd: int);
103
104
function D2_D2a_en (idD_D2_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D2: int; c: int; dd: int);
105
106
function D2_D2b_ex (idD_D2_1: int; isInner: bool) returns (idD_D2: int);
107
108
function a_a1__A1_A1A_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
109
110
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);
111
112
function a_a1__A1_A1A__TO__A1_A1B_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
113
114
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);
115
116
function a_a1__A1_A1B_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
117
118
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);
119
120
function a_a1__A1_A1B__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
121
122
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);
123
124
function a_a1__POINTA_A1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
125
126
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);
127
128
function a_a1__POINT__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
129
130
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);
131
132
function a_a2__A2_A2A_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
133
134
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);
135
136
function a_a2__A2_A2A__TO__A2_A2B_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
137
138
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);
139
140
function a_a2__A2_A2B_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
141
142
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);
143
144
function a_a2__A2_A2B__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
145
146
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);
147
148
function a_a2__POINTA_A2_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
149
150
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);
151
152
function a_a2__POINT__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
153
154
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);
155
156
function b_b1__B1_B1A_IDL_handler_until (b_b1__restart_act: bool; idB_B1_1: int; a_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; a_out: int; b_out: int; idB_B1_out: int);
157
158
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);
159
160
function b_b1__B1_B1A__TO__B1_B1B_1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; a_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; a_out: int; b_out: int; idB_B1_out: int);
161
162
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);
163
164
function b_b1__B1_B1B_IDL_handler_until (b_b1__restart_act: bool; idB_B1_1: int; a_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; a_out: int; b_out: int; idB_B1_out: int);
165
166
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);
167
168
function b_b1__B1_B1B__TO__B1_B1A_1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; a_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; a_out: int; b_out: int; idB_B1_out: int);
169
170
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);
171
172
function b_b1__POINTB_B1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; a_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; a_out: int; b_out: int; idB_B1_out: int);
173
174
function b_b1__POINTB_B1_unless (b_b1__restart_in: bool; idB_B1_1: int; S: bool; R: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
175
176
function b_b1__POINT__TO__B1_B1A_1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; a_1: int; b_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; a_out: int; b_out: int; idB_B1_out: int);
177
178
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);
179
180
function b_b2__B2_B2A_IDL_handler_until (b_b2__restart_act: bool; idB_B2_1: int; a_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; a_out: int; b_out: int; idB_B2_out: int);
181
182
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);
183
184
function b_b2__B2_B2A__TO__B2_B2B_1_handler_until (b_b2__restart_act: bool; idB_B2_1: int; a_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; a_out: int; b_out: int; idB_B2_out: int);
185
186
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);
187
188
function b_b2__B2_B2B_IDL_handler_until (b_b2__restart_act: bool; idB_B2_1: int; a_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; a_out: int; b_out: int; idB_B2_out: int);
189
190
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);
191
192
function b_b2__B2_B2B__TO__B2_B2A_1_handler_until (b_b2__restart_act: bool; idB_B2_1: int; a_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; a_out: int; b_out: int; idB_B2_out: int);
193
194
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);
195
196
function b_b2__POINTB_B2_handler_until (b_b2__restart_act: bool; idB_B2_1: int; a_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; a_out: int; b_out: int; idB_B2_out: int);
197
198
function b_b2__POINTB_B2_unless (b_b2__restart_in: bool; idB_B2_1: int; S: bool; R: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
199
200
function b_b2__POINT__TO__B2_B2A_1_handler_until (b_b2__restart_act: bool; idB_B2_1: int; a_1: int; b_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; a_out: int; b_out: int; idB_B2_out: int);
201
202
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);
203
204
function c_c1__C1_C1A_IDL_handler_until (c_c1__restart_act: bool; idC_C1_1: int; b_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; b_out: int; c_out: int; idC_C1_out: int);
205
206
function c_c1__C1_C1A_IDL_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
207
208
function c_c1__C1_C1A__TO__C1_C1B_1_handler_until (c_c1__restart_act: bool; idC_C1_1: int; b_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; b_out: int; c_out: int; idC_C1_out: int);
209
210
function c_c1__C1_C1A__TO__C1_C1B_1_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
211
212
function c_c1__C1_C1B_IDL_handler_until (c_c1__restart_act: bool; idC_C1_1: int; b_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; b_out: int; c_out: int; idC_C1_out: int);
213
214
function c_c1__C1_C1B_IDL_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
215
216
function c_c1__C1_C1B__TO__C1_C1A_1_handler_until (c_c1__restart_act: bool; idC_C1_1: int; b_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; b_out: int; c_out: int; idC_C1_out: int);
217
218
function c_c1__C1_C1B__TO__C1_C1A_1_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
219
220
function c_c1__POINTC_C1_handler_until (c_c1__restart_act: bool; idC_C1_1: int; b_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; b_out: int; c_out: int; idC_C1_out: int);
221
222
function c_c1__POINTC_C1_unless (c_c1__restart_in: bool; idC_C1_1: int; S: bool; R: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
223
224
function c_c1__POINT__TO__C1_C1A_1_handler_until (c_c1__restart_act: bool; idC_C1_1: int; b_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; b_out: int; c_out: int; idC_C1_out: int);
225
226
function c_c1__POINT__TO__C1_C1A_1_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
227
228
function c_c2__C2_C2A_IDL_handler_until (c_c2__restart_act: bool; idC_C2_1: int; b_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; b_out: int; c_out: int; idC_C2_out: int);
229
230
function c_c2__C2_C2A_IDL_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
231
232
function c_c2__C2_C2A__TO__C2_C2B_1_handler_until (c_c2__restart_act: bool; idC_C2_1: int; b_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; b_out: int; c_out: int; idC_C2_out: int);
233
234
function c_c2__C2_C2A__TO__C2_C2B_1_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
235
236
function c_c2__C2_C2B_IDL_handler_until (c_c2__restart_act: bool; idC_C2_1: int; b_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; b_out: int; c_out: int; idC_C2_out: int);
237
238
function c_c2__C2_C2B_IDL_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
239
240
function c_c2__C2_C2B__TO__C2_C2A_1_handler_until (c_c2__restart_act: bool; idC_C2_1: int; b_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; b_out: int; c_out: int; idC_C2_out: int);
241
242
function c_c2__C2_C2B__TO__C2_C2A_1_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
243
244
function c_c2__POINTC_C2_handler_until (c_c2__restart_act: bool; idC_C2_1: int; b_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; b_out: int; c_out: int; idC_C2_out: int);
245
246
function c_c2__POINTC_C2_unless (c_c2__restart_in: bool; idC_C2_1: int; S: bool; R: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
247
248
function c_c2__POINT__TO__C2_C2A_1_handler_until (c_c2__restart_act: bool; idC_C2_1: int; b_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; b_out: int; c_out: int; idC_C2_out: int);
249
250
function c_c2__POINT__TO__C2_C2A_1_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
251
252
function d_d1__D1_D1A_IDL_handler_until (d_d1__restart_act: bool; idD_D1_1: int; c_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; c_out: int; dd_out: int; idD_D1_out: int);
253
254
function d_d1__D1_D1A_IDL_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
255
256
function d_d1__D1_D1A__TO__D1_D1B_1_handler_until (d_d1__restart_act: bool; idD_D1_1: int; c_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; c_out: int; dd_out: int; idD_D1_out: int);
257
258
function d_d1__D1_D1A__TO__D1_D1B_1_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
259
260
function d_d1__D1_D1B_IDL_handler_until (d_d1__restart_act: bool; idD_D1_1: int; c_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; c_out: int; dd_out: int; idD_D1_out: int);
261
262
function d_d1__D1_D1B_IDL_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
263
264
function d_d1__D1_D1B__TO__D1_D1A_1_handler_until (d_d1__restart_act: bool; idD_D1_1: int; c_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; c_out: int; dd_out: int; idD_D1_out: int);
265
266
function d_d1__D1_D1B__TO__D1_D1A_1_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
267
268
function d_d1__POINTD_D1_handler_until (d_d1__restart_act: bool; idD_D1_1: int; c_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; c_out: int; dd_out: int; idD_D1_out: int);
269
270
function d_d1__POINTD_D1_unless (d_d1__restart_in: bool; idD_D1_1: int; S: bool; R: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
271
272
function d_d1__POINT__TO__D1_D1A_1_handler_until (d_d1__restart_act: bool; idD_D1_1: int; c_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; c_out: int; dd_out: int; idD_D1_out: int);
273
274
function d_d1__POINT__TO__D1_D1A_1_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
275
276
function d_d2__D2_D2A_IDL_handler_until (d_d2__restart_act: bool; idD_D2_1: int; c_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; c_out: int; dd_out: int; idD_D2_out: int);
277
278
function d_d2__D2_D2A_IDL_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
279
280
function d_d2__D2_D2A__TO__D2_D2B_1_handler_until (d_d2__restart_act: bool; idD_D2_1: int; c_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; c_out: int; dd_out: int; idD_D2_out: int);
281
282
function d_d2__D2_D2A__TO__D2_D2B_1_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
283
284
function d_d2__D2_D2B_IDL_handler_until (d_d2__restart_act: bool; idD_D2_1: int; c_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; c_out: int; dd_out: int; idD_D2_out: int);
285
286
function d_d2__D2_D2B_IDL_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
287
288
function d_d2__D2_D2B__TO__D2_D2A_1_handler_until (d_d2__restart_act: bool; idD_D2_1: int; c_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; c_out: int; dd_out: int; idD_D2_out: int);
289
290
function d_d2__D2_D2B__TO__D2_D2A_1_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
291
292
function d_d2__POINTD_D2_handler_until (d_d2__restart_act: bool; idD_D2_1: int; c_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; c_out: int; dd_out: int; idD_D2_out: int);
293
294
function d_d2__POINTD_D2_unless (d_d2__restart_in: bool; idD_D2_1: int; S: bool; R: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
295
296
function d_d2__POINT__TO__D2_D2A_1_handler_until (d_d2__restart_act: bool; idD_D2_1: int; c_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; c_out: int; dd_out: int; idD_D2_out: int);
297
298
function d_d2__POINT__TO__D2_D2A_1_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
299
300
node A_A1_node (idA_A1_1: int; a_1: int; x: int; S: bool; R: bool) returns (idA_A1: int; a: int);
301
302
function A_A1_ex (idA_A1_1: int; idParallel2_A_1: int; isInner: bool) returns (idA_A1: int; idParallel2_A: int);
303
304
function A_A2_en (idA_A2_1: int; idParallel2_A_1: int; a_1: int; x: int; isInner: bool) returns (idA_A2: int; idParallel2_A: int; a: int);
305
306
node A_A2_node (idA_A2_1: int; a_1: int; x: int; S: bool; R: bool) returns (idA_A2: int; a: int);
307
308
function A_A1_en (idA_A1_1: int; idParallel2_A_1: int; a_1: int; x: int; isInner: bool) returns (idA_A1: int; idParallel2_A: int; a: int);
309
310
function A_A2_ex (idA_A2_1: int; idParallel2_A_1: int; isInner: bool) returns (idA_A2: int; idParallel2_A: int);
311
312
node B_B1_node (idB_B1_1: int; a_1: int; b_1: int; S: bool; R: bool) returns (idB_B1: int; a: int; b: int);
313
314
function B_B1_ex (idB_B1_1: int; idParallel2_B_1: int; isInner: bool) returns (idB_B1: int; idParallel2_B: int);
315
316
function B_B2_en (idB_B2_1: int; idParallel2_B_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B2: int; idParallel2_B: int; a: int; b: int);
317
318
node B_B2_node (idB_B2_1: int; a_1: int; b_1: int; S: bool; R: bool) returns (idB_B2: int; a: int; b: int);
319
320
function B_B1_en (idB_B1_1: int; idParallel2_B_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B1: int; idParallel2_B: int; a: int; b: int);
321
322
function B_B2_ex (idB_B2_1: int; idParallel2_B_1: int; isInner: bool) returns (idB_B2: int; idParallel2_B: int);
323
324
node C_C1_node (idC_C1_1: int; b_1: int; c_1: int; S: bool; R: bool) returns (idC_C1: int; b: int; c: int);
325
326
function C_C1_ex (idC_C1_1: int; idParallel2_C_1: int; isInner: bool) returns (idC_C1: int; idParallel2_C: int);
327
328
function C_C2_en (idC_C2_1: int; idParallel2_C_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C2: int; idParallel2_C: int; b: int; c: int);
329
330
node C_C2_node (idC_C2_1: int; b_1: int; c_1: int; S: bool; R: bool) returns (idC_C2: int; b: int; c: int);
331
332
function C_C1_en (idC_C1_1: int; idParallel2_C_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C1: int; idParallel2_C: int; b: int; c: int);
333
334
function C_C2_ex (idC_C2_1: int; idParallel2_C_1: int; isInner: bool) returns (idC_C2: int; idParallel2_C: int);
335
336
node D_D1_node (idD_D1_1: int; c_1: int; dd_1: int; S: bool; R: bool) returns (idD_D1: int; c: int; dd: int);
337
338
function D_D1_ex (idD_D1_1: int; idParallel2_D_1: int; isInner: bool) returns (idD_D1: int; idParallel2_D: int);
339
340
function D_D2_en (idD_D2_1: int; idParallel2_D_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D2: int; idParallel2_D: int; c: int; dd: int);
341
342
node D_D2_node (idD_D2_1: int; c_1: int; dd_1: int; S: bool; R: bool) returns (idD_D2: int; c: int; dd: int);
343
344
function D_D1_en (idD_D1_1: int; idParallel2_D_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D1: int; idParallel2_D: int; c: int; dd: int);
345
346
function D_D2_ex (idD_D2_1: int; idParallel2_D_1: int; isInner: bool) returns (idD_D2: int; idParallel2_D: int);
347
348
node parallel2_a__A_A1_IDL_handler_until (parallel2_a__restart_act: bool; idParallel2_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R: bool; S: bool) returns (parallel2_a__restart_in: bool; parallel2_a__state_in: parallel2_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel2_A_out: int);
349
350
function parallel2_a__A_A1_IDL_unless (parallel2_a__restart_in: bool) returns (parallel2_a__restart_act: bool; parallel2_a__state_act: parallel2_a__type);
351
352
function parallel2_a__A_A1__TO__A_A2_1_handler_until (parallel2_a__restart_act: bool; idParallel2_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int) returns (parallel2_a__restart_in: bool; parallel2_a__state_in: parallel2_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel2_A_out: int);
353
354
function parallel2_a__A_A1__TO__A_A2_1_unless (parallel2_a__restart_in: bool) returns (parallel2_a__restart_act: bool; parallel2_a__state_act: parallel2_a__type);
355
356
node parallel2_a__A_A2_IDL_handler_until (parallel2_a__restart_act: bool; idParallel2_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R: bool; S: bool) returns (parallel2_a__restart_in: bool; parallel2_a__state_in: parallel2_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel2_A_out: int);
357
358
function parallel2_a__A_A2_IDL_unless (parallel2_a__restart_in: bool) returns (parallel2_a__restart_act: bool; parallel2_a__state_act: parallel2_a__type);
359
360
function parallel2_a__A_A2__TO__A_A1_1_handler_until (parallel2_a__restart_act: bool; idParallel2_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int) returns (parallel2_a__restart_in: bool; parallel2_a__state_in: parallel2_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel2_A_out: int);
361
362
function parallel2_a__A_A2__TO__A_A1_1_unless (parallel2_a__restart_in: bool) returns (parallel2_a__restart_act: bool; parallel2_a__state_act: parallel2_a__type);
363
364
function parallel2_a__POINTParallel2_A_handler_until (parallel2_a__restart_act: bool; idParallel2_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int) returns (parallel2_a__restart_in: bool; parallel2_a__state_in: parallel2_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel2_A_out: int);
365
366
function parallel2_a__POINTParallel2_A_unless (parallel2_a__restart_in: bool; idParallel2_A_1: int; T: bool) returns (parallel2_a__restart_act: bool; parallel2_a__state_act: parallel2_a__type);
367
368
function parallel2_a__POINT__TO__A_A1_1_handler_until (parallel2_a__restart_act: bool; idParallel2_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int) returns (parallel2_a__restart_in: bool; parallel2_a__state_in: parallel2_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel2_A_out: int);
369
370
function parallel2_a__POINT__TO__A_A1_1_unless (parallel2_a__restart_in: bool) returns (parallel2_a__restart_act: bool; parallel2_a__state_act: parallel2_a__type);
371
372
node parallel2_b__B_B1_IDL_handler_until (parallel2_b__restart_act: bool; idParallel2_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; R: bool; S: bool) returns (parallel2_b__restart_in: bool; parallel2_b__state_in: parallel2_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel2_B_out: int);
373
374
function parallel2_b__B_B1_IDL_unless (parallel2_b__restart_in: bool) returns (parallel2_b__restart_act: bool; parallel2_b__state_act: parallel2_b__type);
375
376
function parallel2_b__B_B1__TO__B_B2_1_handler_until (parallel2_b__restart_act: bool; idParallel2_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel2_b__restart_in: bool; parallel2_b__state_in: parallel2_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel2_B_out: int);
377
378
function parallel2_b__B_B1__TO__B_B2_1_unless (parallel2_b__restart_in: bool) returns (parallel2_b__restart_act: bool; parallel2_b__state_act: parallel2_b__type);
379
380
node parallel2_b__B_B2_IDL_handler_until (parallel2_b__restart_act: bool; idParallel2_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; R: bool; S: bool) returns (parallel2_b__restart_in: bool; parallel2_b__state_in: parallel2_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel2_B_out: int);
381
382
function parallel2_b__B_B2_IDL_unless (parallel2_b__restart_in: bool) returns (parallel2_b__restart_act: bool; parallel2_b__state_act: parallel2_b__type);
383
384
function parallel2_b__B_B2__TO__B_B1_1_handler_until (parallel2_b__restart_act: bool; idParallel2_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel2_b__restart_in: bool; parallel2_b__state_in: parallel2_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel2_B_out: int);
385
386
function parallel2_b__B_B2__TO__B_B1_1_unless (parallel2_b__restart_in: bool) returns (parallel2_b__restart_act: bool; parallel2_b__state_act: parallel2_b__type);
387
388
function parallel2_b__POINTParallel2_B_handler_until (parallel2_b__restart_act: bool; idParallel2_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel2_b__restart_in: bool; parallel2_b__state_in: parallel2_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel2_B_out: int);
389
390
function parallel2_b__POINTParallel2_B_unless (parallel2_b__restart_in: bool; idParallel2_B_1: int; T: bool) returns (parallel2_b__restart_act: bool; parallel2_b__state_act: parallel2_b__type);
391
392
function parallel2_b__POINT__TO__B_B1_1_handler_until (parallel2_b__restart_act: bool; idParallel2_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel2_b__restart_in: bool; parallel2_b__state_in: parallel2_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel2_B_out: int);
393
394
function parallel2_b__POINT__TO__B_B1_1_unless (parallel2_b__restart_in: bool) returns (parallel2_b__restart_act: bool; parallel2_b__state_act: parallel2_b__type);
395
396
node parallel2_c__C_C1_IDL_handler_until (parallel2_c__restart_act: bool; idParallel2_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; R: bool; S: bool) returns (parallel2_c__restart_in: bool; parallel2_c__state_in: parallel2_c__type; b_out: int; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel2_C_out: int);
397
398
function parallel2_c__C_C1_IDL_unless (parallel2_c__restart_in: bool) returns (parallel2_c__restart_act: bool; parallel2_c__state_act: parallel2_c__type);
399
400
function parallel2_c__C_C1__TO__C_C2_1_handler_until (parallel2_c__restart_act: bool; idParallel2_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (parallel2_c__restart_in: bool; parallel2_c__state_in: parallel2_c__type; b_out: int; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel2_C_out: int);
401
402
function parallel2_c__C_C1__TO__C_C2_1_unless (parallel2_c__restart_in: bool) returns (parallel2_c__restart_act: bool; parallel2_c__state_act: parallel2_c__type);
403
404
node parallel2_c__C_C2_IDL_handler_until (parallel2_c__restart_act: bool; idParallel2_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; R: bool; S: bool) returns (parallel2_c__restart_in: bool; parallel2_c__state_in: parallel2_c__type; b_out: int; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel2_C_out: int);
405
406
function parallel2_c__C_C2_IDL_unless (parallel2_c__restart_in: bool) returns (parallel2_c__restart_act: bool; parallel2_c__state_act: parallel2_c__type);
407
408
function parallel2_c__C_C2__TO__C_C1_1_handler_until (parallel2_c__restart_act: bool; idParallel2_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (parallel2_c__restart_in: bool; parallel2_c__state_in: parallel2_c__type; b_out: int; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel2_C_out: int);
409
410
function parallel2_c__C_C2__TO__C_C1_1_unless (parallel2_c__restart_in: bool) returns (parallel2_c__restart_act: bool; parallel2_c__state_act: parallel2_c__type);
411
412
function parallel2_c__POINTParallel2_C_handler_until (parallel2_c__restart_act: bool; idParallel2_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (parallel2_c__restart_in: bool; parallel2_c__state_in: parallel2_c__type; b_out: int; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel2_C_out: int);
413
414
function parallel2_c__POINTParallel2_C_unless (parallel2_c__restart_in: bool; idParallel2_C_1: int; T: bool) returns (parallel2_c__restart_act: bool; parallel2_c__state_act: parallel2_c__type);
415
416
function parallel2_c__POINT__TO__C_C1_1_handler_until (parallel2_c__restart_act: bool; idParallel2_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (parallel2_c__restart_in: bool; parallel2_c__state_in: parallel2_c__type; b_out: int; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel2_C_out: int);
417
418
function parallel2_c__POINT__TO__C_C1_1_unless (parallel2_c__restart_in: bool) returns (parallel2_c__restart_act: bool; parallel2_c__state_act: parallel2_c__type);
419
420
node parallel2_d__D_D1_IDL_handler_until (parallel2_d__restart_act: bool; idParallel2_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; R: bool; S: bool) returns (parallel2_d__restart_in: bool; parallel2_d__state_in: parallel2_d__type; c_out: int; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_D_out: int);
421
422
function parallel2_d__D_D1_IDL_unless (parallel2_d__restart_in: bool) returns (parallel2_d__restart_act: bool; parallel2_d__state_act: parallel2_d__type);
423
424
function parallel2_d__D_D1__TO__D_D2_1_handler_until (parallel2_d__restart_act: bool; idParallel2_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (parallel2_d__restart_in: bool; parallel2_d__state_in: parallel2_d__type; c_out: int; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_D_out: int);
425
426
function parallel2_d__D_D1__TO__D_D2_1_unless (parallel2_d__restart_in: bool) returns (parallel2_d__restart_act: bool; parallel2_d__state_act: parallel2_d__type);
427
428
node parallel2_d__D_D2_IDL_handler_until (parallel2_d__restart_act: bool; idParallel2_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; R: bool; S: bool) returns (parallel2_d__restart_in: bool; parallel2_d__state_in: parallel2_d__type; c_out: int; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_D_out: int);
429
430
function parallel2_d__D_D2_IDL_unless (parallel2_d__restart_in: bool) returns (parallel2_d__restart_act: bool; parallel2_d__state_act: parallel2_d__type);
431
432
function parallel2_d__D_D2__TO__D_D1_1_handler_until (parallel2_d__restart_act: bool; idParallel2_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (parallel2_d__restart_in: bool; parallel2_d__state_in: parallel2_d__type; c_out: int; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_D_out: int);
433
434
function parallel2_d__D_D2__TO__D_D1_1_unless (parallel2_d__restart_in: bool) returns (parallel2_d__restart_act: bool; parallel2_d__state_act: parallel2_d__type);
435
436
function parallel2_d__POINTParallel2_D_handler_until (parallel2_d__restart_act: bool; idParallel2_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (parallel2_d__restart_in: bool; parallel2_d__state_in: parallel2_d__type; c_out: int; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_D_out: int);
437
438
function parallel2_d__POINTParallel2_D_unless (parallel2_d__restart_in: bool; idParallel2_D_1: int; T: bool) returns (parallel2_d__restart_act: bool; parallel2_d__state_act: parallel2_d__type);
439
440
function parallel2_d__POINT__TO__D_D1_1_handler_until (parallel2_d__restart_act: bool; idParallel2_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (parallel2_d__restart_in: bool; parallel2_d__state_in: parallel2_d__type; c_out: int; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_D_out: int);
441
442
function parallel2_d__POINT__TO__D_D1_1_unless (parallel2_d__restart_in: bool) returns (parallel2_d__restart_act: bool; parallel2_d__state_act: parallel2_d__type);
443
444
function Parallel2_A_en (idParallel2_A_1: int; idParallel2_Parallel2_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; isInner: bool) returns (idParallel2_A: int; idParallel2_Parallel2: int; a: int; idA_A1: int; idA_A2: int);
445
446
function Parallel2_B_en (idParallel2_B_1: int; idParallel2_Parallel2_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; isInner: bool) returns (idParallel2_B: int; idParallel2_Parallel2: int; a: int; b: int; idB_B1: int; idB_B2: int);
447
448
function Parallel2_C_en (idParallel2_C_1: int; idParallel2_Parallel2_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; isInner: bool) returns (idParallel2_C: int; idParallel2_Parallel2: int; b: int; c: int; idC_C1: int; idC_C2: int);
449
450
function Parallel2_D_en (idParallel2_D_1: int; idParallel2_Parallel2_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; isInner: bool) returns (idParallel2_D: int; idParallel2_Parallel2: int; c: int; dd: int; idD_D1: int; idD_D2: int);
451
452
node Parallel2_A_node (idParallel2_A_1: int; a_1: int; idA_A1_1: int; x: int; T: bool; idA_A2_1: int; R: bool; S: bool) returns (idParallel2_A: int; a: int; idA_A1: int; idA_A2: int);
453
454
node Parallel2_B_node (idParallel2_B_1: int; a_1: int; b_1: int; idB_B1_1: int; T: bool; idB_B2_1: int; R: bool; S: bool) returns (idParallel2_B: int; a: int; b: int; idB_B1: int; idB_B2: int);
455
456
node Parallel2_C_node (idParallel2_C_1: int; b_1: int; c_1: int; idC_C1_1: int; T: bool; idC_C2_1: int; R: bool; S: bool) returns (idParallel2_C: int; b: int; c: int; idC_C1: int; idC_C2: int);
457
458
node Parallel2_D_node (idParallel2_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; T: bool; idD_D2_1: int; R: bool; S: bool) returns (idParallel2_D: int; c: int; dd: int; idD_D1: int; idD_D2: int);
459
460
function parallel2_parallel2__PARALLEL2_PARALLEL2_PARALLEL_ENTRY_handler_until (parallel2_parallel2__restart_act: bool; idParallel2_Parallel2_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel2_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel2_B_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; idParallel2_C_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; idParallel2_D_1: int) returns (parallel2_parallel2__restart_in: bool; parallel2_parallel2__state_in: parallel2_parallel2__type; a_out: int; b_out: int; c_out: int; dd_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_A_out: int; idParallel2_B_out: int; idParallel2_C_out: int; idParallel2_D_out: int; idParallel2_Parallel2_out: int);
461
462
function parallel2_parallel2__PARALLEL2_PARALLEL2_PARALLEL_ENTRY_unless (parallel2_parallel2__restart_in: bool) returns (parallel2_parallel2__restart_act: bool; parallel2_parallel2__state_act: parallel2_parallel2__type);
463
464
node parallel2_parallel2__PARALLEL2_PARALLEL2_PARALLEL_IDL_handler_until (parallel2_parallel2__restart_act: bool; idParallel2_Parallel2_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel2_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel2_B_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; idParallel2_C_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; idParallel2_D_1: int; R: bool; S: bool; T: bool) returns (parallel2_parallel2__restart_in: bool; parallel2_parallel2__state_in: parallel2_parallel2__type; a_out: int; b_out: int; c_out: int; dd_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_A_out: int; idParallel2_B_out: int; idParallel2_C_out: int; idParallel2_D_out: int; idParallel2_Parallel2_out: int);
465
466
function parallel2_parallel2__PARALLEL2_PARALLEL2_PARALLEL_IDL_unless (parallel2_parallel2__restart_in: bool) returns (parallel2_parallel2__restart_act: bool; parallel2_parallel2__state_act: parallel2_parallel2__type);
467
468
function parallel2_parallel2__POINTParallel2_Parallel2_handler_until (parallel2_parallel2__restart_act: bool; idParallel2_Parallel2_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel2_A_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel2_B_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; idParallel2_C_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; idParallel2_D_1: int) returns (parallel2_parallel2__restart_in: bool; parallel2_parallel2__state_in: parallel2_parallel2__type; a_out: int; b_out: int; c_out: int; dd_out: int; idA_A1_out: int; idA_A2_out: int; idB_B1_out: int; idB_B2_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel2_A_out: int; idParallel2_B_out: int; idParallel2_C_out: int; idParallel2_D_out: int; idParallel2_Parallel2_out: int);
469
470
function parallel2_parallel2__POINTParallel2_Parallel2_unless (parallel2_parallel2__restart_in: bool; idParallel2_Parallel2_1: int) returns (parallel2_parallel2__restart_act: bool; parallel2_parallel2__state_act: parallel2_parallel2__type);
471
472
node Parallel2_Parallel2_node (idParallel2_Parallel2_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel2_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel2_B_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; idParallel2_C_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; idParallel2_D_1: int; R: bool; S: bool; T: bool) returns (idParallel2_Parallel2: int; a: int; idA_A1: int; idA_A2: int; idParallel2_A: int; b: int; idB_B1: int; idB_B2: int; idParallel2_B: int; c: int; idC_C1: int; idC_C2: int; idParallel2_C: int; dd: int; idD_D1: int; idD_D2: int; idParallel2_D: int);
473
474
node Parallel2V2_Parallel2 (x: int; R: bool; S: bool; T: bool) returns (a: int; b: int; dd: int; c: int);
475
476
function Parallel2_A_ex (idA_A2_1: int; idParallel2_A_1: int; idA_A1_1: int; idParallel2_Parallel2_1: int; isInner: bool) returns (idA_A2: int; idParallel2_A: int; idA_A1: int; idParallel2_Parallel2: int);
477
478
function Parallel2_B_ex (idB_B2_1: int; idParallel2_B_1: int; idB_B1_1: int; idParallel2_Parallel2_1: int; isInner: bool) returns (idB_B2: int; idParallel2_B: int; idB_B1: int; idParallel2_Parallel2: int);
479
480
function Parallel2_C_ex (idC_C2_1: int; idParallel2_C_1: int; idC_C1_1: int; idParallel2_Parallel2_1: int; isInner: bool) returns (idC_C2: int; idParallel2_C: int; idC_C1: int; idParallel2_Parallel2: int);
481
482
node Parallel2V2 (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; dd_3_1: int; c_4_1: int);
483
484
function Parallel2_D_ex (idD_D2_1: int; idParallel2_D_1: int; idD_D1_1: int; idParallel2_Parallel2_1: int; isInner: bool) returns (idD_D2: int; idParallel2_D: int; idD_D1: int; idParallel2_Parallel2: int);