Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Parallel3 / Parallel3.lusi @ 79ef5fc5

History | View | Annotate | Download (40.2 KB)

1
(* Generated Lustre Interface file from Parallel3.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:37 *)
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 parallel3_d__type = enum {POINTParallel3_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 parallel3_c__type = enum {POINTParallel3_C, POINT__TO__C_C1_1, C_C2__TO__C_C1_1, C_C1__TO__C_C2_1, C_C2_IDL, C_C1_IDL };
30

    
31

    
32
type a_a2__type = enum {POINTA_A2, POINT__TO__A2_A2A_1, A2_A2A__TO__A2_A2B_1, A2_A2B__TO__A2_A2A_1, A2_A2A_IDL, A2_A2B_IDL };
33

    
34

    
35
type a_a1__type = enum {POINTA_A1, POINT__TO__A1_A1A_1, A1_A1A__TO__A1_A1B_1, A1_A1B__TO__A1_A1A_1, A1_A1A_IDL, A1_A1B_IDL };
36

    
37

    
38
type parallel3_a__type = enum {POINTParallel3_A, POINT__TO__A_A1_1, A_A1__TO__A_A2_1, A_A2__TO__A_A1_1, A_A1_IDL, A_A2_IDL };
39

    
40

    
41
type parallel3_parallel3__type = enum {POINTParallel3_Parallel3, PARALLEL3_PARALLEL3_PARALLEL_ENTRY, PARALLEL3_PARALLEL3_PARALLEL_IDL };
42

    
43

    
44
function A1_A1a_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
45

    
46
function A1_A1b_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
47

    
48
function A1_A1a_en (idA_A1_1: int; x: int; a_1: int; isInner: bool) returns (idA_A1: int; a: int);
49

    
50
function A1_A1b_ex (idA_A1_1: int; isInner: bool) returns (idA_A1: int);
51

    
52
function A2_A2a_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
53

    
54
function A2_A2b_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
55

    
56
function A2_A2a_en (idA_A2_1: int; x: int; a_1: int; isInner: bool) returns (idA_A2: int; a: int);
57

    
58
function A2_A2b_ex (idA_A2_1: int; isInner: bool) returns (idA_A2: int);
59

    
60
function B1_B1a_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
61

    
62
function B1_B1b_en (idB_B1_1: int; x: int; b_1: int; isInner: bool) returns (idB_B1: int; b: int);
63

    
64
function B1_B1a_en (idB_B1_1: int; x: int; b_1: int; isInner: bool) returns (idB_B1: int; b: int);
65

    
66
function B1_B1b_ex (idB_B1_1: int; isInner: bool) returns (idB_B1: int);
67

    
68
function B2_B2a_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
69

    
70
function B2_B2b_en (idB_B2_1: int; x: int; b_1: int; isInner: bool) returns (idB_B2: int; b: int);
71

    
72
function B2_B2a_en (idB_B2_1: int; x: int; b_1: int; isInner: bool) returns (idB_B2: int; b: int);
73

    
74
function B2_B2b_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
75

    
76
function C1_C1a_ex (idC_C1_1: int; isInner: bool) returns (idC_C1: int);
77

    
78
function C1_C1b_en (idC_C1_1: int; y: int; c_1: int; isInner: bool) returns (idC_C1: int; c: int);
79

    
80
function C1_C1a_en (idC_C1_1: int; y: int; c_1: int; isInner: bool) returns (idC_C1: int; c: int);
81

    
82
function C1_C1b_ex (idC_C1_1: int; isInner: bool) returns (idC_C1: int);
83

    
84
function C2_C2a_ex (idC_C2_1: int; isInner: bool) returns (idC_C2: int);
85

    
86
function C2_C2b_en (idC_C2_1: int; y: int; c_1: int; isInner: bool) returns (idC_C2: int; c: int);
87

    
88
function C2_C2a_en (idC_C2_1: int; y: int; c_1: int; isInner: bool) returns (idC_C2: int; c: int);
89

    
90
function C2_C2b_ex (idC_C2_1: int; isInner: bool) returns (idC_C2: int);
91

    
92
function D1_D1a_ex (idD_D1_1: int; isInner: bool) returns (idD_D1: int);
93

    
94
function D1_D1b_en (idD_D1_1: int; y: int; dd_1: int; isInner: bool) returns (idD_D1: int; dd: int);
95

    
96
function D1_D1a_en (idD_D1_1: int; y: int; dd_1: int; isInner: bool) returns (idD_D1: int; dd: int);
97

    
98
function D1_D1b_ex (idD_D1_1: int; isInner: bool) returns (idD_D1: int);
99

    
100
function D2_D2a_ex (idD_D2_1: int; isInner: bool) returns (idD_D2: int);
101

    
102
function D2_D2b_en (idD_D2_1: int; y: int; dd_1: int; isInner: bool) returns (idD_D2: int; dd: int);
103

    
104
function D2_D2a_en (idD_D2_1: int; y: int; dd_1: int; isInner: bool) returns (idD_D2: int; dd: int);
105

    
106
function D2_D2b_ex (idD_D2_1: int; isInner: bool) returns (idD_D2: int);
107

    
108
function a_a1__A1_A1A_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
109

    
110
function a_a1__A1_A1A_IDL_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
111

    
112
function a_a1__A1_A1A__TO__A1_A1B_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
113

    
114
function a_a1__A1_A1A__TO__A1_A1B_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
115

    
116
function a_a1__A1_A1B_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
117

    
118
function a_a1__A1_A1B_IDL_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
119

    
120
function a_a1__A1_A1B__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
121

    
122
function a_a1__A1_A1B__TO__A1_A1A_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
123

    
124
function a_a1__POINTA_A1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
125

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

    
128
function a_a1__POINT__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; a_1: int; x: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; a_out: int; idA_A1_out: int);
129

    
130
function a_a1__POINT__TO__A1_A1A_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
131

    
132
function a_a2__A2_A2A_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
133

    
134
function a_a2__A2_A2A_IDL_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
135

    
136
function a_a2__A2_A2A__TO__A2_A2B_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
137

    
138
function a_a2__A2_A2A__TO__A2_A2B_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
139

    
140
function a_a2__A2_A2B_IDL_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
141

    
142
function a_a2__A2_A2B_IDL_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
143

    
144
function a_a2__A2_A2B__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
145

    
146
function a_a2__A2_A2B__TO__A2_A2A_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
147

    
148
function a_a2__POINTA_A2_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
149

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

    
152
function a_a2__POINT__TO__A2_A2A_1_handler_until (a_a2__restart_act: bool; idA_A2_1: int; a_1: int; x: int) returns (a_a2__restart_in: bool; a_a2__state_in: a_a2__type; a_out: int; idA_A2_out: int);
153

    
154
function a_a2__POINT__TO__A2_A2A_1_unless (a_a2__restart_in: bool) returns (a_a2__restart_act: bool; a_a2__state_act: a_a2__type);
155

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

    
158
function b_b1__B1_B1A_IDL_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
159

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

    
162
function b_b1__B1_B1A__TO__B1_B1B_1_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
163

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

    
166
function b_b1__B1_B1B_IDL_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
167

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

    
170
function b_b1__B1_B1B__TO__B1_B1A_1_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
171

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

    
174
function b_b1__POINTB_B1_unless (b_b1__restart_in: bool; idB_B1_1: int; S: bool; R: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
175

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

    
178
function b_b1__POINT__TO__B1_B1A_1_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
179

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

    
182
function b_b2__B2_B2A_IDL_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
183

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

    
186
function b_b2__B2_B2A__TO__B2_B2B_1_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
187

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

    
190
function b_b2__B2_B2B_IDL_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
191

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

    
194
function b_b2__B2_B2B__TO__B2_B2A_1_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
195

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

    
198
function b_b2__POINTB_B2_unless (b_b2__restart_in: bool; idB_B2_1: int; S: bool; R: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
199

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

    
202
function b_b2__POINT__TO__B2_B2A_1_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
203

    
204
function c_c1__C1_C1A_IDL_handler_until (c_c1__restart_act: bool; idC_C1_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; c_out: int; idC_C1_out: int);
205

    
206
function c_c1__C1_C1A_IDL_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
207

    
208
function c_c1__C1_C1A__TO__C1_C1B_1_handler_until (c_c1__restart_act: bool; idC_C1_1: int; c_1: int; y: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; c_out: int; idC_C1_out: int);
209

    
210
function c_c1__C1_C1A__TO__C1_C1B_1_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
211

    
212
function c_c1__C1_C1B_IDL_handler_until (c_c1__restart_act: bool; idC_C1_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; c_out: int; idC_C1_out: int);
213

    
214
function c_c1__C1_C1B_IDL_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
215

    
216
function c_c1__C1_C1B__TO__C1_C1A_1_handler_until (c_c1__restart_act: bool; idC_C1_1: int; c_1: int; y: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; c_out: int; idC_C1_out: int);
217

    
218
function c_c1__C1_C1B__TO__C1_C1A_1_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
219

    
220
function c_c1__POINTC_C1_handler_until (c_c1__restart_act: bool; idC_C1_1: int; c_1: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; c_out: int; idC_C1_out: int);
221

    
222
function c_c1__POINTC_C1_unless (c_c1__restart_in: bool; idC_C1_1: int; S: bool; R: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
223

    
224
function c_c1__POINT__TO__C1_C1A_1_handler_until (c_c1__restart_act: bool; idC_C1_1: int; c_1: int; y: int) returns (c_c1__restart_in: bool; c_c1__state_in: c_c1__type; c_out: int; idC_C1_out: int);
225

    
226
function c_c1__POINT__TO__C1_C1A_1_unless (c_c1__restart_in: bool) returns (c_c1__restart_act: bool; c_c1__state_act: c_c1__type);
227

    
228
function c_c2__C2_C2A_IDL_handler_until (c_c2__restart_act: bool; idC_C2_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; c_out: int; idC_C2_out: int);
229

    
230
function c_c2__C2_C2A_IDL_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
231

    
232
function c_c2__C2_C2A__TO__C2_C2B_1_handler_until (c_c2__restart_act: bool; idC_C2_1: int; c_1: int; y: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; c_out: int; idC_C2_out: int);
233

    
234
function c_c2__C2_C2A__TO__C2_C2B_1_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
235

    
236
function c_c2__C2_C2B_IDL_handler_until (c_c2__restart_act: bool; idC_C2_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; c_out: int; idC_C2_out: int);
237

    
238
function c_c2__C2_C2B_IDL_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
239

    
240
function c_c2__C2_C2B__TO__C2_C2A_1_handler_until (c_c2__restart_act: bool; idC_C2_1: int; c_1: int; y: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; c_out: int; idC_C2_out: int);
241

    
242
function c_c2__C2_C2B__TO__C2_C2A_1_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
243

    
244
function c_c2__POINTC_C2_handler_until (c_c2__restart_act: bool; idC_C2_1: int; c_1: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; c_out: int; idC_C2_out: int);
245

    
246
function c_c2__POINTC_C2_unless (c_c2__restart_in: bool; idC_C2_1: int; S: bool; R: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
247

    
248
function c_c2__POINT__TO__C2_C2A_1_handler_until (c_c2__restart_act: bool; idC_C2_1: int; c_1: int; y: int) returns (c_c2__restart_in: bool; c_c2__state_in: c_c2__type; c_out: int; idC_C2_out: int);
249

    
250
function c_c2__POINT__TO__C2_C2A_1_unless (c_c2__restart_in: bool) returns (c_c2__restart_act: bool; c_c2__state_act: c_c2__type);
251

    
252
function d_d1__D1_D1A_IDL_handler_until (d_d1__restart_act: bool; idD_D1_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; dd_out: int; idD_D1_out: int);
253

    
254
function d_d1__D1_D1A_IDL_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
255

    
256
function d_d1__D1_D1A__TO__D1_D1B_1_handler_until (d_d1__restart_act: bool; idD_D1_1: int; dd_1: int; y: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; dd_out: int; idD_D1_out: int);
257

    
258
function d_d1__D1_D1A__TO__D1_D1B_1_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
259

    
260
function d_d1__D1_D1B_IDL_handler_until (d_d1__restart_act: bool; idD_D1_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; dd_out: int; idD_D1_out: int);
261

    
262
function d_d1__D1_D1B_IDL_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
263

    
264
function d_d1__D1_D1B__TO__D1_D1A_1_handler_until (d_d1__restart_act: bool; idD_D1_1: int; dd_1: int; y: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; dd_out: int; idD_D1_out: int);
265

    
266
function d_d1__D1_D1B__TO__D1_D1A_1_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
267

    
268
function d_d1__POINTD_D1_handler_until (d_d1__restart_act: bool; idD_D1_1: int; dd_1: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; dd_out: int; idD_D1_out: int);
269

    
270
function d_d1__POINTD_D1_unless (d_d1__restart_in: bool; idD_D1_1: int; S: bool; R: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
271

    
272
function d_d1__POINT__TO__D1_D1A_1_handler_until (d_d1__restart_act: bool; idD_D1_1: int; dd_1: int; y: int) returns (d_d1__restart_in: bool; d_d1__state_in: d_d1__type; dd_out: int; idD_D1_out: int);
273

    
274
function d_d1__POINT__TO__D1_D1A_1_unless (d_d1__restart_in: bool) returns (d_d1__restart_act: bool; d_d1__state_act: d_d1__type);
275

    
276
function d_d2__D2_D2A_IDL_handler_until (d_d2__restart_act: bool; idD_D2_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; dd_out: int; idD_D2_out: int);
277

    
278
function d_d2__D2_D2A_IDL_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
279

    
280
function d_d2__D2_D2A__TO__D2_D2B_1_handler_until (d_d2__restart_act: bool; idD_D2_1: int; dd_1: int; y: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; dd_out: int; idD_D2_out: int);
281

    
282
function d_d2__D2_D2A__TO__D2_D2B_1_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
283

    
284
function d_d2__D2_D2B_IDL_handler_until (d_d2__restart_act: bool; idD_D2_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; dd_out: int; idD_D2_out: int);
285

    
286
function d_d2__D2_D2B_IDL_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
287

    
288
function d_d2__D2_D2B__TO__D2_D2A_1_handler_until (d_d2__restart_act: bool; idD_D2_1: int; dd_1: int; y: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; dd_out: int; idD_D2_out: int);
289

    
290
function d_d2__D2_D2B__TO__D2_D2A_1_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
291

    
292
function d_d2__POINTD_D2_handler_until (d_d2__restart_act: bool; idD_D2_1: int; dd_1: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; dd_out: int; idD_D2_out: int);
293

    
294
function d_d2__POINTD_D2_unless (d_d2__restart_in: bool; idD_D2_1: int; S: bool; R: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
295

    
296
function d_d2__POINT__TO__D2_D2A_1_handler_until (d_d2__restart_act: bool; idD_D2_1: int; dd_1: int; y: int) returns (d_d2__restart_in: bool; d_d2__state_in: d_d2__type; dd_out: int; idD_D2_out: int);
297

    
298
function d_d2__POINT__TO__D2_D2A_1_unless (d_d2__restart_in: bool) returns (d_d2__restart_act: bool; d_d2__state_act: d_d2__type);
299

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

    
302
function A_A1_ex (idA_A1_1: int; idParallel3_A_1: int; isInner: bool) returns (idA_A1: int; idParallel3_A: int);
303

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

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

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

    
310
function A_A2_ex (idA_A2_1: int; idParallel3_A_1: int; isInner: bool) returns (idA_A2: int; idParallel3_A: int);
311

    
312
node B_B1_node (idB_B1_1: int; b_1: int; x: int; S: bool; R: bool) returns (idB_B1: int; b: int);
313

    
314
function B_B1_ex (idB_B1_1: int; idParallel3_B_1: int; isInner: bool) returns (idB_B1: int; idParallel3_B: int);
315

    
316
function B_B2_en (idB_B2_1: int; idParallel3_B_1: int; b_1: int; x: int; isInner: bool) returns (idB_B2: int; idParallel3_B: int; b: int);
317

    
318
node B_B2_node (idB_B2_1: int; b_1: int; x: int; S: bool; R: bool) returns (idB_B2: int; b: int);
319

    
320
function B_B1_en (idB_B1_1: int; idParallel3_B_1: int; b_1: int; x: int; isInner: bool) returns (idB_B1: int; idParallel3_B: int; b: int);
321

    
322
function B_B2_ex (idB_B2_1: int; idParallel3_B_1: int; isInner: bool) returns (idB_B2: int; idParallel3_B: int);
323

    
324
node C_C1_node (idC_C1_1: int; c_1: int; y: int; S: bool; R: bool) returns (idC_C1: int; c: int);
325

    
326
function C_C1_ex (idC_C1_1: int; idParallel3_C_1: int; isInner: bool) returns (idC_C1: int; idParallel3_C: int);
327

    
328
function C_C2_en (idC_C2_1: int; idParallel3_C_1: int; c_1: int; y: int; isInner: bool) returns (idC_C2: int; idParallel3_C: int; c: int);
329

    
330
node C_C2_node (idC_C2_1: int; c_1: int; y: int; S: bool; R: bool) returns (idC_C2: int; c: int);
331

    
332
function C_C1_en (idC_C1_1: int; idParallel3_C_1: int; c_1: int; y: int; isInner: bool) returns (idC_C1: int; idParallel3_C: int; c: int);
333

    
334
function C_C2_ex (idC_C2_1: int; idParallel3_C_1: int; isInner: bool) returns (idC_C2: int; idParallel3_C: int);
335

    
336
node D_D1_node (idD_D1_1: int; dd_1: int; y: int; S: bool; R: bool) returns (idD_D1: int; dd: int);
337

    
338
function D_D1_ex (idD_D1_1: int; idParallel3_D_1: int; isInner: bool) returns (idD_D1: int; idParallel3_D: int);
339

    
340
function D_D2_en (idD_D2_1: int; idParallel3_D_1: int; dd_1: int; y: int; isInner: bool) returns (idD_D2: int; idParallel3_D: int; dd: int);
341

    
342
node D_D2_node (idD_D2_1: int; dd_1: int; y: int; S: bool; R: bool) returns (idD_D2: int; dd: int);
343

    
344
function D_D1_en (idD_D1_1: int; idParallel3_D_1: int; dd_1: int; y: int; isInner: bool) returns (idD_D1: int; idParallel3_D: int; dd: int);
345

    
346
function D_D2_ex (idD_D2_1: int; idParallel3_D_1: int; isInner: bool) returns (idD_D2: int; idParallel3_D: int);
347

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

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

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

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

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

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

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

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

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

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

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

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

    
372
node parallel3_b__B_B1_IDL_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; R: bool; S: bool) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
373

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

    
376
function parallel3_b__B_B1__TO__B_B2_1_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
377

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

    
380
node parallel3_b__B_B2_IDL_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; R: bool; S: bool) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
381

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

    
384
function parallel3_b__B_B2__TO__B_B1_1_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
385

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

    
388
function parallel3_b__POINTParallel3_B_handler_until (parallel3_b__restart_act: bool; idParallel3_B_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; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
389

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

    
392
function parallel3_b__POINT__TO__B_B1_1_handler_until (parallel3_b__restart_act: bool; idParallel3_B_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int) returns (parallel3_b__restart_in: bool; parallel3_b__state_in: parallel3_b__type; b_out: int; idB_B1_out: int; idB_B2_out: int; idParallel3_B_out: int);
393

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

    
396
node parallel3_c__C_C1_IDL_handler_until (parallel3_c__restart_act: bool; idParallel3_C_1: int; c_1: int; idC_C1_1: int; y: int; idC_C2_1: int; R: bool; S: bool) returns (parallel3_c__restart_in: bool; parallel3_c__state_in: parallel3_c__type; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel3_C_out: int);
397

    
398
function parallel3_c__C_C1_IDL_unless (parallel3_c__restart_in: bool) returns (parallel3_c__restart_act: bool; parallel3_c__state_act: parallel3_c__type);
399

    
400
function parallel3_c__C_C1__TO__C_C2_1_handler_until (parallel3_c__restart_act: bool; idParallel3_C_1: int; c_1: int; idC_C1_1: int; y: int; idC_C2_1: int) returns (parallel3_c__restart_in: bool; parallel3_c__state_in: parallel3_c__type; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel3_C_out: int);
401

    
402
function parallel3_c__C_C1__TO__C_C2_1_unless (parallel3_c__restart_in: bool) returns (parallel3_c__restart_act: bool; parallel3_c__state_act: parallel3_c__type);
403

    
404
node parallel3_c__C_C2_IDL_handler_until (parallel3_c__restart_act: bool; idParallel3_C_1: int; c_1: int; idC_C1_1: int; y: int; idC_C2_1: int; R: bool; S: bool) returns (parallel3_c__restart_in: bool; parallel3_c__state_in: parallel3_c__type; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel3_C_out: int);
405

    
406
function parallel3_c__C_C2_IDL_unless (parallel3_c__restart_in: bool) returns (parallel3_c__restart_act: bool; parallel3_c__state_act: parallel3_c__type);
407

    
408
function parallel3_c__C_C2__TO__C_C1_1_handler_until (parallel3_c__restart_act: bool; idParallel3_C_1: int; c_1: int; idC_C1_1: int; y: int; idC_C2_1: int) returns (parallel3_c__restart_in: bool; parallel3_c__state_in: parallel3_c__type; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel3_C_out: int);
409

    
410
function parallel3_c__C_C2__TO__C_C1_1_unless (parallel3_c__restart_in: bool) returns (parallel3_c__restart_act: bool; parallel3_c__state_act: parallel3_c__type);
411

    
412
function parallel3_c__POINTParallel3_C_handler_until (parallel3_c__restart_act: bool; idParallel3_C_1: int; c_1: int; idC_C1_1: int; idC_C2_1: int) returns (parallel3_c__restart_in: bool; parallel3_c__state_in: parallel3_c__type; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel3_C_out: int);
413

    
414
function parallel3_c__POINTParallel3_C_unless (parallel3_c__restart_in: bool; idParallel3_C_1: int; T: bool) returns (parallel3_c__restart_act: bool; parallel3_c__state_act: parallel3_c__type);
415

    
416
function parallel3_c__POINT__TO__C_C1_1_handler_until (parallel3_c__restart_act: bool; idParallel3_C_1: int; c_1: int; idC_C1_1: int; y: int; idC_C2_1: int) returns (parallel3_c__restart_in: bool; parallel3_c__state_in: parallel3_c__type; c_out: int; idC_C1_out: int; idC_C2_out: int; idParallel3_C_out: int);
417

    
418
function parallel3_c__POINT__TO__C_C1_1_unless (parallel3_c__restart_in: bool) returns (parallel3_c__restart_act: bool; parallel3_c__state_act: parallel3_c__type);
419

    
420
node parallel3_d__D_D1_IDL_handler_until (parallel3_d__restart_act: bool; idParallel3_D_1: int; dd_1: int; idD_D1_1: int; y: int; idD_D2_1: int; R: bool; S: bool) returns (parallel3_d__restart_in: bool; parallel3_d__state_in: parallel3_d__type; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_D_out: int);
421

    
422
function parallel3_d__D_D1_IDL_unless (parallel3_d__restart_in: bool) returns (parallel3_d__restart_act: bool; parallel3_d__state_act: parallel3_d__type);
423

    
424
function parallel3_d__D_D1__TO__D_D2_1_handler_until (parallel3_d__restart_act: bool; idParallel3_D_1: int; dd_1: int; idD_D1_1: int; y: int; idD_D2_1: int) returns (parallel3_d__restart_in: bool; parallel3_d__state_in: parallel3_d__type; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_D_out: int);
425

    
426
function parallel3_d__D_D1__TO__D_D2_1_unless (parallel3_d__restart_in: bool) returns (parallel3_d__restart_act: bool; parallel3_d__state_act: parallel3_d__type);
427

    
428
node parallel3_d__D_D2_IDL_handler_until (parallel3_d__restart_act: bool; idParallel3_D_1: int; dd_1: int; idD_D1_1: int; y: int; idD_D2_1: int; R: bool; S: bool) returns (parallel3_d__restart_in: bool; parallel3_d__state_in: parallel3_d__type; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_D_out: int);
429

    
430
function parallel3_d__D_D2_IDL_unless (parallel3_d__restart_in: bool) returns (parallel3_d__restart_act: bool; parallel3_d__state_act: parallel3_d__type);
431

    
432
function parallel3_d__D_D2__TO__D_D1_1_handler_until (parallel3_d__restart_act: bool; idParallel3_D_1: int; dd_1: int; idD_D1_1: int; y: int; idD_D2_1: int) returns (parallel3_d__restart_in: bool; parallel3_d__state_in: parallel3_d__type; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_D_out: int);
433

    
434
function parallel3_d__D_D2__TO__D_D1_1_unless (parallel3_d__restart_in: bool) returns (parallel3_d__restart_act: bool; parallel3_d__state_act: parallel3_d__type);
435

    
436
function parallel3_d__POINTParallel3_D_handler_until (parallel3_d__restart_act: bool; idParallel3_D_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int) returns (parallel3_d__restart_in: bool; parallel3_d__state_in: parallel3_d__type; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_D_out: int);
437

    
438
function parallel3_d__POINTParallel3_D_unless (parallel3_d__restart_in: bool; idParallel3_D_1: int; T: bool) returns (parallel3_d__restart_act: bool; parallel3_d__state_act: parallel3_d__type);
439

    
440
function parallel3_d__POINT__TO__D_D1_1_handler_until (parallel3_d__restart_act: bool; idParallel3_D_1: int; dd_1: int; idD_D1_1: int; y: int; idD_D2_1: int) returns (parallel3_d__restart_in: bool; parallel3_d__state_in: parallel3_d__type; dd_out: int; idD_D1_out: int; idD_D2_out: int; idParallel3_D_out: int);
441

    
442
function parallel3_d__POINT__TO__D_D1_1_unless (parallel3_d__restart_in: bool) returns (parallel3_d__restart_act: bool; parallel3_d__state_act: parallel3_d__type);
443

    
444
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);
445

    
446
function Parallel3_B_en (idParallel3_B_1: int; idParallel3_Parallel3_1: int; b_1: int; idB_B1_1: int; x: int; idB_B2_1: int; isInner: bool) returns (idParallel3_B: int; idParallel3_Parallel3: int; b: int; idB_B1: int; idB_B2: int);
447

    
448
function Parallel3_C_en (idParallel3_C_1: int; idParallel3_Parallel3_1: int; c_1: int; idC_C1_1: int; y: int; idC_C2_1: int; isInner: bool) returns (idParallel3_C: int; idParallel3_Parallel3: int; c: int; idC_C1: int; idC_C2: int);
449

    
450
function Parallel3_D_en (idParallel3_D_1: int; idParallel3_Parallel3_1: int; dd_1: int; idD_D1_1: int; y: int; idD_D2_1: int; isInner: bool) returns (idParallel3_D: int; idParallel3_Parallel3: int; dd: int; idD_D1: int; idD_D2: int);
451

    
452
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);
453

    
454
node Parallel3_B_node (idParallel3_B_1: int; b_1: int; idB_B1_1: int; x: int; T: bool; idB_B2_1: int; R: bool; S: bool) returns (idParallel3_B: int; b: int; idB_B1: int; idB_B2: int);
455

    
456
node Parallel3_C_node (idParallel3_C_1: int; c_1: int; idC_C1_1: int; y: int; T: bool; idC_C2_1: int; R: bool; S: bool) returns (idParallel3_C: int; c: int; idC_C1: int; idC_C2: int);
457

    
458
node Parallel3_D_node (idParallel3_D_1: int; dd_1: int; idD_D1_1: int; y: int; T: bool; idD_D2_1: int; R: bool; S: bool) returns (idParallel3_D: int; dd: int; idD_D1: int; idD_D2: int);
459

    
460
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; idC_C1_1: int; idC_C2_1: int; idParallel3_C_1: int; y: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; idParallel3_D_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; 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_C_out: int; idParallel3_D_out: int; idParallel3_Parallel3_out: int);
461

    
462
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);
463

    
464
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; idC_C1_1: int; idC_C2_1: int; idParallel3_C_1: int; y: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; idParallel3_D_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; 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_C_out: int; idParallel3_D_out: int; idParallel3_Parallel3_out: int);
465

    
466
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);
467

    
468
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; idC_C1_1: int; idC_C2_1: int; idParallel3_C_1: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; idParallel3_D_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; 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_C_out: int; idParallel3_D_out: int; idParallel3_Parallel3_out: int);
469

    
470
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);
471

    
472
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; idC_C1_1: int; idC_C2_1: int; idParallel3_C_1: int; y: int; dd_1: int; idD_D1_1: int; idD_D2_1: int; idParallel3_D_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; idC_C1: int; idC_C2: int; idParallel3_C: int; dd: int; idD_D1: int; idD_D2: int; idParallel3_D: int);
473

    
474
node Parallel3_Parallel3 (x: int; y: int; R: bool; S: bool; T: bool) returns (a: int; b: int; dd: int; c: int);
475

    
476
node Parallel3 (x_1_1: int; R_1_1: real; y_1_1: int; 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);
477

    
478
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);
479

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

    
482
function Parallel3_C_ex (idC_C2_1: int; idParallel3_C_1: int; idC_C1_1: int; idParallel3_Parallel3_1: int; isInner: bool) returns (idC_C2: int; idParallel3_C: int; idC_C1: int; idParallel3_Parallel3: int);
483

    
484
function Parallel3_D_ex (idD_D2_1: int; idParallel3_D_1: int; idD_D1_1: int; idParallel3_Parallel3_1: int; isInner: bool) returns (idD_D2: int; idParallel3_D: int; idD_D1: int; idParallel3_Parallel3: int);
485