Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super5 / Super5.lusi @ 79ef5fc5

History | View | Annotate | Download (23.3 KB)

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

    
5
type super5_b__type = enum {POINTSuper5_B, POINT__TO__B_B1_1, B_B1__TO__C_C1_1, B_B1__TO__A_A1_2, B_B1_IDL };
6

    
7

    
8
type super5_c__type = enum {POINTSuper5_C, POINT__TO__C_C1_1, C_C1__TO__B_B1_1, C_C1__TO__D_D1_2, C_C1_IDL };
9

    
10

    
11
type super5_a__type = enum {POINTSuper5_A, POINT__TO__A_A1_1, A_A1__TO__B_B1_1, A_A1__TO__D_D1_2, A_A1_IDL };
12

    
13

    
14
type super5_d__type = enum {POINTSuper5_D, POINT__TO__D_D1_1, D_D1__TO__A_A1_1, D_D1__TO__C_C1_2, D_D1_IDL };
15

    
16

    
17
type super5_super5__type = enum {POINTSuper5_Super5, POINT__TO__SUPER5_A_1, SUPER5_A__TO__SUPER5_B_1, SUPER5_A__TO__SUPER5_D_2, SUPER5_B__TO__SUPER5_C_1, SUPER5_B__TO__SUPER5_A_2, SUPER5_D__TO__SUPER5_A_1, SUPER5_D__TO__SUPER5_C_2, SUPER5_C__TO__SUPER5_B_1, SUPER5_C__TO__SUPER5_D_2, SUPER5_A_IDL, SUPER5_B_IDL, SUPER5_D_IDL, SUPER5_C_IDL };
18

    
19

    
20
function A_A1_ex (idSuper5_A_1: int; isInner: bool) returns (idSuper5_A: int);
21

    
22
function B_B1_en (idSuper5_B_1: int; s_1: real; isInner: bool) returns (idSuper5_B: int; s: real);
23

    
24
function D_D1_en (idSuper5_D_1: int; s_1: real; isInner: bool) returns (idSuper5_D: int; s: real);
25

    
26
function A_A1_en (idSuper5_A_1: int; s_1: real; isInner: bool) returns (idSuper5_A: int; s: real);
27

    
28
function B_B1_ex (idSuper5_B_1: int; isInner: bool) returns (idSuper5_B: int);
29

    
30
function C_C1_en (idSuper5_C_1: int; s_1: real; isInner: bool) returns (idSuper5_C: int; s: real);
31

    
32
function C_C1_ex (idSuper5_C_1: int; isInner: bool) returns (idSuper5_C: int);
33

    
34
function D_D1_ex (idSuper5_D_1: int; isInner: bool) returns (idSuper5_D: int);
35

    
36
function A_A1_du (d_1: real) returns (d: real);
37

    
38
function Super5_A_ex (idSuper5_A_1: int; idSuper5_Super5_1: int; isInner: bool) returns (idSuper5_A: int; idSuper5_Super5: int);
39

    
40
function Super5_B_en (idSuper5_B_1: int; idSuper5_Super5_1: int; s_1: real; isInner: bool) returns (idSuper5_B: int; idSuper5_Super5: int; s: real);
41

    
42
function Super5_D_en (idSuper5_D_1: int; idSuper5_Super5_1: int; s_1: real; isInner: bool) returns (idSuper5_D: int; idSuper5_Super5: int; s: real);
43

    
44
function B_B1_du (d_1: real) returns (d: real);
45

    
46
function Super5_A_en (idSuper5_A_1: int; idSuper5_Super5_1: int; s_1: real; isInner: bool) returns (idSuper5_A: int; idSuper5_Super5: int; s: real);
47

    
48
function Super5_B_ex (idSuper5_B_1: int; idSuper5_Super5_1: int; isInner: bool) returns (idSuper5_B: int; idSuper5_Super5: int);
49

    
50
function Super5_C_en (idSuper5_C_1: int; idSuper5_Super5_1: int; s_1: real; isInner: bool) returns (idSuper5_C: int; idSuper5_Super5: int; s: real);
51

    
52
function C_C1_du (d_1: real) returns (d: real);
53

    
54
function Super5_C_ex (idSuper5_C_1: int; idSuper5_Super5_1: int; isInner: bool) returns (idSuper5_C: int; idSuper5_Super5: int);
55

    
56
function D_D1_du (d_1: real) returns (d: real);
57

    
58
function Super5_D_ex (idSuper5_D_1: int; idSuper5_Super5_1: int; isInner: bool) returns (idSuper5_D: int; idSuper5_Super5: int);
59

    
60
function super5_a__A_A1_IDL_handler_until (super5_a__restart_act: bool; idSuper5_A_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_B_1: int; idSuper5_D_1: int; d_1: real) returns (super5_a__restart_in: bool; super5_a__state_in: super5_a__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
61

    
62
function super5_a__A_A1_IDL_unless (super5_a__restart_in: bool) returns (super5_a__restart_act: bool; super5_a__state_act: super5_a__type);
63

    
64
function super5_a__A_A1__TO__B_B1_1_handler_until (super5_a__restart_act: bool; idSuper5_A_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_D_1: int; d_1: real) returns (super5_a__restart_in: bool; super5_a__state_in: super5_a__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
65

    
66
function super5_a__A_A1__TO__B_B1_1_unless (super5_a__restart_in: bool) returns (super5_a__restart_act: bool; super5_a__state_act: super5_a__type);
67

    
68
function super5_a__A_A1__TO__D_D1_2_handler_until (super5_a__restart_act: bool; idSuper5_A_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_B_1: int; d_1: real) returns (super5_a__restart_in: bool; super5_a__state_in: super5_a__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
69

    
70
function super5_a__A_A1__TO__D_D1_2_unless (super5_a__restart_in: bool) returns (super5_a__restart_act: bool; super5_a__state_act: super5_a__type);
71

    
72
function super5_a__POINTSuper5_A_handler_until (super5_a__restart_act: bool; idSuper5_A_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_B_1: int; idSuper5_D_1: int; d_1: real) returns (super5_a__restart_in: bool; super5_a__state_in: super5_a__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
73

    
74
function super5_a__POINTSuper5_A_unless (super5_a__restart_in: bool; idSuper5_A_1: int; E: bool; F: bool) returns (super5_a__restart_act: bool; super5_a__state_act: super5_a__type);
75

    
76
function super5_a__POINT__TO__A_A1_1_handler_until (super5_a__restart_act: bool; idSuper5_A_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_B_1: int; idSuper5_D_1: int; d_1: real) returns (super5_a__restart_in: bool; super5_a__state_in: super5_a__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
77

    
78
function super5_a__POINT__TO__A_A1_1_unless (super5_a__restart_in: bool) returns (super5_a__restart_act: bool; super5_a__state_act: super5_a__type);
79

    
80
function super5_b__B_B1_IDL_handler_until (super5_b__restart_act: bool; idSuper5_B_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_C_1: int; idSuper5_A_1: int; d_1: real) returns (super5_b__restart_in: bool; super5_b__state_in: super5_b__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_Super5_out: int; s_out: real);
81

    
82
function super5_b__B_B1_IDL_unless (super5_b__restart_in: bool) returns (super5_b__restart_act: bool; super5_b__state_act: super5_b__type);
83

    
84
function super5_b__B_B1__TO__A_A1_2_handler_until (super5_b__restart_act: bool; idSuper5_B_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_C_1: int; d_1: real) returns (super5_b__restart_in: bool; super5_b__state_in: super5_b__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_Super5_out: int; s_out: real);
85

    
86
function super5_b__B_B1__TO__A_A1_2_unless (super5_b__restart_in: bool) returns (super5_b__restart_act: bool; super5_b__state_act: super5_b__type);
87

    
88
function super5_b__B_B1__TO__C_C1_1_handler_until (super5_b__restart_act: bool; idSuper5_B_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_A_1: int; d_1: real) returns (super5_b__restart_in: bool; super5_b__state_in: super5_b__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_Super5_out: int; s_out: real);
89

    
90
function super5_b__B_B1__TO__C_C1_1_unless (super5_b__restart_in: bool) returns (super5_b__restart_act: bool; super5_b__state_act: super5_b__type);
91

    
92
function super5_b__POINTSuper5_B_handler_until (super5_b__restart_act: bool; idSuper5_B_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_C_1: int; idSuper5_A_1: int; d_1: real) returns (super5_b__restart_in: bool; super5_b__state_in: super5_b__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_Super5_out: int; s_out: real);
93

    
94
function super5_b__POINTSuper5_B_unless (super5_b__restart_in: bool; idSuper5_B_1: int; E: bool; F: bool) returns (super5_b__restart_act: bool; super5_b__state_act: super5_b__type);
95

    
96
function super5_b__POINT__TO__B_B1_1_handler_until (super5_b__restart_act: bool; idSuper5_B_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_C_1: int; idSuper5_A_1: int; d_1: real) returns (super5_b__restart_in: bool; super5_b__state_in: super5_b__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_Super5_out: int; s_out: real);
97

    
98
function super5_b__POINT__TO__B_B1_1_unless (super5_b__restart_in: bool) returns (super5_b__restart_act: bool; super5_b__state_act: super5_b__type);
99

    
100
function super5_c__C_C1_IDL_handler_until (super5_c__restart_act: bool; idSuper5_C_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_B_1: int; idSuper5_D_1: int; d_1: real) returns (super5_c__restart_in: bool; super5_c__state_in: super5_c__type; d_out: real; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
101

    
102
function super5_c__C_C1_IDL_unless (super5_c__restart_in: bool) returns (super5_c__restart_act: bool; super5_c__state_act: super5_c__type);
103

    
104
function super5_c__C_C1__TO__B_B1_1_handler_until (super5_c__restart_act: bool; idSuper5_C_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_D_1: int; d_1: real) returns (super5_c__restart_in: bool; super5_c__state_in: super5_c__type; d_out: real; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
105

    
106
function super5_c__C_C1__TO__B_B1_1_unless (super5_c__restart_in: bool) returns (super5_c__restart_act: bool; super5_c__state_act: super5_c__type);
107

    
108
function super5_c__C_C1__TO__D_D1_2_handler_until (super5_c__restart_act: bool; idSuper5_C_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_B_1: int; d_1: real) returns (super5_c__restart_in: bool; super5_c__state_in: super5_c__type; d_out: real; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
109

    
110
function super5_c__C_C1__TO__D_D1_2_unless (super5_c__restart_in: bool) returns (super5_c__restart_act: bool; super5_c__state_act: super5_c__type);
111

    
112
function super5_c__POINTSuper5_C_handler_until (super5_c__restart_act: bool; idSuper5_C_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_B_1: int; idSuper5_D_1: int; d_1: real) returns (super5_c__restart_in: bool; super5_c__state_in: super5_c__type; d_out: real; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
113

    
114
function super5_c__POINTSuper5_C_unless (super5_c__restart_in: bool; idSuper5_C_1: int; F: bool; E: bool) returns (super5_c__restart_act: bool; super5_c__state_act: super5_c__type);
115

    
116
function super5_c__POINT__TO__C_C1_1_handler_until (super5_c__restart_act: bool; idSuper5_C_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_B_1: int; idSuper5_D_1: int; d_1: real) returns (super5_c__restart_in: bool; super5_c__state_in: super5_c__type; d_out: real; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
117

    
118
function super5_c__POINT__TO__C_C1_1_unless (super5_c__restart_in: bool) returns (super5_c__restart_act: bool; super5_c__state_act: super5_c__type);
119

    
120
function super5_d__D_D1_IDL_handler_until (super5_d__restart_act: bool; idSuper5_D_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_A_1: int; idSuper5_C_1: int; d_1: real) returns (super5_d__restart_in: bool; super5_d__state_in: super5_d__type; d_out: real; idSuper5_A_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
121

    
122
function super5_d__D_D1_IDL_unless (super5_d__restart_in: bool) returns (super5_d__restart_act: bool; super5_d__state_act: super5_d__type);
123

    
124
function super5_d__D_D1__TO__A_A1_1_handler_until (super5_d__restart_act: bool; idSuper5_D_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_C_1: int; d_1: real) returns (super5_d__restart_in: bool; super5_d__state_in: super5_d__type; d_out: real; idSuper5_A_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
125

    
126
function super5_d__D_D1__TO__A_A1_1_unless (super5_d__restart_in: bool) returns (super5_d__restart_act: bool; super5_d__state_act: super5_d__type);
127

    
128
function super5_d__D_D1__TO__C_C1_2_handler_until (super5_d__restart_act: bool; idSuper5_D_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_A_1: int; d_1: real) returns (super5_d__restart_in: bool; super5_d__state_in: super5_d__type; d_out: real; idSuper5_A_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
129

    
130
function super5_d__D_D1__TO__C_C1_2_unless (super5_d__restart_in: bool) returns (super5_d__restart_act: bool; super5_d__state_act: super5_d__type);
131

    
132
function super5_d__POINTSuper5_D_handler_until (super5_d__restart_act: bool; idSuper5_D_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_A_1: int; idSuper5_C_1: int; d_1: real) returns (super5_d__restart_in: bool; super5_d__state_in: super5_d__type; d_out: real; idSuper5_A_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
133

    
134
function super5_d__POINTSuper5_D_unless (super5_d__restart_in: bool; idSuper5_D_1: int; E: bool; F: bool) returns (super5_d__restart_act: bool; super5_d__state_act: super5_d__type);
135

    
136
function super5_d__POINT__TO__D_D1_1_handler_until (super5_d__restart_act: bool; idSuper5_D_1: int; s_1: real; idSuper5_Super5_1: int; idSuper5_A_1: int; idSuper5_C_1: int; d_1: real) returns (super5_d__restart_in: bool; super5_d__state_in: super5_d__type; d_out: real; idSuper5_A_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
137

    
138
function super5_d__POINT__TO__D_D1_1_unless (super5_d__restart_in: bool) returns (super5_d__restart_act: bool; super5_d__state_act: super5_d__type);
139

    
140
function Super5_A_du (d_1: real) returns (d: real);
141

    
142
node Super5_A_node (idSuper5_A_1: int; s_1: real; E: bool; idSuper5_Super5_1: int; idSuper5_B_1: int; F: bool; idSuper5_D_1: int; d_1: real) returns (idSuper5_A: int; s: real; idSuper5_Super5: int; idSuper5_B: int; idSuper5_D: int; d: real);
143

    
144
function Super5_B_du (d_1: real) returns (d: real);
145

    
146
node Super5_B_node (idSuper5_B_1: int; s_1: real; E: bool; idSuper5_Super5_1: int; idSuper5_C_1: int; F: bool; idSuper5_A_1: int; d_1: real) returns (idSuper5_B: int; s: real; idSuper5_Super5: int; idSuper5_C: int; idSuper5_A: int; d: real);
147

    
148
function Super5_C_du (d_1: real) returns (d: real);
149

    
150
node Super5_C_node (idSuper5_C_1: int; s_1: real; F: bool; idSuper5_Super5_1: int; idSuper5_B_1: int; E: bool; idSuper5_D_1: int; d_1: real) returns (idSuper5_C: int; s: real; idSuper5_Super5: int; idSuper5_B: int; idSuper5_D: int; d: real);
151

    
152
function Super5_D_du (d_1: real) returns (d: real);
153

    
154
node Super5_D_node (idSuper5_D_1: int; s_1: real; E: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; F: bool; idSuper5_C_1: int; d_1: real) returns (idSuper5_D: int; s: real; idSuper5_Super5: int; idSuper5_A: int; idSuper5_C: int; d: real);
155

    
156
function super5_super5__POINTSuper5_Super5_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
157

    
158
function super5_super5__POINTSuper5_Super5_unless (super5_super5__restart_in: bool; idSuper5_Super5_1: int; G: bool; H: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
159

    
160
function super5_super5__POINT__TO__SUPER5_A_1_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
161

    
162
function super5_super5__POINT__TO__SUPER5_A_1_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
163

    
164
node super5_super5__SUPER5_A_IDL_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real; E: bool; F: bool) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
165

    
166
function super5_super5__SUPER5_A_IDL_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
167

    
168
function super5_super5__SUPER5_A__TO__SUPER5_B_1_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
169

    
170
function super5_super5__SUPER5_A__TO__SUPER5_B_1_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
171

    
172
function super5_super5__SUPER5_A__TO__SUPER5_D_2_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
173

    
174
function super5_super5__SUPER5_A__TO__SUPER5_D_2_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
175

    
176
node super5_super5__SUPER5_B_IDL_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real; E: bool; F: bool) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
177

    
178
function super5_super5__SUPER5_B_IDL_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
179

    
180
function super5_super5__SUPER5_B__TO__SUPER5_A_2_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
181

    
182
function super5_super5__SUPER5_B__TO__SUPER5_A_2_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
183

    
184
function super5_super5__SUPER5_B__TO__SUPER5_C_1_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
185

    
186
function super5_super5__SUPER5_B__TO__SUPER5_C_1_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
187

    
188
node super5_super5__SUPER5_C_IDL_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real; E: bool; F: bool) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
189

    
190
function super5_super5__SUPER5_C_IDL_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
191

    
192
function super5_super5__SUPER5_C__TO__SUPER5_B_1_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
193

    
194
function super5_super5__SUPER5_C__TO__SUPER5_B_1_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
195

    
196
function super5_super5__SUPER5_C__TO__SUPER5_D_2_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
197

    
198
function super5_super5__SUPER5_C__TO__SUPER5_D_2_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
199

    
200
node super5_super5__SUPER5_D_IDL_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real; E: bool; F: bool) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
201

    
202
function super5_super5__SUPER5_D_IDL_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
203

    
204
function super5_super5__SUPER5_D__TO__SUPER5_A_1_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
205

    
206
function super5_super5__SUPER5_D__TO__SUPER5_A_1_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
207

    
208
function super5_super5__SUPER5_D__TO__SUPER5_C_2_handler_until (super5_super5__restart_act: bool; idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; idSuper5_B_1: int; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real) returns (super5_super5__restart_in: bool; super5_super5__state_in: super5_super5__type; d_out: real; idSuper5_A_out: int; idSuper5_B_out: int; idSuper5_C_out: int; idSuper5_D_out: int; idSuper5_Super5_out: int; s_out: real);
209

    
210
function super5_super5__SUPER5_D__TO__SUPER5_C_2_unless (super5_super5__restart_in: bool) returns (super5_super5__restart_act: bool; super5_super5__state_act: super5_super5__type);
211

    
212
node Super5_Super5_node (idSuper5_Super5_1: int; idSuper5_A_1: int; s_1: real; G: bool; idSuper5_B_1: int; H: bool; idSuper5_D_1: int; idSuper5_C_1: int; d_1: real; E: bool; F: bool) returns (idSuper5_Super5: int; idSuper5_A: int; s: real; idSuper5_B: int; idSuper5_D: int; idSuper5_C: int; d: real);
213

    
214
node Super5_Super5 (E: bool; G: bool; F: bool; H: bool) returns (s: real; d: real);
215

    
216
node Super5 (E_1_1: real; G_1_1: real; F_1_1: real; H_1_1: real) returns (s_1_1: real; d_2_1: real);
217