Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Parallel3V3 / Parallel3V3.lusi @ 79ef5fc5

History | View | Annotate | Download (43.2 KB)

1
(* Generated Lustre Interface file from Parallel3V3.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:38 *)
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 parallel3_b__type = enum {POINTParallel3_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 cd_d__type = enum {POINTCD_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 cd_c__type = enum {POINTCD_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 parallel3_cd__type = enum {POINTParallel3_CD, PARALLEL3_CD_PARALLEL_ENTRY, PARALLEL3_CD_PARALLEL_IDL };
33

    
34

    
35
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 };
36

    
37

    
38
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 };
39

    
40

    
41
type parallel3_a__type = enum {POINTParallel3_A, POINT__TO__A_A1_1, A_A2__TO__A_A1_1, A_A1__TO__A_A2_1, A_A2_IDL, A_A1_IDL };
42

    
43

    
44
type parallel3_parallel3__type = enum {POINTParallel3_Parallel3, PARALLEL3_PARALLEL3_PARALLEL_ENTRY, PARALLEL3_PARALLEL3_PARALLEL_IDL };
45

    
46

    
47
function C1_C1a_ex (idC_C1_1: int; isInner: bool) returns (idC_C1: int);
48

    
49
function C1_C1b_en (idC_C1_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C1: int; b: int; c: int);
50

    
51
function C1_C1a_en (idC_C1_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C1: int; b: int; c: int);
52

    
53
function C1_C1b_ex (idC_C1_1: int; isInner: bool) returns (idC_C1: int);
54

    
55
function C2_C2a_ex (idC_C2_1: int; isInner: bool) returns (idC_C2: int);
56

    
57
function C2_C2b_en (idC_C2_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C2: int; b: int; c: int);
58

    
59
function C2_C2a_en (idC_C2_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C2: int; b: int; c: int);
60

    
61
function C2_C2b_ex (idC_C2_1: int; isInner: bool) returns (idC_C2: int);
62

    
63
function D1_D1a_ex (idD_D1_1: int; isInner: bool) returns (idD_D1: int);
64

    
65
function D1_D1b_en (idD_D1_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D1: int; c: int; dd: int);
66

    
67
function D1_D1a_en (idD_D1_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D1: int; c: int; dd: int);
68

    
69
function D1_D1b_ex (idD_D1_1: int; isInner: bool) returns (idD_D1: int);
70

    
71
function D2_D2a_ex (idD_D2_1: int; isInner: bool) returns (idD_D2: int);
72

    
73
function D2_D2b_en (idD_D2_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D2: int; c: int; dd: int);
74

    
75
function D2_D2a_en (idD_D2_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D2: int; c: int; dd: int);
76

    
77
function D2_D2b_ex (idD_D2_1: int; isInner: bool) returns (idD_D2: int);
78

    
79
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);
80

    
81
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);
82

    
83
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);
84

    
85
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);
86

    
87
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);
88

    
89
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);
90

    
91
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);
92

    
93
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);
94

    
95
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);
96

    
97
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);
98

    
99
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);
100

    
101
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);
102

    
103
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);
104

    
105
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);
106

    
107
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);
108

    
109
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);
110

    
111
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);
112

    
113
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);
114

    
115
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);
116

    
117
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);
118

    
119
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);
120

    
121
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);
122

    
123
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);
124

    
125
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);
126

    
127
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);
128

    
129
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);
130

    
131
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);
132

    
133
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);
134

    
135
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);
136

    
137
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);
138

    
139
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);
140

    
141
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);
142

    
143
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);
144

    
145
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);
146

    
147
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);
148

    
149
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);
150

    
151
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);
152

    
153
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);
154

    
155
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);
156

    
157
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);
158

    
159
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);
160

    
161
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);
162

    
163
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);
164

    
165
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);
166

    
167
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);
168

    
169
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);
170

    
171
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);
172

    
173
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);
174

    
175
function A1_A1a_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
176

    
177
function A1_A1b_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
178

    
179
function A1_A1a_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
180

    
181
function A1_A1b_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
182

    
183
function A2_A2a_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
184

    
185
function A2_A2b_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
186

    
187
function A2_A2a_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
188

    
189
function A2_A2b_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
190

    
191
function B1_B1a_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
192

    
193
function B1_B1b_en (idB_B1_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B1: int; a: int; b: int);
194

    
195
function B1_B1a_en (idB_B1_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B1: int; a: int; b: int);
196

    
197
function B1_B1b_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
198

    
199
function B2_B2a_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
200

    
201
function B2_B2b_en (idB_B2_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B2: int; a: int; b: int);
202

    
203
function B2_B2a_en (idB_B2_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B2: int; a: int; b: int);
204

    
205
function B2_B2b_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
206

    
207
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);
208

    
209
function C_C1_ex (idC_C1_1: int; idCD_C_1: int; isInner: bool) returns (idC_C1: int; idCD_C: int);
210

    
211
function C_C2_en (idC_C2_1: int; idCD_C_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C2: int; idCD_C: int; b: int; c: int);
212

    
213
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);
214

    
215
function C_C1_en (idC_C1_1: int; idCD_C_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C1: int; idCD_C: int; b: int; c: int);
216

    
217
function C_C2_ex (idC_C2_1: int; idCD_C_1: int; isInner: bool) returns (idC_C2: int; idCD_C: int);
218

    
219
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);
220

    
221
function D_D1_ex (idD_D1_1: int; idCD_D_1: int; isInner: bool) returns (idD_D1: int; idCD_D: int);
222

    
223
function D_D2_en (idD_D2_1: int; idCD_D_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D2: int; idCD_D: int; c: int; dd: int);
224

    
225
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);
226

    
227
function D_D1_en (idD_D1_1: int; idCD_D_1: int; c_1: int; dd_1: int; isInner: bool) returns (idD_D1: int; idCD_D: int; c: int; dd: int);
228

    
229
function D_D2_ex (idD_D2_1: int; idCD_D_1: int; isInner: bool) returns (idD_D2: int; idCD_D: int);
230

    
231
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);
232

    
233
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);
234

    
235
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);
236

    
237
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);
238

    
239
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);
240

    
241
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);
242

    
243
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);
244

    
245
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);
246

    
247
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);
248

    
249
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);
250

    
251
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);
252

    
253
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);
254

    
255
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);
256

    
257
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);
258

    
259
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);
260

    
261
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);
262

    
263
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);
264

    
265
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);
266

    
267
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);
268

    
269
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);
270

    
271
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);
272

    
273
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);
274

    
275
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);
276

    
277
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);
278

    
279
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);
280

    
281
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);
282

    
283
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);
284

    
285
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);
286

    
287
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);
288

    
289
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);
290

    
291
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);
292

    
293
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);
294

    
295
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);
296

    
297
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);
298

    
299
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);
300

    
301
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);
302

    
303
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);
304

    
305
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);
306

    
307
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);
308

    
309
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);
310

    
311
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);
312

    
313
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);
314

    
315
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);
316

    
317
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);
318

    
319
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);
320

    
321
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);
322

    
323
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);
324

    
325
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);
326

    
327
node cd_c__C_C1_IDL_handler_until (cd_c__restart_act: bool; idCD_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; R: bool; S: bool) returns (cd_c__restart_in: bool; cd_c__state_in: cd_c__type; b_out: int; c_out: int; idCD_C_out: int; idC_C1_out: int; idC_C2_out: int);
328

    
329
function cd_c__C_C1_IDL_unless (cd_c__restart_in: bool) returns (cd_c__restart_act: bool; cd_c__state_act: cd_c__type);
330

    
331
function cd_c__C_C1__TO__C_C2_1_handler_until (cd_c__restart_act: bool; idCD_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (cd_c__restart_in: bool; cd_c__state_in: cd_c__type; b_out: int; c_out: int; idCD_C_out: int; idC_C1_out: int; idC_C2_out: int);
332

    
333
function cd_c__C_C1__TO__C_C2_1_unless (cd_c__restart_in: bool) returns (cd_c__restart_act: bool; cd_c__state_act: cd_c__type);
334

    
335
node cd_c__C_C2_IDL_handler_until (cd_c__restart_act: bool; idCD_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; R: bool; S: bool) returns (cd_c__restart_in: bool; cd_c__state_in: cd_c__type; b_out: int; c_out: int; idCD_C_out: int; idC_C1_out: int; idC_C2_out: int);
336

    
337
function cd_c__C_C2_IDL_unless (cd_c__restart_in: bool) returns (cd_c__restart_act: bool; cd_c__state_act: cd_c__type);
338

    
339
function cd_c__C_C2__TO__C_C1_1_handler_until (cd_c__restart_act: bool; idCD_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (cd_c__restart_in: bool; cd_c__state_in: cd_c__type; b_out: int; c_out: int; idCD_C_out: int; idC_C1_out: int; idC_C2_out: int);
340

    
341
function cd_c__C_C2__TO__C_C1_1_unless (cd_c__restart_in: bool) returns (cd_c__restart_act: bool; cd_c__state_act: cd_c__type);
342

    
343
function cd_c__POINTCD_C_handler_until (cd_c__restart_act: bool; idCD_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (cd_c__restart_in: bool; cd_c__state_in: cd_c__type; b_out: int; c_out: int; idCD_C_out: int; idC_C1_out: int; idC_C2_out: int);
344

    
345
function cd_c__POINTCD_C_unless (cd_c__restart_in: bool; idCD_C_1: int; T: bool) returns (cd_c__restart_act: bool; cd_c__state_act: cd_c__type);
346

    
347
function cd_c__POINT__TO__C_C1_1_handler_until (cd_c__restart_act: bool; idCD_C_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (cd_c__restart_in: bool; cd_c__state_in: cd_c__type; b_out: int; c_out: int; idCD_C_out: int; idC_C1_out: int; idC_C2_out: int);
348

    
349
function cd_c__POINT__TO__C_C1_1_unless (cd_c__restart_in: bool) returns (cd_c__restart_act: bool; cd_c__state_act: cd_c__type);
350

    
351
node cd_d__D_D1_IDL_handler_until (cd_d__restart_act: bool; idCD_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; R: bool; S: bool) returns (cd_d__restart_in: bool; cd_d__state_in: cd_d__type; c_out: int; dd_out: int; idCD_D_out: int; idD_D1_out: int; idD_D2_out: int);
352

    
353
function cd_d__D_D1_IDL_unless (cd_d__restart_in: bool) returns (cd_d__restart_act: bool; cd_d__state_act: cd_d__type);
354

    
355
function cd_d__D_D1__TO__D_D2_1_handler_until (cd_d__restart_act: bool; idCD_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (cd_d__restart_in: bool; cd_d__state_in: cd_d__type; c_out: int; dd_out: int; idCD_D_out: int; idD_D1_out: int; idD_D2_out: int);
356

    
357
function cd_d__D_D1__TO__D_D2_1_unless (cd_d__restart_in: bool) returns (cd_d__restart_act: bool; cd_d__state_act: cd_d__type);
358

    
359
node cd_d__D_D2_IDL_handler_until (cd_d__restart_act: bool; idCD_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; R: bool; S: bool) returns (cd_d__restart_in: bool; cd_d__state_in: cd_d__type; c_out: int; dd_out: int; idCD_D_out: int; idD_D1_out: int; idD_D2_out: int);
360

    
361
function cd_d__D_D2_IDL_unless (cd_d__restart_in: bool) returns (cd_d__restart_act: bool; cd_d__state_act: cd_d__type);
362

    
363
function cd_d__D_D2__TO__D_D1_1_handler_until (cd_d__restart_act: bool; idCD_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (cd_d__restart_in: bool; cd_d__state_in: cd_d__type; c_out: int; dd_out: int; idCD_D_out: int; idD_D1_out: int; idD_D2_out: int);
364

    
365
function cd_d__D_D2__TO__D_D1_1_unless (cd_d__restart_in: bool) returns (cd_d__restart_act: bool; cd_d__state_act: cd_d__type);
366

    
367
function cd_d__POINTCD_D_handler_until (cd_d__restart_act: bool; idCD_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (cd_d__restart_in: bool; cd_d__state_in: cd_d__type; c_out: int; dd_out: int; idCD_D_out: int; idD_D1_out: int; idD_D2_out: int);
368

    
369
function cd_d__POINTCD_D_unless (cd_d__restart_in: bool; idCD_D_1: int; T: bool) returns (cd_d__restart_act: bool; cd_d__state_act: cd_d__type);
370

    
371
function cd_d__POINT__TO__D_D1_1_handler_until (cd_d__restart_act: bool; idCD_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (cd_d__restart_in: bool; cd_d__state_in: cd_d__type; c_out: int; dd_out: int; idCD_D_out: int; idD_D1_out: int; idD_D2_out: int);
372

    
373
function cd_d__POINT__TO__D_D1_1_unless (cd_d__restart_in: bool) returns (cd_d__restart_act: bool; cd_d__state_act: cd_d__type);
374

    
375
node A_A1_node (idA_A1_1: int; a_1: int; x: int; S: bool; R: bool) returns (idA_A1: int; a: int);
376

    
377
function A_A1_ex (idA_A1_1: int; idParallel3_A_1: int; isInner: bool) returns (idA_A1: int; idParallel3_A: int);
378

    
379
function A_A2_en (idA_A2_1: int; idParallel3_A_1: int; a_1: int; x: int; isInner: bool) returns (idA_A2: int; idParallel3_A: int; a: int);
380

    
381
node A_A2_node (idA_A2_1: int; a_1: int; x: int; S: bool; R: bool) returns (idA_A2: int; a: int);
382

    
383
function A_A1_en (idA_A1_1: int; idParallel3_A_1: int; a_1: int; x: int; isInner: bool) returns (idA_A1: int; idParallel3_A: int; a: int);
384

    
385
function A_A2_ex (idA_A2_1: int; idParallel3_A_1: int; isInner: bool) returns (idA_A2: int; idParallel3_A: int);
386

    
387
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);
388

    
389
function B_B1_ex (idB_B1_1: int; idParallel3_B_1: int; isInner: bool) returns (idB_B1: int; idParallel3_B: int);
390

    
391
function B_B2_en (idB_B2_1: int; idParallel3_B_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B2: int; idParallel3_B: int; a: int; b: int);
392

    
393
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);
394

    
395
function B_B1_en (idB_B1_1: int; idParallel3_B_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B1: int; idParallel3_B: int; a: int; b: int);
396

    
397
function B_B2_ex (idB_B2_1: int; idParallel3_B_1: int; isInner: bool) returns (idB_B2: int; idParallel3_B: int);
398

    
399
function CD_C_en (idCD_C_1: int; idParallel3_CD_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; isInner: bool) returns (idCD_C: int; idParallel3_CD: int; b: int; c: int; idC_C1: int; idC_C2: int);
400

    
401
function CD_D_en (idCD_D_1: int; idParallel3_CD_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; isInner: bool) returns (idCD_D: int; idParallel3_CD: int; c: int; dd: int; idD_D1: int; idD_D2: int);
402

    
403
node CD_C_node (idCD_C_1: int; b_1: int; c_1: int; idC_C1_1: int; T: bool; idC_C2_1: int; R: bool; S: bool) returns (idCD_C: int; b: int; c: int; idC_C1: int; idC_C2: int);
404

    
405
node CD_D_node (idCD_D_1: int; c_1: int; dd_1: int; idD_D1_1: int; T: bool; idD_D2_1: int; R: bool; S: bool) returns (idCD_D: int; c: int; dd: int; idD_D1: int; idD_D2: int);
406

    
407
node parallel3_a__A_A1_IDL_handler_until (parallel3_a__restart_act: bool; idParallel3_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R: bool; S: bool) returns (parallel3_a__restart_in: bool; parallel3_a__state_in: parallel3_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel3_A_out: int);
408

    
409
function parallel3_a__A_A1_IDL_unless (parallel3_a__restart_in: bool) returns (parallel3_a__restart_act: bool; parallel3_a__state_act: parallel3_a__type);
410

    
411
function parallel3_a__A_A1__TO__A_A2_1_handler_until (parallel3_a__restart_act: bool; idParallel3_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int) returns (parallel3_a__restart_in: bool; parallel3_a__state_in: parallel3_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel3_A_out: int);
412

    
413
function parallel3_a__A_A1__TO__A_A2_1_unless (parallel3_a__restart_in: bool) returns (parallel3_a__restart_act: bool; parallel3_a__state_act: parallel3_a__type);
414

    
415
node parallel3_a__A_A2_IDL_handler_until (parallel3_a__restart_act: bool; idParallel3_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R: bool; S: bool) returns (parallel3_a__restart_in: bool; parallel3_a__state_in: parallel3_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel3_A_out: int);
416

    
417
function parallel3_a__A_A2_IDL_unless (parallel3_a__restart_in: bool) returns (parallel3_a__restart_act: bool; parallel3_a__state_act: parallel3_a__type);
418

    
419
function parallel3_a__A_A2__TO__A_A1_1_handler_until (parallel3_a__restart_act: bool; idParallel3_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int) returns (parallel3_a__restart_in: bool; parallel3_a__state_in: parallel3_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel3_A_out: int);
420

    
421
function parallel3_a__A_A2__TO__A_A1_1_unless (parallel3_a__restart_in: bool) returns (parallel3_a__restart_act: bool; parallel3_a__state_act: parallel3_a__type);
422

    
423
function parallel3_a__POINTParallel3_A_handler_until (parallel3_a__restart_act: bool; idParallel3_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int) returns (parallel3_a__restart_in: bool; parallel3_a__state_in: parallel3_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel3_A_out: int);
424

    
425
function parallel3_a__POINTParallel3_A_unless (parallel3_a__restart_in: bool; idParallel3_A_1: int; T: bool) returns (parallel3_a__restart_act: bool; parallel3_a__state_act: parallel3_a__type);
426

    
427
function parallel3_a__POINT__TO__A_A1_1_handler_until (parallel3_a__restart_act: bool; idParallel3_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int) returns (parallel3_a__restart_in: bool; parallel3_a__state_in: parallel3_a__type; a_out: int; idA_A1_out: int; idA_A2_out: int; idParallel3_A_out: int);
428

    
429
function parallel3_a__POINT__TO__A_A1_1_unless (parallel3_a__restart_in: bool) returns (parallel3_a__restart_act: bool; parallel3_a__state_act: parallel3_a__type);
430

    
431
node parallel3_b__B_B1_IDL_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; R: bool; S: bool) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
432

    
433
function parallel3_b__B_B1_IDL_unless (parallel3_b__restart_in: bool) returns (parallel3_b__restart_act: bool; parallel3_b__state_act: parallel3_b__type);
434

    
435
function parallel3_b__B_B1__TO__B_B2_1_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
436

    
437
function parallel3_b__B_B1__TO__B_B2_1_unless (parallel3_b__restart_in: bool) returns (parallel3_b__restart_act: bool; parallel3_b__state_act: parallel3_b__type);
438

    
439
node parallel3_b__B_B2_IDL_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; R: bool; S: bool) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
440

    
441
function parallel3_b__B_B2_IDL_unless (parallel3_b__restart_in: bool) returns (parallel3_b__restart_act: bool; parallel3_b__state_act: parallel3_b__type);
442

    
443
function parallel3_b__B_B2__TO__B_B1_1_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
444

    
445
function parallel3_b__B_B2__TO__B_B1_1_unless (parallel3_b__restart_in: bool) returns (parallel3_b__restart_act: bool; parallel3_b__state_act: parallel3_b__type);
446

    
447
function parallel3_b__POINTParallel3_B_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
448

    
449
function parallel3_b__POINTParallel3_B_unless (parallel3_b__restart_in: bool; idParallel3_B_1: int; T: bool) returns (parallel3_b__restart_act: bool; parallel3_b__state_act: parallel3_b__type);
450

    
451
function parallel3_b__POINT__TO__B_B1_1_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
452

    
453
function parallel3_b__POINT__TO__B_B1_1_unless (parallel3_b__restart_in: bool) returns (parallel3_b__restart_act: bool; parallel3_b__state_act: parallel3_b__type);
454

    
455
function parallel3_cd__PARALLEL3_CD_PARALLEL_ENTRY_handler_until (parallel3_cd__restart_act: bool; idParallel3_CD_1: int; b_1: int; c_1: int; idCD_C_1: int; idC_C1_1: int; idC_C2_1: int; dd_1: int; idCD_D_1: int; idD_D1_1: int; idD_D2_1: int) returns (parallel3_cd__restart_in: bool; parallel3_cd__state_in: parallel3_cd__type; b_out: int; c_out: int; dd_out: int; idCD_C_out: int; idCD_D_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_CD_out: int);
456

    
457
function parallel3_cd__PARALLEL3_CD_PARALLEL_ENTRY_unless (parallel3_cd__restart_in: bool) returns (parallel3_cd__restart_act: bool; parallel3_cd__state_act: parallel3_cd__type);
458

    
459
node parallel3_cd__PARALLEL3_CD_PARALLEL_IDL_handler_until (parallel3_cd__restart_act: bool; idParallel3_CD_1: int; b_1: int; c_1: int; idCD_C_1: int; idC_C1_1: int; idC_C2_1: int; dd_1: int; idCD_D_1: int; idD_D1_1: int; idD_D2_1: int; R: bool; S: bool; T: bool) returns (parallel3_cd__restart_in: bool; parallel3_cd__state_in: parallel3_cd__type; b_out: int; c_out: int; dd_out: int; idCD_C_out: int; idCD_D_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_CD_out: int);
460

    
461
function parallel3_cd__PARALLEL3_CD_PARALLEL_IDL_unless (parallel3_cd__restart_in: bool) returns (parallel3_cd__restart_act: bool; parallel3_cd__state_act: parallel3_cd__type);
462

    
463
function parallel3_cd__POINTParallel3_CD_handler_until (parallel3_cd__restart_act: bool; idParallel3_CD_1: int; b_1: int; c_1: int; idCD_C_1: int; idC_C1_1: int; idC_C2_1: int; dd_1: int; idCD_D_1: int; idD_D1_1: int; idD_D2_1: int) returns (parallel3_cd__restart_in: bool; parallel3_cd__state_in: parallel3_cd__type; b_out: int; c_out: int; dd_out: int; idCD_C_out: int; idCD_D_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_CD_out: int);
464

    
465
function parallel3_cd__POINTParallel3_CD_unless (parallel3_cd__restart_in: bool; idParallel3_CD_1: int) returns (parallel3_cd__restart_act: bool; parallel3_cd__state_act: parallel3_cd__type);
466

    
467
function Parallel3_A_en (idParallel3_A_1: int; idParallel3_Parallel3_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; isInner: bool) returns (idParallel3_A: int; idParallel3_Parallel3: int; a: int; idA_A1: int; idA_A2: int);
468

    
469
function Parallel3_B_en (idParallel3_B_1: int; idParallel3_Parallel3_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; isInner: bool) returns (idParallel3_B: int; idParallel3_Parallel3: int; a: int; b: int; idB_B1: int; idB_B2: int);
470

    
471
function Parallel3_CD_en (idParallel3_CD_1: int; idParallel3_Parallel3_1: int; b_1: int; c_1: int; idCD_C_1: int; idC_C1_1: int; idC_C2_1: int; dd_1: int; idCD_D_1: int; idD_D1_1: int; idD_D2_1: int; isInner: bool) returns (idParallel3_CD: int; idParallel3_Parallel3: int; b: int; c: int; idCD_C: int; idC_C1: int; idC_C2: int; dd: int; idCD_D: int; idD_D1: int; idD_D2: int);
472

    
473
node Parallel3_A_node (idParallel3_A_1: int; a_1: int; idA_A1_1: int; x: int; T: bool; idA_A2_1: int; R: bool; S: bool) returns (idParallel3_A: int; a: int; idA_A1: int; idA_A2: int);
474

    
475
node Parallel3_B_node (idParallel3_B_1: int; a_1: int; b_1: int; idB_B1_1: int; T: bool; idB_B2_1: int; R: bool; S: bool) returns (idParallel3_B: int; a: int; b: int; idB_B1: int; idB_B2: int);
476

    
477
node Parallel3_CD_node (idParallel3_CD_1: int; b_1: int; c_1: int; idCD_C_1: int; idC_C1_1: int; idC_C2_1: int; dd_1: int; idCD_D_1: int; idD_D1_1: int; idD_D2_1: int; R: bool; S: bool; T: bool) returns (idParallel3_CD: int; b: int; c: int; idCD_C: int; idC_C1: int; idC_C2: int; dd: int; idCD_D: int; idD_D1: int; idD_D2: int);
478

    
479
function parallel3_parallel3__PARALLEL3_PARALLEL3_PARALLEL_ENTRY_handler_until (parallel3_parallel3__restart_act: bool; idParallel3_Parallel3_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel3_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel3_B_1: int; c_1: int; dd_1: int; idCD_C_1: int; idCD_D_1: int; idC_C1_1: int; idC_C2_1: int; idD_D1_1: int; idD_D2_1: int; idParallel3_CD_1: int) returns (parallel3_parallel3__restart_in: bool; parallel3_parallel3__state_in: parallel3_parallel3__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; idCD_C_out: int; idCD_D_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_A_out: int; idParallel3_B_out: int; idParallel3_CD_out: int; idParallel3_Parallel3_out: int);
480

    
481
function parallel3_parallel3__PARALLEL3_PARALLEL3_PARALLEL_ENTRY_unless (parallel3_parallel3__restart_in: bool) returns (parallel3_parallel3__restart_act: bool; parallel3_parallel3__state_act: parallel3_parallel3__type);
482

    
483
node parallel3_parallel3__PARALLEL3_PARALLEL3_PARALLEL_IDL_handler_until (parallel3_parallel3__restart_act: bool; idParallel3_Parallel3_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel3_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel3_B_1: int; c_1: int; dd_1: int; idCD_C_1: int; idCD_D_1: int; idC_C1_1: int; idC_C2_1: int; idD_D1_1: int; idD_D2_1: int; idParallel3_CD_1: int; R: bool; S: bool; T: bool) returns (parallel3_parallel3__restart_in: bool; parallel3_parallel3__state_in: parallel3_parallel3__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; idCD_C_out: int; idCD_D_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_A_out: int; idParallel3_B_out: int; idParallel3_CD_out: int; idParallel3_Parallel3_out: int);
484

    
485
function parallel3_parallel3__PARALLEL3_PARALLEL3_PARALLEL_IDL_unless (parallel3_parallel3__restart_in: bool) returns (parallel3_parallel3__restart_act: bool; parallel3_parallel3__state_act: parallel3_parallel3__type);
486

    
487
function parallel3_parallel3__POINTParallel3_Parallel3_handler_until (parallel3_parallel3__restart_act: bool; idParallel3_Parallel3_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel3_A_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel3_B_1: int; c_1: int; dd_1: int; idCD_C_1: int; idCD_D_1: int; idC_C1_1: int; idC_C2_1: int; idD_D1_1: int; idD_D2_1: int; idParallel3_CD_1: int) returns (parallel3_parallel3__restart_in: bool; parallel3_parallel3__state_in: parallel3_parallel3__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; idCD_C_out: int; idCD_D_out: int; idC_C1_out: int; idC_C2_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_A_out: int; idParallel3_B_out: int; idParallel3_CD_out: int; idParallel3_Parallel3_out: int);
488

    
489
function parallel3_parallel3__POINTParallel3_Parallel3_unless (parallel3_parallel3__restart_in: bool; idParallel3_Parallel3_1: int) returns (parallel3_parallel3__restart_act: bool; parallel3_parallel3__state_act: parallel3_parallel3__type);
490

    
491
node Parallel3_Parallel3_node (idParallel3_Parallel3_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel3_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel3_B_1: int; c_1: int; dd_1: int; idCD_C_1: int; idCD_D_1: int; idC_C1_1: int; idC_C2_1: int; idD_D1_1: int; idD_D2_1: int; idParallel3_CD_1: int; R: bool; S: bool; T: bool) returns (idParallel3_Parallel3: int; a: int; idA_A1: int; idA_A2: int; idParallel3_A: int; b: int; idB_B1: int; idB_B2: int; idParallel3_B: int; c: int; dd: int; idCD_C: int; idCD_D: int; idC_C1: int; idC_C2: int; idD_D1: int; idD_D2: int; idParallel3_CD: int);
492

    
493
function CD_C_ex (idC_C2_1: int; idCD_C_1: int; idC_C1_1: int; idParallel3_CD_1: int; isInner: bool) returns (idC_C2: int; idCD_C: int; idC_C1: int; idParallel3_CD: int);
494

    
495
function CD_D_ex (idD_D2_1: int; idCD_D_1: int; idD_D1_1: int; idParallel3_CD_1: int; isInner: bool) returns (idD_D2: int; idCD_D: int; idD_D1: int; idParallel3_CD: int);
496

    
497
node Parallel3V3_Parallel3 (x: int; R: bool; S: bool; T: bool) returns (a: int; b: int; dd: int; c: int);
498

    
499
function Parallel3_B_ex (idB_B2_1: int; idParallel3_B_1: int; idB_B1_1: int; idParallel3_Parallel3_1: int; isInner: bool) returns (idB_B2: int; idParallel3_B: int; idB_B1: int; idParallel3_Parallel3: int);
500

    
501
function Parallel3_CD_ex (idD_D2_1: int; idCD_D_1: int; idD_D1_1: int; idParallel3_CD_1: int; idCD_C_1: int; idC_C1_1: int; idC_C2_1: int; idParallel3_Parallel3_1: int; isInner: bool) returns (idD_D2: int; idCD_D: int; idD_D1: int; idParallel3_CD: int; idCD_C: int; idC_C1: int; idC_C2: int; idParallel3_Parallel3: int);
502

    
503
node Parallel3V3 (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);
504

    
505
function Parallel3_A_ex (idA_A2_1: int; idParallel3_A_1: int; idA_A1_1: int; idParallel3_Parallel3_1: int; isInner: bool) returns (idA_A2: int; idParallel3_A: int; idA_A1: int; idParallel3_Parallel3: int);
506