Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Parallel4 / Parallel4.lusi @ 79ef5fc5

History | View | Annotate | Download (51 KB)

1
(* Generated Lustre Interface file from Parallel4.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:23 *)
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 parallel4_b__type = enum {POINTParallel4_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 parallel4_cd__type = enum {POINTParallel4_CD, PARALLEL4_CD_PARALLEL_ENTRY, PARALLEL4_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__C2_C2A_1, A2_A2B__TO__A2_A2A_2, 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 parallel4_a__type = enum {POINTParallel4_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 parallel4_parallel4__type = enum {POINTParallel4_Parallel4, PARALLEL4_PARALLEL4_PARALLEL_ENTRY, PARALLEL4_PARALLEL4_PARALLEL_IDL };
45

    
46

    
47
function C1_C1a_en (idC_C1_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C1: int; b: int; c: 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 C2_C2a_en (idC_C2_1: int; b_1: int; c_1: int; isInner: bool) returns (idC_C2: int; b: int; c: int);
52

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

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

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

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

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

    
63
function C1_C1a_ex (idC_C1_1: int; isInner: bool) returns (idC_C1: int);
64

    
65
function C1_C1b_ex (idC_C1_1: int; isInner: bool) returns (idC_C1: int);
66

    
67
function C2_C2a_ex (idC_C2_1: int; isInner: bool) returns (idC_C2: int);
68

    
69
function C2_C2b_ex (idC_C2_1: int; isInner: bool) returns (idC_C2: int);
70

    
71
function D1_D1a_ex (idD_D1_1: int; isInner: bool) returns (idD_D1: int);
72

    
73
function D1_D1b_ex (idD_D1_1: int; isInner: bool) returns (idD_D1: int);
74

    
75
function D2_D2a_ex (idD_D2_1: int; isInner: bool) returns (idD_D2: int);
76

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

    
79
function A1_A1a_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
80

    
81
function A1_A1b_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
82

    
83
function A2_A2a_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
84

    
85
function A2_A2b_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
86

    
87
function A1_A1a_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
88

    
89
function A1_A1b_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
90

    
91
function A2_A2a_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
92

    
93
function A2_A2b_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
94

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

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

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

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

    
103
function B1_B1a_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
104

    
105
function B1_B1b_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
106

    
107
function B2_B2a_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
108

    
109
function B2_B2b_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
110

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

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

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

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

    
119
function C_C1_ex (idC_C1_1: int; idCD_C_1: int; isInner: bool) returns (idC_C1: int; idCD_C: int);
120

    
121
function C_C2_ex (idC_C2_1: int; idCD_C_1: int; isInner: bool) returns (idC_C2: int; idCD_C: int);
122

    
123
function D_D1_ex (idD_D1_1: int; idCD_D_1: int; isInner: bool) returns (idD_D1: int; idCD_D: int);
124

    
125
function D_D2_ex (idD_D2_1: int; idCD_D_1: int; isInner: bool) returns (idD_D2: int; idCD_D: int);
126

    
127
function A_A1_en (idA_A1_1: int; idParallel4_A_1: int; a_1: int; x: int; isInner: bool) returns (idA_A1: int; idParallel4_A: int; a: int);
128

    
129
function A_A2_en (idA_A2_1: int; idParallel4_A_1: int; a_1: int; x: int; isInner: bool) returns (idA_A2: int; idParallel4_A: int; a: int);
130

    
131
function A_A1_ex (idA_A1_1: int; idParallel4_A_1: int; isInner: bool) returns (idA_A1: int; idParallel4_A: int);
132

    
133
function A_A2_ex (idA_A2_1: int; idParallel4_A_1: int; isInner: bool) returns (idA_A2: int; idParallel4_A: int);
134

    
135
function B_B1_en (idB_B1_1: int; idParallel4_B_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B1: int; idParallel4_B: int; a: int; b: int);
136

    
137
function B_B2_en (idB_B2_1: int; idParallel4_B_1: int; a_1: int; b_1: int; isInner: bool) returns (idB_B2: int; idParallel4_B: int; a: int; b: int);
138

    
139
function B_B1_ex (idB_B1_1: int; idParallel4_B_1: int; isInner: bool) returns (idB_B1: int; idParallel4_B: int);
140

    
141
function B_B2_ex (idB_B2_1: int; idParallel4_B_1: int; isInner: bool) returns (idB_B2: int; idParallel4_B: int);
142

    
143
function CD_C_en (idCD_C_1: int; idParallel4_CD_1: int; b_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int; isInner: bool) returns (idCD_C: int; idParallel4_CD: int; b: int; c: int; idC_C1: int; idC_C2: int);
144

    
145
function CD_D_en (idCD_D_1: int; idParallel4_CD_1: int; c_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; isInner: bool) returns (idCD_D: int; idParallel4_CD: int; c: int; dd: int; idD_D1: int; idD_D2: int);
146

    
147
function CD_C_ex (idC_C2_1: int; idCD_C_1: int; idC_C1_1: int; idParallel4_CD_1: int; isInner: bool) returns (idC_C2: int; idCD_C: int; idC_C1: int; idParallel4_CD: int);
148

    
149
function CD_D_ex (idD_D2_1: int; idCD_D_1: int; idD_D1_1: int; idParallel4_CD_1: int; isInner: bool) returns (idD_D2: int; idCD_D: int; idD_D1: int; idParallel4_CD: int);
150

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

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

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

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

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

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

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

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

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

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

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

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

    
175
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);
176

    
177
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);
178

    
179
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);
180

    
181
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);
182

    
183
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);
184

    
185
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);
186

    
187
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);
188

    
189
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);
190

    
191
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);
192

    
193
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);
194

    
195
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);
196

    
197
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);
198

    
199
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);
200

    
201
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);
202

    
203
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);
204

    
205
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);
206

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

    
209
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);
210

    
211
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);
212

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

    
215
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);
216

    
217
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);
218

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

    
221
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);
222

    
223
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);
224

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

    
227
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);
228

    
229
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);
230

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

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

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

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

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

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

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

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

    
247
function Parallel4_A_en (idParallel4_A_1: int; idParallel4_Parallel4_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; isInner: bool) returns (idParallel4_A: int; idParallel4_Parallel4: int; a: int; idA_A1: int; idA_A2: int);
248

    
249
function Parallel4_A_ex (idA_A2_1: int; idParallel4_A_1: int; idA_A1_1: int; idParallel4_Parallel4_1: int; isInner: bool) returns (idA_A2: int; idParallel4_A: int; idA_A1: int; idParallel4_Parallel4: int);
250

    
251
function Parallel4_B_en (idParallel4_B_1: int; idParallel4_Parallel4_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; isInner: bool) returns (idParallel4_B: int; idParallel4_Parallel4: int; a: int; b: int; idB_B1: int; idB_B2: int);
252

    
253
function Parallel4_B_ex (idB_B2_1: int; idParallel4_B_1: int; idB_B1_1: int; idParallel4_Parallel4_1: int; isInner: bool) returns (idB_B2: int; idParallel4_B: int; idB_B1: int; idParallel4_Parallel4: int);
254

    
255
function Parallel4_CD_en (idParallel4_CD_1: int; idParallel4_Parallel4_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 (idParallel4_CD: int; idParallel4_Parallel4: 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);
256

    
257
function Parallel4_CD_ex (idD_D2_1: int; idCD_D_1: int; idD_D1_1: int; idParallel4_CD_1: int; idCD_C_1: int; idC_C1_1: int; idC_C2_1: int; idParallel4_Parallel4_1: int; isInner: bool) returns (idD_D2: int; idCD_D: int; idD_D1: int; idParallel4_CD: int; idCD_C: int; idC_C1: int; idC_C2: int; idParallel4_Parallel4: int);
258

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    
291
function a_a2__A2_A2A_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_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; idParallel4_CD_1: int; idParallel4_Parallel4_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_B_1: int; idA_A1_1: int; idParallel4_A_1: int; b_1: int; c_1: int; dd_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
292

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

    
295
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; idCD_C_1: int; idCD_D_1: int; idC_C1_1: int; idC_C2_1: int; idD_D1_1: int; idD_D2_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_B_1: int; idA_A1_1: int; idParallel4_A_1: int; b_1: int; c_1: int; dd_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
296

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

    
299
function a_a2__A2_A2B_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_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; idParallel4_CD_1: int; idParallel4_Parallel4_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_B_1: int; idA_A1_1: int; idParallel4_A_1: int; b_1: int; c_1: int; dd_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
300

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

    
303
function a_a2__A2_A2B__TO__A2_A2A_2_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: 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; idParallel4_CD_1: int; idParallel4_Parallel4_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_B_1: int; idA_A1_1: int; idParallel4_A_1: int; b_1: int; c_1: int; dd_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
304

    
305
function a_a2__A2_A2B__TO__A2_A2A_2_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
306

    
307
function a_a2__A2_A2B__TO__C2_C2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: 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; idParallel4_CD_1: int; idParallel4_Parallel4_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_B_1: int; idA_A1_1: int; idParallel4_A_1: int; b_1: int; c_1: int; dd_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
308

    
309
function a_a2__A2_A2B__TO__C2_C2A_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
310

    
311
function a_a2__POINTA_A2_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_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; idParallel4_CD_1: int; idParallel4_Parallel4_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_B_1: int; idA_A1_1: int; idParallel4_A_1: int; b_1: int; c_1: int; dd_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
312

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

    
315
function a_a2__POINT__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: 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; idParallel4_CD_1: int; idParallel4_Parallel4_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_B_1: int; idA_A1_1: int; idParallel4_A_1: int; b_1: int; c_1: int; dd_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
316

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

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

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

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

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

    
327
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);
328

    
329
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);
330

    
331
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);
332

    
333
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);
334

    
335
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);
336

    
337
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);
338

    
339
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);
340

    
341
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);
342

    
343
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);
344

    
345
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);
346

    
347
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);
348

    
349
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);
350

    
351
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);
352

    
353
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);
354

    
355
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);
356

    
357
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);
358

    
359
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);
360

    
361
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);
362

    
363
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);
364

    
365
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);
366

    
367
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);
368

    
369
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);
370

    
371
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);
372

    
373
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);
374

    
375
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);
376

    
377
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);
378

    
379
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);
380

    
381
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);
382

    
383
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);
384

    
385
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);
386

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

    
389
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);
390

    
391
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);
392

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

    
395
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);
396

    
397
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);
398

    
399
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);
400

    
401
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);
402

    
403
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);
404

    
405
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);
406

    
407
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);
408

    
409
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);
410

    
411
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);
412

    
413
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);
414

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

    
417
node A_A2_node (idA_A2_1: int; a_1: int; x: int; S: bool; idCD_C_1: int; idCD_D_1: int; idC_C1_1: int; idC_C2_1: int; idD_D1_1: int; idD_D2_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_B_1: int; idA_A1_1: int; idParallel4_A_1: int; b_1: int; c_1: int; dd_1: int; R: bool) returns (idA_A2: int; a: int; idCD_C: int; idCD_D: int; idC_C1: int; idC_C2: int; idD_D1: int; idD_D2: int; idParallel4_CD: int; idParallel4_Parallel4: int; idB_B1: int; idB_B2: int; idParallel4_B: int; idA_A1: int; idParallel4_A: int; b: int; c: int; dd: int);
418

    
419
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);
420

    
421
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);
422

    
423
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);
424

    
425
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);
426

    
427
node parallel4_a__A_A1_IDL_handler_until (parallel4_a__restart_act: bool; idParallel4_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R: bool; S: bool; b_1: int; c_1: int; dd_1: int; idB_B1_1: int; idB_B2_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; idParallel4_B_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int) returns (parallel4_a__restart_in: bool; parallel4_a__state_in: parallel4_a__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
428

    
429
function parallel4_a__A_A1_IDL_unless (parallel4_a__restart_in: bool) returns (parallel4_a__restart_act: bool; parallel4_a__state_act: parallel4_a__type);
430

    
431
function parallel4_a__A_A1__TO__A_A2_1_handler_until (parallel4_a__restart_act: bool; idParallel4_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; b_1: int; c_1: int; dd_1: int; idB_B1_1: int; idB_B2_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; idParallel4_B_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int) returns (parallel4_a__restart_in: bool; parallel4_a__state_in: parallel4_a__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
432

    
433
function parallel4_a__A_A1__TO__A_A2_1_unless (parallel4_a__restart_in: bool) returns (parallel4_a__restart_act: bool; parallel4_a__state_act: parallel4_a__type);
434

    
435
node parallel4_a__A_A2_IDL_handler_until (parallel4_a__restart_act: bool; idParallel4_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; R: bool; S: bool; b_1: int; c_1: int; dd_1: int; idB_B1_1: int; idB_B2_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; idParallel4_B_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int) returns (parallel4_a__restart_in: bool; parallel4_a__state_in: parallel4_a__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
436

    
437
function parallel4_a__A_A2_IDL_unless (parallel4_a__restart_in: bool) returns (parallel4_a__restart_act: bool; parallel4_a__state_act: parallel4_a__type);
438

    
439
function parallel4_a__A_A2__TO__A_A1_1_handler_until (parallel4_a__restart_act: bool; idParallel4_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; b_1: int; c_1: int; dd_1: int; idB_B1_1: int; idB_B2_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; idParallel4_B_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int) returns (parallel4_a__restart_in: bool; parallel4_a__state_in: parallel4_a__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
440

    
441
function parallel4_a__A_A2__TO__A_A1_1_unless (parallel4_a__restart_in: bool) returns (parallel4_a__restart_act: bool; parallel4_a__state_act: parallel4_a__type);
442

    
443
function parallel4_a__POINTParallel4_A_handler_until (parallel4_a__restart_act: bool; idParallel4_A_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; b_1: int; c_1: int; dd_1: int; idB_B1_1: int; idB_B2_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; idParallel4_B_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int) returns (parallel4_a__restart_in: bool; parallel4_a__state_in: parallel4_a__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
444

    
445
function parallel4_a__POINTParallel4_A_unless (parallel4_a__restart_in: bool; idParallel4_A_1: int; T: bool) returns (parallel4_a__restart_act: bool; parallel4_a__state_act: parallel4_a__type);
446

    
447
function parallel4_a__POINT__TO__A_A1_1_handler_until (parallel4_a__restart_act: bool; idParallel4_A_1: int; a_1: int; idA_A1_1: int; x: int; idA_A2_1: int; b_1: int; c_1: int; dd_1: int; idB_B1_1: int; idB_B2_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; idParallel4_B_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int) returns (parallel4_a__restart_in: bool; parallel4_a__state_in: parallel4_a__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
448

    
449
function parallel4_a__POINT__TO__A_A1_1_unless (parallel4_a__restart_in: bool) returns (parallel4_a__restart_act: bool; parallel4_a__state_act: parallel4_a__type);
450

    
451
node parallel4_b__B_B1_IDL_handler_until (parallel4_b__restart_act: bool; idParallel4_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; R: bool; S: bool) returns (parallel4_b__restart_in: bool; parallel4_b__state_in: parallel4_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel4_B_out: int);
452

    
453
function parallel4_b__B_B1_IDL_unless (parallel4_b__restart_in: bool) returns (parallel4_b__restart_act: bool; parallel4_b__state_act: parallel4_b__type);
454

    
455
function parallel4_b__B_B1__TO__B_B2_1_handler_until (parallel4_b__restart_act: bool; idParallel4_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel4_b__restart_in: bool; parallel4_b__state_in: parallel4_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel4_B_out: int);
456

    
457
function parallel4_b__B_B1__TO__B_B2_1_unless (parallel4_b__restart_in: bool) returns (parallel4_b__restart_act: bool; parallel4_b__state_act: parallel4_b__type);
458

    
459
node parallel4_b__B_B2_IDL_handler_until (parallel4_b__restart_act: bool; idParallel4_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; R: bool; S: bool) returns (parallel4_b__restart_in: bool; parallel4_b__state_in: parallel4_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel4_B_out: int);
460

    
461
function parallel4_b__B_B2_IDL_unless (parallel4_b__restart_in: bool) returns (parallel4_b__restart_act: bool; parallel4_b__state_act: parallel4_b__type);
462

    
463
function parallel4_b__B_B2__TO__B_B1_1_handler_until (parallel4_b__restart_act: bool; idParallel4_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel4_b__restart_in: bool; parallel4_b__state_in: parallel4_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel4_B_out: int);
464

    
465
function parallel4_b__B_B2__TO__B_B1_1_unless (parallel4_b__restart_in: bool) returns (parallel4_b__restart_act: bool; parallel4_b__state_act: parallel4_b__type);
466

    
467
function parallel4_b__POINTParallel4_B_handler_until (parallel4_b__restart_act: bool; idParallel4_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel4_b__restart_in: bool; parallel4_b__state_in: parallel4_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel4_B_out: int);
468

    
469
function parallel4_b__POINTParallel4_B_unless (parallel4_b__restart_in: bool; idParallel4_B_1: int; T: bool) returns (parallel4_b__restart_act: bool; parallel4_b__state_act: parallel4_b__type);
470

    
471
function parallel4_b__POINT__TO__B_B1_1_handler_until (parallel4_b__restart_act: bool; idParallel4_B_1: int; a_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int) returns (parallel4_b__restart_in: bool; parallel4_b__state_in: parallel4_b__type; a_out: int; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel4_B_out: int);
472

    
473
function parallel4_b__POINT__TO__B_B1_1_unless (parallel4_b__restart_in: bool) returns (parallel4_b__restart_act: bool; parallel4_b__state_act: parallel4_b__type);
474

    
475
function parallel4_cd__PARALLEL4_CD_PARALLEL_ENTRY_handler_until (parallel4_cd__restart_act: bool; idParallel4_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 (parallel4_cd__restart_in: bool; parallel4_cd__state_in: parallel4_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; idParallel4_CD_out: int);
476

    
477
function parallel4_cd__PARALLEL4_CD_PARALLEL_ENTRY_unless (parallel4_cd__restart_in: bool) returns (parallel4_cd__restart_act: bool; parallel4_cd__state_act: parallel4_cd__type);
478

    
479
node parallel4_cd__PARALLEL4_CD_PARALLEL_IDL_handler_until (parallel4_cd__restart_act: bool; idParallel4_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 (parallel4_cd__restart_in: bool; parallel4_cd__state_in: parallel4_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; idParallel4_CD_out: int);
480

    
481
function parallel4_cd__PARALLEL4_CD_PARALLEL_IDL_unless (parallel4_cd__restart_in: bool) returns (parallel4_cd__restart_act: bool; parallel4_cd__state_act: parallel4_cd__type);
482

    
483
function parallel4_cd__POINTParallel4_CD_handler_until (parallel4_cd__restart_act: bool; idParallel4_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 (parallel4_cd__restart_in: bool; parallel4_cd__state_in: parallel4_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; idParallel4_CD_out: int);
484

    
485
function parallel4_cd__POINTParallel4_CD_unless (parallel4_cd__restart_in: bool; idParallel4_CD_1: int) returns (parallel4_cd__restart_act: bool; parallel4_cd__state_act: parallel4_cd__type);
486

    
487
node Parallel4_A_node (idParallel4_A_1: int; a_1: int; idA_A1_1: int; x: int; T: bool; idA_A2_1: int; R: bool; S: bool; b_1: int; c_1: int; dd_1: int; idB_B1_1: int; idB_B2_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; idParallel4_B_1: int; idParallel4_CD_1: int; idParallel4_Parallel4_1: int) returns (idParallel4_A: int; a: int; idA_A1: int; idA_A2: int; b: int; c: int; dd: int; idB_B1: int; idB_B2: int; idCD_C: int; idCD_D: int; idC_C1: int; idC_C2: int; idD_D1: int; idD_D2: int; idParallel4_B: int; idParallel4_CD: int; idParallel4_Parallel4: int);
488

    
489
node Parallel4_B_node (idParallel4_B_1: int; a_1: int; b_1: int; idB_B1_1: int; T: bool; idB_B2_1: int; R: bool; S: bool) returns (idParallel4_B: int; a: int; b: int; idB_B1: int; idB_B2: int);
490

    
491
node Parallel4_CD_node (idParallel4_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 (idParallel4_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);
492

    
493
function parallel4_parallel4__PARALLEL4_PARALLEL4_PARALLEL_ENTRY_handler_until (parallel4_parallel4__restart_act: bool; idParallel4_Parallel4_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel4_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_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; idParallel4_CD_1: int) returns (parallel4_parallel4__restart_in: bool; parallel4_parallel4__state_in: parallel4_parallel4__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
494

    
495
function parallel4_parallel4__PARALLEL4_PARALLEL4_PARALLEL_ENTRY_unless (parallel4_parallel4__restart_in: bool) returns (parallel4_parallel4__restart_act: bool; parallel4_parallel4__state_act: parallel4_parallel4__type);
496

    
497
node parallel4_parallel4__PARALLEL4_PARALLEL4_PARALLEL_IDL_handler_until (parallel4_parallel4__restart_act: bool; idParallel4_Parallel4_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel4_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_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; idParallel4_CD_1: int; R: bool; S: bool; T: bool) returns (parallel4_parallel4__restart_in: bool; parallel4_parallel4__state_in: parallel4_parallel4__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
498

    
499
function parallel4_parallel4__PARALLEL4_PARALLEL4_PARALLEL_IDL_unless (parallel4_parallel4__restart_in: bool) returns (parallel4_parallel4__restart_act: bool; parallel4_parallel4__state_act: parallel4_parallel4__type);
500

    
501
function parallel4_parallel4__POINTParallel4_Parallel4_handler_until (parallel4_parallel4__restart_act: bool; idParallel4_Parallel4_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel4_A_1: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_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; idParallel4_CD_1: int) returns (parallel4_parallel4__restart_in: bool; parallel4_parallel4__state_in: parallel4_parallel4__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; idParallel4_A_out: int; idParallel4_B_out: int; idParallel4_CD_out: int; idParallel4_Parallel4_out: int);
502

    
503
function parallel4_parallel4__POINTParallel4_Parallel4_unless (parallel4_parallel4__restart_in: bool; idParallel4_Parallel4_1: int) returns (parallel4_parallel4__restart_act: bool; parallel4_parallel4__state_act: parallel4_parallel4__type);
504

    
505
node Parallel4_Parallel4_node (idParallel4_Parallel4_1: int; a_1: int; idA_A1_1: int; idA_A2_1: int; idParallel4_A_1: int; x: int; b_1: int; idB_B1_1: int; idB_B2_1: int; idParallel4_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; idParallel4_CD_1: int; R: bool; S: bool; T: bool) returns (idParallel4_Parallel4: int; a: int; idA_A1: int; idA_A2: int; idParallel4_A: int; b: int; idB_B1: int; idB_B2: int; idParallel4_B: int; c: int; dd: int; idCD_C: int; idCD_D: int; idC_C1: int; idC_C2: int; idD_D1: int; idD_D2: int; idParallel4_CD: int);
506

    
507
node Parallel4_Parallel4 (x: int; R: bool; S: bool; T: bool) returns (a: int; b: int; dd: int; c: int);
508

    
509
node Parallel4 (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);
510