Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super6 / Super6.lusi @ 79ef5fc5

History | View | Annotate | Download (22.8 KB)

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

    
5
type b1_b1a__type = enum {POINTB1_B1a, POINT__TO__B1A_B1AI_1, B1A_B1AI__TO__A1A_A1AI_1, B1A_B1AI_IDL };
6

    
7

    
8
type b_b1__type = enum {POINTB_B1, POINT__TO__B1_B1A_1, B1_B1A__TO__A1_A1A_1, B1_B1A_IDL };
9

    
10

    
11
type super6_b__type = enum {POINTSuper6_B, POINT__TO__B_B1_1, B_B1__TO__A_A1_1, B_B1_IDL };
12

    
13

    
14
type a1_a1a__type = enum {POINTA1_A1a, POINT__TO__A1A_A1AI_1, A1A_A1AI__TO__B1A_B1AI_1, A1A_A1AI_IDL };
15

    
16

    
17
type a_a1__type = enum {POINTA_A1, POINT__TO__A1_A1A_1, A1_A1A__TO__B1_B1A_1, A1_A1A_IDL };
18

    
19

    
20
type super6_a__type = enum {POINTSuper6_A, POINT__TO__A_A1_1, A_A1__TO__B_B1_1, A_A1_IDL };
21

    
22

    
23
type super6_super6__type = enum {POINTSuper6_Super6, POINT__TO__SUPER6_A_1, SUPER6_A__TO__SUPER6_B_1, SUPER6_B__TO__SUPER6_A_1, SUPER6_A_IDL, SUPER6_B_IDL };
24

    
25

    
26
function A1a_A1ai_ex (idA1_A1a_1: int; isInner: bool) returns (idA1_A1a: int);
27

    
28
function B1a_B1ai_en (idB1_B1a_1: int; isInner: bool) returns (idB1_B1a: int);
29

    
30
function A1a_A1ai_en (idA1_A1a_1: int; isInner: bool) returns (idA1_A1a: int);
31

    
32
function B1a_B1ai_ex (idB1_B1a_1: int; isInner: bool) returns (idB1_B1a: int);
33

    
34
function A1_A1a_ex (idA1_A1a_1: int; idA_A1_1: int; isInner: bool) returns (idA1_A1a: int; idA_A1: int);
35

    
36
function B1_B1a_en (idB1_B1a_1: int; idB_B1_1: int; isInner: bool) returns (idB1_B1a: int; idB_B1: int);
37

    
38
function A1_A1a_en (idA1_A1a_1: int; idA_A1_1: int; isInner: bool) returns (idA1_A1a: int; idA_A1: int);
39

    
40
function B1_B1a_ex (idB1_B1a_1: int; idB_B1_1: int; isInner: bool) returns (idB1_B1a: int; idB_B1: int);
41

    
42
function A_A1_ex (idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; isInner: bool) returns (idA1_A1a: int; idA_A1: int; idSuper6_A: int);
43

    
44
function B_B1_en (idB_B1_1: int; idSuper6_B_1: int; idB1_B1a_1: int; isInner: bool) returns (idB_B1: int; idSuper6_B: int; idB1_B1a: int);
45

    
46
function A_A1_en (idA_A1_1: int; idSuper6_A_1: int; idA1_A1a_1: int; isInner: bool) returns (idA_A1: int; idSuper6_A: int; idA1_A1a: int);
47

    
48
function B_B1_ex (idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; isInner: bool) returns (idB1_B1a: int; idB_B1: int; idSuper6_B: int);
49

    
50
function A1a_A1ai_du (y_1: int) returns (y: int);
51

    
52
function Super6_A_ex (idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; isInner: bool) returns (idA1_A1a: int; idA_A1: int; idSuper6_A: int; idSuper6_Super6: int);
53

    
54
function Super6_B_en (idSuper6_B_1: int; idSuper6_Super6_1: int; idB1_B1a_1: int; idB_B1_1: int; isInner: bool) returns (idSuper6_B: int; idSuper6_Super6: int; idB1_B1a: int; idB_B1: int);
55

    
56
function B1a_B1ai_du (y_1: int) returns (y: int);
57

    
58
function Super6_A_en (idSuper6_A_1: int; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; isInner: bool) returns (idSuper6_A: int; idSuper6_Super6: int; idA1_A1a: int; idA_A1: int);
59

    
60
function Super6_B_ex (idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; isInner: bool) returns (idB1_B1a: int; idB_B1: int; idSuper6_B: int; idSuper6_Super6: int);
61

    
62
function a1_a1a__A1A_A1AI_IDL_handler_until (a1_a1a__restart_act: bool; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int) returns (a1_a1a__restart_in: bool; a1_a1a__state_in: a1_a1a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
63

    
64
function a1_a1a__A1A_A1AI_IDL_unless (a1_a1a__restart_in: bool) returns (a1_a1a__restart_act: bool; a1_a1a__state_act: a1_a1a__type);
65

    
66
function a1_a1a__A1A_A1AI__TO__B1A_B1AI_1_handler_until (a1_a1a__restart_act: bool; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; y_1: int) returns (a1_a1a__restart_in: bool; a1_a1a__state_in: a1_a1a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
67

    
68
function a1_a1a__A1A_A1AI__TO__B1A_B1AI_1_unless (a1_a1a__restart_in: bool) returns (a1_a1a__restart_act: bool; a1_a1a__state_act: a1_a1a__type);
69

    
70
function a1_a1a__POINTA1_A1a_handler_until (a1_a1a__restart_act: bool; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int) returns (a1_a1a__restart_in: bool; a1_a1a__state_in: a1_a1a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
71

    
72
function a1_a1a__POINTA1_A1a_unless (a1_a1a__restart_in: bool; idA1_A1a_1: int; H: bool) returns (a1_a1a__restart_act: bool; a1_a1a__state_act: a1_a1a__type);
73

    
74
function a1_a1a__POINT__TO__A1A_A1AI_1_handler_until (a1_a1a__restart_act: bool; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int) returns (a1_a1a__restart_in: bool; a1_a1a__state_in: a1_a1a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
75

    
76
function a1_a1a__POINT__TO__A1A_A1AI_1_unless (a1_a1a__restart_in: bool) returns (a1_a1a__restart_act: bool; a1_a1a__state_act: a1_a1a__type);
77

    
78
function b1_b1a__B1A_B1AI_IDL_handler_until (b1_b1a__restart_act: bool; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; y_1: int) returns (b1_b1a__restart_in: bool; b1_b1a__state_in: b1_b1a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
79

    
80
function b1_b1a__B1A_B1AI_IDL_unless (b1_b1a__restart_in: bool) returns (b1_b1a__restart_act: bool; b1_b1a__state_act: b1_b1a__type);
81

    
82
function b1_b1a__B1A_B1AI__TO__A1A_A1AI_1_handler_until (b1_b1a__restart_act: bool; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; y_1: int) returns (b1_b1a__restart_in: bool; b1_b1a__state_in: b1_b1a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
83

    
84
function b1_b1a__B1A_B1AI__TO__A1A_A1AI_1_unless (b1_b1a__restart_in: bool) returns (b1_b1a__restart_act: bool; b1_b1a__state_act: b1_b1a__type);
85

    
86
function b1_b1a__POINTB1_B1a_handler_until (b1_b1a__restart_act: bool; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; y_1: int) returns (b1_b1a__restart_in: bool; b1_b1a__state_in: b1_b1a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
87

    
88
function b1_b1a__POINTB1_B1a_unless (b1_b1a__restart_in: bool; idB1_B1a_1: int; H: bool) returns (b1_b1a__restart_act: bool; b1_b1a__state_act: b1_b1a__type);
89

    
90
function b1_b1a__POINT__TO__B1A_B1AI_1_handler_until (b1_b1a__restart_act: bool; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; y_1: int) returns (b1_b1a__restart_in: bool; b1_b1a__state_in: b1_b1a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
91

    
92
function b1_b1a__POINT__TO__B1A_B1AI_1_unless (b1_b1a__restart_in: bool) returns (b1_b1a__restart_act: bool; b1_b1a__state_act: b1_b1a__type);
93

    
94
function A1_A1a_du (y_1: int) returns (y: int);
95

    
96
node A1_A1a_node (idA1_A1a_1: int; H: bool; idA_A1_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int) returns (idA1_A1a: int; idA_A1: int; idSuper6_A: int; idSuper6_Super6: int; idB1_B1a: int; idB_B1: int; idSuper6_B: int; y: int);
97

    
98
function B1_B1a_du (y_1: int) returns (y: int);
99

    
100
node B1_B1a_node (idB1_B1a_1: int; H: bool; idB_B1_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; y_1: int) returns (idB1_B1a: int; idB_B1: int; idSuper6_B: int; idSuper6_Super6: int; idA1_A1a: int; idA_A1: int; idSuper6_A: int; y: int);
101

    
102
node a_a1__A1_A1A_IDL_handler_until (a_a1__restart_act: bool; idA_A1_1: int; idA1_A1a_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; idB_B1_1: int; idSuper6_B_1: int; idB1_B1a_1: int; y_1: int; H: bool) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
103

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

    
106
function a_a1__A1_A1A__TO__B1_B1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; idA1_A1a_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; idB1_B1a_1: int; y_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
107

    
108
function a_a1__A1_A1A__TO__B1_B1A_1_unless (a_a1__restart_in: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
109

    
110
function a_a1__POINTA_A1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; idA1_A1a_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; idB_B1_1: int; idSuper6_B_1: int; idB1_B1a_1: int; y_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
111

    
112
function a_a1__POINTA_A1_unless (a_a1__restart_in: bool; idA_A1_1: int; G: bool) returns (a_a1__restart_act: bool; a_a1__state_act: a_a1__type);
113

    
114
function a_a1__POINT__TO__A1_A1A_1_handler_until (a_a1__restart_act: bool; idA_A1_1: int; idA1_A1a_1: int; idSuper6_A_1: int; idSuper6_Super6_1: int; idB_B1_1: int; idSuper6_B_1: int; idB1_B1a_1: int; y_1: int) returns (a_a1__restart_in: bool; a_a1__state_in: a_a1__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
115

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

    
118
node b_b1__B1_B1A_IDL_handler_until (b_b1__restart_act: bool; idB_B1_1: int; idB1_B1a_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; idA_A1_1: int; idSuper6_A_1: int; idA1_A1a_1: int; y_1: int; H: bool) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
119

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

    
122
function b_b1__B1_B1A__TO__A1_A1A_1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; idB1_B1a_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; idA1_A1a_1: int; y_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
123

    
124
function b_b1__B1_B1A__TO__A1_A1A_1_unless (b_b1__restart_in: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
125

    
126
function b_b1__POINTB_B1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; idB1_B1a_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; idA_A1_1: int; idSuper6_A_1: int; idA1_A1a_1: int; y_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
127

    
128
function b_b1__POINTB_B1_unless (b_b1__restart_in: bool; idB_B1_1: int; G: bool) returns (b_b1__restart_act: bool; b_b1__state_act: b_b1__type);
129

    
130
function b_b1__POINT__TO__B1_B1A_1_handler_until (b_b1__restart_act: bool; idB_B1_1: int; idB1_B1a_1: int; idSuper6_B_1: int; idSuper6_Super6_1: int; idA_A1_1: int; idSuper6_A_1: int; idA1_A1a_1: int; y_1: int) returns (b_b1__restart_in: bool; b_b1__state_in: b_b1__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
131

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

    
134
function A_A1_du (y_1: int) returns (y: int);
135

    
136
node A_A1_node (idA_A1_1: int; idA1_A1a_1: int; G: bool; idSuper6_A_1: int; idSuper6_Super6_1: int; idB_B1_1: int; idSuper6_B_1: int; idB1_B1a_1: int; y_1: int; H: bool) returns (idA_A1: int; idA1_A1a: int; idSuper6_A: int; idSuper6_Super6: int; idB_B1: int; idSuper6_B: int; idB1_B1a: int; y: int);
137

    
138
function B_B1_du (y_1: int) returns (y: int);
139

    
140
node B_B1_node (idB_B1_1: int; idB1_B1a_1: int; G: bool; idSuper6_B_1: int; idSuper6_Super6_1: int; idA_A1_1: int; idSuper6_A_1: int; idA1_A1a_1: int; y_1: int; H: bool) returns (idB_B1: int; idB1_B1a: int; idSuper6_B: int; idSuper6_Super6: int; idA_A1: int; idSuper6_A: int; idA1_A1a: int; y: int);
141

    
142
node super6_a__A_A1_IDL_handler_until (super6_a__restart_act: bool; idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_Super6_1: int; idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; y_1: int; G: bool; H: bool) returns (super6_a__restart_in: bool; super6_a__state_in: super6_a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
143

    
144
function super6_a__A_A1_IDL_unless (super6_a__restart_in: bool) returns (super6_a__restart_act: bool; super6_a__state_act: super6_a__type);
145

    
146
function super6_a__A_A1__TO__B_B1_1_handler_until (super6_a__restart_act: bool; idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_Super6_1: int; idB1_B1a_1: int; idB_B1_1: int; y_1: int) returns (super6_a__restart_in: bool; super6_a__state_in: super6_a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
147

    
148
function super6_a__A_A1__TO__B_B1_1_unless (super6_a__restart_in: bool) returns (super6_a__restart_act: bool; super6_a__state_act: super6_a__type);
149

    
150
function super6_a__POINTSuper6_A_handler_until (super6_a__restart_act: bool; idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_Super6_1: int; idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; y_1: int) returns (super6_a__restart_in: bool; super6_a__state_in: super6_a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
151

    
152
function super6_a__POINTSuper6_A_unless (super6_a__restart_in: bool; idSuper6_A_1: int; F: bool) returns (super6_a__restart_act: bool; super6_a__state_act: super6_a__type);
153

    
154
function super6_a__POINT__TO__A_A1_1_handler_until (super6_a__restart_act: bool; idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_Super6_1: int; idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; y_1: int) returns (super6_a__restart_in: bool; super6_a__state_in: super6_a__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
155

    
156
function super6_a__POINT__TO__A_A1_1_unless (super6_a__restart_in: bool) returns (super6_a__restart_act: bool; super6_a__state_act: super6_a__type);
157

    
158
node super6_b__B_B1_IDL_handler_until (super6_b__restart_act: bool; idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_Super6_1: int; idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; y_1: int; G: bool; H: bool) returns (super6_b__restart_in: bool; super6_b__state_in: super6_b__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
159

    
160
function super6_b__B_B1_IDL_unless (super6_b__restart_in: bool) returns (super6_b__restart_act: bool; super6_b__state_act: super6_b__type);
161

    
162
function super6_b__B_B1__TO__A_A1_1_handler_until (super6_b__restart_act: bool; idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; y_1: int) returns (super6_b__restart_in: bool; super6_b__state_in: super6_b__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
163

    
164
function super6_b__B_B1__TO__A_A1_1_unless (super6_b__restart_in: bool) returns (super6_b__restart_act: bool; super6_b__state_act: super6_b__type);
165

    
166
function super6_b__POINTSuper6_B_handler_until (super6_b__restart_act: bool; idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_Super6_1: int; idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; y_1: int) returns (super6_b__restart_in: bool; super6_b__state_in: super6_b__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
167

    
168
function super6_b__POINTSuper6_B_unless (super6_b__restart_in: bool; idSuper6_B_1: int; F: bool) returns (super6_b__restart_act: bool; super6_b__state_act: super6_b__type);
169

    
170
function super6_b__POINT__TO__B_B1_1_handler_until (super6_b__restart_act: bool; idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_Super6_1: int; idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; y_1: int) returns (super6_b__restart_in: bool; super6_b__state_in: super6_b__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
171

    
172
function super6_b__POINT__TO__B_B1_1_unless (super6_b__restart_in: bool) returns (super6_b__restart_act: bool; super6_b__state_act: super6_b__type);
173

    
174
function Super6_A_du (y_1: int) returns (y: int);
175

    
176
node Super6_A_node (idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; F: bool; idSuper6_Super6_1: int; idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; y_1: int; G: bool; H: bool) returns (idSuper6_A: int; idA1_A1a: int; idA_A1: int; idSuper6_Super6: int; idSuper6_B: int; idB1_B1a: int; idB_B1: int; y: int);
177

    
178
function Super6_B_du (y_1: int) returns (y: int);
179

    
180
node Super6_B_node (idSuper6_B_1: int; idB1_B1a_1: int; idB_B1_1: int; F: bool; idSuper6_Super6_1: int; idSuper6_A_1: int; idA1_A1a_1: int; idA_A1_1: int; y_1: int; G: bool; H: bool) returns (idSuper6_B: int; idB1_B1a: int; idB_B1: int; idSuper6_Super6: int; idSuper6_A: int; idA1_A1a: int; idA_A1: int; y: int);
181

    
182
function super6_super6__POINTSuper6_Super6_handler_until (super6_super6__restart_act: bool; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int) returns (super6_super6__restart_in: bool; super6_super6__state_in: super6_super6__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
183

    
184
function super6_super6__POINTSuper6_Super6_unless (super6_super6__restart_in: bool; idSuper6_Super6_1: int; E: bool) returns (super6_super6__restart_act: bool; super6_super6__state_act: super6_super6__type);
185

    
186
function super6_super6__POINT__TO__SUPER6_A_1_handler_until (super6_super6__restart_act: bool; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int) returns (super6_super6__restart_in: bool; super6_super6__state_in: super6_super6__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
187

    
188
function super6_super6__POINT__TO__SUPER6_A_1_unless (super6_super6__restart_in: bool) returns (super6_super6__restart_act: bool; super6_super6__state_act: super6_super6__type);
189

    
190
node super6_super6__SUPER6_A_IDL_handler_until (super6_super6__restart_act: bool; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int; F: bool; G: bool; H: bool) returns (super6_super6__restart_in: bool; super6_super6__state_in: super6_super6__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
191

    
192
function super6_super6__SUPER6_A_IDL_unless (super6_super6__restart_in: bool) returns (super6_super6__restart_act: bool; super6_super6__state_act: super6_super6__type);
193

    
194
function super6_super6__SUPER6_A__TO__SUPER6_B_1_handler_until (super6_super6__restart_act: bool; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int) returns (super6_super6__restart_in: bool; super6_super6__state_in: super6_super6__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
195

    
196
function super6_super6__SUPER6_A__TO__SUPER6_B_1_unless (super6_super6__restart_in: bool) returns (super6_super6__restart_act: bool; super6_super6__state_act: super6_super6__type);
197

    
198
node super6_super6__SUPER6_B_IDL_handler_until (super6_super6__restart_act: bool; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int; F: bool; G: bool; H: bool) returns (super6_super6__restart_in: bool; super6_super6__state_in: super6_super6__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
199

    
200
function super6_super6__SUPER6_B_IDL_unless (super6_super6__restart_in: bool) returns (super6_super6__restart_act: bool; super6_super6__state_act: super6_super6__type);
201

    
202
function super6_super6__SUPER6_B__TO__SUPER6_A_1_handler_until (super6_super6__restart_act: bool; idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int) returns (super6_super6__restart_in: bool; super6_super6__state_in: super6_super6__type; idA1_A1a_out: int; idA_A1_out: int; idB1_B1a_out: int; idB_B1_out: int; idSuper6_A_out: int; idSuper6_B_out: int; idSuper6_Super6_out: int; y_out: int);
203

    
204
function super6_super6__SUPER6_B__TO__SUPER6_A_1_unless (super6_super6__restart_in: bool) returns (super6_super6__restart_act: bool; super6_super6__state_act: super6_super6__type);
205

    
206
node Super6_Super6_node (idSuper6_Super6_1: int; idA1_A1a_1: int; idA_A1_1: int; idSuper6_A_1: int; E: bool; idB1_B1a_1: int; idB_B1_1: int; idSuper6_B_1: int; y_1: int; F: bool; G: bool; H: bool) returns (idSuper6_Super6: int; idA1_A1a: int; idA_A1: int; idSuper6_A: int; idB1_B1a: int; idB_B1: int; idSuper6_B: int; y: int);
207

    
208
node Super6_Super6 (E: bool; F: bool; G: bool; H: bool) returns (y: int);
209

    
210
node Super6 (E_1_1: real; F_1_1: real; G_1_1: real; H_1_1: real) returns (y_1_1: int);
211