Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Events2 / Events2.lusi @ 79ef5fc5

History | View | Annotate | Download (19.8 KB)

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

    
5
type events2_d__type = enum {POINTEvents2_D, POINT__TO__D_DA_1, D_DA__TO__D_DB_1, D_DB__TO__D_DA_1, D_DA_IDL, D_DB_IDL };
6

    
7

    
8
type events2_c__type = enum {POINTEvents2_C, POINT__TO__C_CA_1, C_CA__TO__C_CB_1, C_CB__TO__C_CA_1, C_CA_IDL, C_CB_IDL };
9

    
10

    
11
type events2_b__type = enum {POINTEvents2_B, POINT__TO__B_BA_1, B_BA__TO__B_BB_1, B_BB__TO__B_BA_1, B_BA_IDL, B_BB_IDL };
12

    
13

    
14
type events2_a__type = enum {POINTEvents2_A, POINT__TO__A_AA_1, A_AA__TO__A_AB_1, A_AB__TO__A_AA_1, A_AA_IDL, A_AB_IDL };
15

    
16

    
17
type events2_events2__type = enum {POINTEvents2_Events2, EVENTS2_EVENTS2_PARALLEL_ENTRY, EVENTS2_EVENTS2_PARALLEL_IDL };
18

    
19

    
20
function D_Da_ex (idEvents2_D_1: int; isInner: bool) returns (idEvents2_D: int);
21

    
22
function D_Db_en (idEvents2_D_1: int; x: int; d_1: int; isInner: bool) returns (idEvents2_D: int; d: int);
23

    
24
function D_Da_en (idEvents2_D_1: int; x: int; d_1: int; isInner: bool) returns (idEvents2_D: int; d: int);
25

    
26
function D_Db_ex (idEvents2_D_1: int; isInner: bool) returns (idEvents2_D: int);
27

    
28
function events2_d__D_DA_IDL_handler_until (events2_d__restart_act: bool; idEvents2_D_1: int; d_1: int) returns (events2_d__restart_in: bool; events2_d__state_in: events2_d__type; d_out: int; idEvents2_D_out: int);
29

    
30
function events2_d__D_DA_IDL_unless (events2_d__restart_in: bool) returns (events2_d__restart_act: bool; events2_d__state_act: events2_d__type);
31

    
32
function events2_d__D_DA__TO__D_DB_1_handler_until (events2_d__restart_act: bool; idEvents2_D_1: int; d_1: int; x: int) returns (events2_d__restart_in: bool; events2_d__state_in: events2_d__type; d_out: int; idEvents2_D_out: int);
33

    
34
function events2_d__D_DA__TO__D_DB_1_unless (events2_d__restart_in: bool) returns (events2_d__restart_act: bool; events2_d__state_act: events2_d__type);
35

    
36
function events2_d__D_DB_IDL_handler_until (events2_d__restart_act: bool; idEvents2_D_1: int; d_1: int) returns (events2_d__restart_in: bool; events2_d__state_in: events2_d__type; d_out: int; idEvents2_D_out: int);
37

    
38
function events2_d__D_DB_IDL_unless (events2_d__restart_in: bool) returns (events2_d__restart_act: bool; events2_d__state_act: events2_d__type);
39

    
40
function events2_d__D_DB__TO__D_DA_1_handler_until (events2_d__restart_act: bool; idEvents2_D_1: int; d_1: int; x: int) returns (events2_d__restart_in: bool; events2_d__state_in: events2_d__type; d_out: int; idEvents2_D_out: int);
41

    
42
function events2_d__D_DB__TO__D_DA_1_unless (events2_d__restart_in: bool) returns (events2_d__restart_act: bool; events2_d__state_act: events2_d__type);
43

    
44
function events2_d__POINTEvents2_D_handler_until (events2_d__restart_act: bool; idEvents2_D_1: int; d_1: int) returns (events2_d__restart_in: bool; events2_d__state_in: events2_d__type; d_out: int; idEvents2_D_out: int);
45

    
46
function events2_d__POINTEvents2_D_unless (events2_d__restart_in: bool; idEvents2_D_1: int; S3: bool; R3: bool) returns (events2_d__restart_act: bool; events2_d__state_act: events2_d__type);
47

    
48
function events2_d__POINT__TO__D_DA_1_handler_until (events2_d__restart_act: bool; idEvents2_D_1: int; d_1: int; x: int) returns (events2_d__restart_in: bool; events2_d__state_in: events2_d__type; d_out: int; idEvents2_D_out: int);
49

    
50
function events2_d__POINT__TO__D_DA_1_unless (events2_d__restart_in: bool) returns (events2_d__restart_act: bool; events2_d__state_act: events2_d__type);
51

    
52
node Events2_D_node (idEvents2_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idEvents2_D: int; d: int);
53

    
54
node C_Ca__To__C_Cb_1_Transition_Action (idEvents2_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idEvents2_D: int; d: int);
55

    
56
function C_Ca_ex (idEvents2_C_1: int; isInner: bool) returns (idEvents2_C: int);
57

    
58
function C_Cb_en (idEvents2_C_1: int; x: int; c_1: int; isInner: bool) returns (idEvents2_C: int; c: int);
59

    
60
function C_Ca_en (idEvents2_C_1: int; x: int; c_1: int; isInner: bool) returns (idEvents2_C: int; c: int);
61

    
62
node C_Cb__To__C_Ca_1_Transition_Action (idEvents2_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idEvents2_D: int; d: int);
63

    
64
function C_Cb_ex (idEvents2_C_1: int; isInner: bool) returns (idEvents2_C: int);
65

    
66
function events2_c__C_CA_IDL_handler_until (events2_c__restart_act: bool; idEvents2_C_1: int; c_1: int; d_1: int; idEvents2_D_1: int) returns (events2_c__restart_in: bool; events2_c__state_in: events2_c__type; c_out: int; d_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
67

    
68
function events2_c__C_CA_IDL_unless (events2_c__restart_in: bool) returns (events2_c__restart_act: bool; events2_c__state_act: events2_c__type);
69

    
70
node events2_c__C_CA__TO__C_CB_1_handler_until (events2_c__restart_act: bool; idEvents2_C_1: int; c_1: int; x: int; R3: bool; S3: bool; d_1: int; idEvents2_D_1: int) returns (events2_c__restart_in: bool; events2_c__state_in: events2_c__type; c_out: int; d_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
71

    
72
function events2_c__C_CA__TO__C_CB_1_unless (events2_c__restart_in: bool) returns (events2_c__restart_act: bool; events2_c__state_act: events2_c__type);
73

    
74
function events2_c__C_CB_IDL_handler_until (events2_c__restart_act: bool; idEvents2_C_1: int; c_1: int; d_1: int; idEvents2_D_1: int) returns (events2_c__restart_in: bool; events2_c__state_in: events2_c__type; c_out: int; d_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
75

    
76
function events2_c__C_CB_IDL_unless (events2_c__restart_in: bool) returns (events2_c__restart_act: bool; events2_c__state_act: events2_c__type);
77

    
78
node events2_c__C_CB__TO__C_CA_1_handler_until (events2_c__restart_act: bool; idEvents2_C_1: int; c_1: int; x: int; R3: bool; S3: bool; d_1: int; idEvents2_D_1: int) returns (events2_c__restart_in: bool; events2_c__state_in: events2_c__type; c_out: int; d_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
79

    
80
function events2_c__C_CB__TO__C_CA_1_unless (events2_c__restart_in: bool) returns (events2_c__restart_act: bool; events2_c__state_act: events2_c__type);
81

    
82
function events2_c__POINTEvents2_C_handler_until (events2_c__restart_act: bool; idEvents2_C_1: int; c_1: int; d_1: int; idEvents2_D_1: int) returns (events2_c__restart_in: bool; events2_c__state_in: events2_c__type; c_out: int; d_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
83

    
84
function events2_c__POINTEvents2_C_unless (events2_c__restart_in: bool; idEvents2_C_1: int; S2: bool; R2: bool) returns (events2_c__restart_act: bool; events2_c__state_act: events2_c__type);
85

    
86
function events2_c__POINT__TO__C_CA_1_handler_until (events2_c__restart_act: bool; idEvents2_C_1: int; c_1: int; x: int; d_1: int; idEvents2_D_1: int) returns (events2_c__restart_in: bool; events2_c__state_in: events2_c__type; c_out: int; d_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
87

    
88
function events2_c__POINT__TO__C_CA_1_unless (events2_c__restart_in: bool) returns (events2_c__restart_act: bool; events2_c__state_act: events2_c__type);
89

    
90
node Events2_C_node (idEvents2_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idEvents2_D_1: int; R2: bool) returns (idEvents2_C: int; c: int; d: int; idEvents2_D: int);
91

    
92
node B_Ba__To__B_Bb_1_Transition_Action (idEvents2_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idEvents2_D_1: int; R2: bool) returns (idEvents2_C: int; c: int; d: int; idEvents2_D: int);
93

    
94
function B_Ba_ex (idEvents2_B_1: int; isInner: bool) returns (idEvents2_B: int);
95

    
96
function B_Bb_en (idEvents2_B_1: int; x: int; b_1: int; isInner: bool) returns (idEvents2_B: int; b: int);
97

    
98
function B_Ba_en (idEvents2_B_1: int; x: int; b_1: int; isInner: bool) returns (idEvents2_B: int; b: int);
99

    
100
node B_Bb__To__B_Ba_1_Transition_Action (idEvents2_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idEvents2_D_1: int; R2: bool) returns (idEvents2_C: int; c: int; d: int; idEvents2_D: int);
101

    
102
function B_Bb_ex (idEvents2_B_1: int; isInner: bool) returns (idEvents2_B: int);
103

    
104
function events2_b__B_BA_IDL_handler_until (events2_b__restart_act: bool; idEvents2_B_1: int; b_1: int; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_b__restart_in: bool; events2_b__state_in: events2_b__type; b_out: int; c_out: int; d_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
105

    
106
function events2_b__B_BA_IDL_unless (events2_b__restart_in: bool) returns (events2_b__restart_act: bool; events2_b__state_act: events2_b__type);
107

    
108
node events2_b__B_BA__TO__B_BB_1_handler_until (events2_b__restart_act: bool; idEvents2_B_1: int; b_1: int; x: int; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_b__restart_in: bool; events2_b__state_in: events2_b__type; b_out: int; c_out: int; d_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
109

    
110
function events2_b__B_BA__TO__B_BB_1_unless (events2_b__restart_in: bool) returns (events2_b__restart_act: bool; events2_b__state_act: events2_b__type);
111

    
112
function events2_b__B_BB_IDL_handler_until (events2_b__restart_act: bool; idEvents2_B_1: int; b_1: int; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_b__restart_in: bool; events2_b__state_in: events2_b__type; b_out: int; c_out: int; d_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
113

    
114
function events2_b__B_BB_IDL_unless (events2_b__restart_in: bool) returns (events2_b__restart_act: bool; events2_b__state_act: events2_b__type);
115

    
116
node events2_b__B_BB__TO__B_BA_1_handler_until (events2_b__restart_act: bool; idEvents2_B_1: int; b_1: int; x: int; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_b__restart_in: bool; events2_b__state_in: events2_b__type; b_out: int; c_out: int; d_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
117

    
118
function events2_b__B_BB__TO__B_BA_1_unless (events2_b__restart_in: bool) returns (events2_b__restart_act: bool; events2_b__state_act: events2_b__type);
119

    
120
function events2_b__POINTEvents2_B_handler_until (events2_b__restart_act: bool; idEvents2_B_1: int; b_1: int; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_b__restart_in: bool; events2_b__state_in: events2_b__type; b_out: int; c_out: int; d_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
121

    
122
function events2_b__POINTEvents2_B_unless (events2_b__restart_in: bool; idEvents2_B_1: int; S1: bool; R1: bool) returns (events2_b__restart_act: bool; events2_b__state_act: events2_b__type);
123

    
124
function events2_b__POINT__TO__B_BA_1_handler_until (events2_b__restart_act: bool; idEvents2_B_1: int; b_1: int; x: int; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_b__restart_in: bool; events2_b__state_in: events2_b__type; b_out: int; c_out: int; d_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
125

    
126
function events2_b__POINT__TO__B_BA_1_unless (events2_b__restart_in: bool) returns (events2_b__restart_act: bool; events2_b__state_act: events2_b__type);
127

    
128
node Events2_B_node (idEvents2_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int; R1: bool) returns (idEvents2_B: int; b: int; c: int; d: int; idEvents2_C: int; idEvents2_D: int);
129

    
130
node A_Aa__To__A_Ab_1_Transition_Action (idEvents2_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int; R1: bool) returns (idEvents2_B: int; b: int; c: int; d: int; idEvents2_C: int; idEvents2_D: int);
131

    
132
function A_Aa_ex (idEvents2_A_1: int; isInner: bool) returns (idEvents2_A: int);
133

    
134
function A_Ab_en (idEvents2_A_1: int; x: int; a_1: int; isInner: bool) returns (idEvents2_A: int; a: int);
135

    
136
function A_Aa_en (idEvents2_A_1: int; x: int; a_1: int; isInner: bool) returns (idEvents2_A: int; a: int);
137

    
138
node A_Ab__To__A_Aa_1_Transition_Action (idEvents2_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idEvents2_C_1: int; idEvents2_D_1: int; R1: bool) returns (idEvents2_B: int; b: int; c: int; d: int; idEvents2_C: int; idEvents2_D: int);
139

    
140
function A_Ab_ex (idEvents2_A_1: int; isInner: bool) returns (idEvents2_A: int);
141

    
142
function events2_a__A_AA_IDL_handler_until (events2_a__restart_act: bool; idEvents2_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idEvents2_B_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_a__restart_in: bool; events2_a__state_in: events2_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
143

    
144
function events2_a__A_AA_IDL_unless (events2_a__restart_in: bool) returns (events2_a__restart_act: bool; events2_a__state_act: events2_a__type);
145

    
146
node events2_a__A_AA__TO__A_AB_1_handler_until (events2_a__restart_act: bool; idEvents2_A_1: int; a_1: int; x: int; R1: bool; R2: bool; R3: bool; S1: bool; S2: bool; S3: bool; b_1: int; c_1: int; d_1: int; idEvents2_B_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_a__restart_in: bool; events2_a__state_in: events2_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
147

    
148
function events2_a__A_AA__TO__A_AB_1_unless (events2_a__restart_in: bool) returns (events2_a__restart_act: bool; events2_a__state_act: events2_a__type);
149

    
150
function events2_a__A_AB_IDL_handler_until (events2_a__restart_act: bool; idEvents2_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idEvents2_B_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_a__restart_in: bool; events2_a__state_in: events2_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
151

    
152
function events2_a__A_AB_IDL_unless (events2_a__restart_in: bool) returns (events2_a__restart_act: bool; events2_a__state_act: events2_a__type);
153

    
154
node events2_a__A_AB__TO__A_AA_1_handler_until (events2_a__restart_act: bool; idEvents2_A_1: int; a_1: int; x: int; R1: bool; R2: bool; R3: bool; S1: bool; S2: bool; S3: bool; b_1: int; c_1: int; d_1: int; idEvents2_B_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_a__restart_in: bool; events2_a__state_in: events2_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
155

    
156
function events2_a__A_AB__TO__A_AA_1_unless (events2_a__restart_in: bool) returns (events2_a__restart_act: bool; events2_a__state_act: events2_a__type);
157

    
158
function events2_a__POINTEvents2_A_handler_until (events2_a__restart_act: bool; idEvents2_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idEvents2_B_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_a__restart_in: bool; events2_a__state_in: events2_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
159

    
160
function events2_a__POINTEvents2_A_unless (events2_a__restart_in: bool; idEvents2_A_1: int; S: bool; R: bool) returns (events2_a__restart_act: bool; events2_a__state_act: events2_a__type);
161

    
162
function events2_a__POINT__TO__A_AA_1_handler_until (events2_a__restart_act: bool; idEvents2_A_1: int; a_1: int; x: int; b_1: int; c_1: int; d_1: int; idEvents2_B_1: int; idEvents2_C_1: int; idEvents2_D_1: int) returns (events2_a__restart_in: bool; events2_a__state_in: events2_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int);
163

    
164
function events2_a__POINT__TO__A_AA_1_unless (events2_a__restart_in: bool) returns (events2_a__restart_act: bool; events2_a__state_act: events2_a__type);
165

    
166
function Events2_A_en (idEvents2_A_1: int; idEvents2_Events2_1: int; a_1: int; x: int; isInner: bool) returns (idEvents2_A: int; idEvents2_Events2: int; a: int);
167

    
168
function Events2_B_en (idEvents2_B_1: int; idEvents2_Events2_1: int; b_1: int; x: int; isInner: bool) returns (idEvents2_B: int; idEvents2_Events2: int; b: int);
169

    
170
function Events2_C_en (idEvents2_C_1: int; idEvents2_Events2_1: int; c_1: int; x: int; isInner: bool) returns (idEvents2_C: int; idEvents2_Events2: int; c: int);
171

    
172
function Events2_D_en (idEvents2_D_1: int; idEvents2_Events2_1: int; d_1: int; x: int; isInner: bool) returns (idEvents2_D: int; idEvents2_Events2: int; d: int);
173

    
174
node Events2_A_node (idEvents2_A_1: int; a_1: int; x: int; S: bool; R1: bool; R2: bool; R3: bool; S1: bool; S2: bool; S3: bool; b_1: int; c_1: int; d_1: int; idEvents2_B_1: int; idEvents2_C_1: int; idEvents2_D_1: int; R: bool) returns (idEvents2_A: int; a: int; b: int; c: int; d: int; idEvents2_B: int; idEvents2_C: int; idEvents2_D: int);
175

    
176
function events2_events2__EVENTS2_EVENTS2_PARALLEL_ENTRY_handler_until (events2_events2__restart_act: bool; idEvents2_Events2_1: int; a_1: int; idEvents2_A_1: int; x: int; b_1: int; idEvents2_B_1: int; c_1: int; idEvents2_C_1: int; d_1: int; idEvents2_D_1: int) returns (events2_events2__restart_in: bool; events2_events2__state_in: events2_events2__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int; idEvents2_Events2_out: int);
177

    
178
function events2_events2__EVENTS2_EVENTS2_PARALLEL_ENTRY_unless (events2_events2__restart_in: bool) returns (events2_events2__restart_act: bool; events2_events2__state_act: events2_events2__type);
179

    
180
node events2_events2__EVENTS2_EVENTS2_PARALLEL_IDL_handler_until (events2_events2__restart_act: bool; idEvents2_Events2_1: int; a_1: int; idEvents2_A_1: int; x: int; b_1: int; idEvents2_B_1: int; c_1: int; idEvents2_C_1: int; d_1: int; idEvents2_D_1: int; R: bool; R1: bool; R2: bool; R3: bool; S: bool; S1: bool; S2: bool; S3: bool) returns (events2_events2__restart_in: bool; events2_events2__state_in: events2_events2__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int; idEvents2_Events2_out: int);
181

    
182
function events2_events2__EVENTS2_EVENTS2_PARALLEL_IDL_unless (events2_events2__restart_in: bool) returns (events2_events2__restart_act: bool; events2_events2__state_act: events2_events2__type);
183

    
184
function events2_events2__POINTEvents2_Events2_handler_until (events2_events2__restart_act: bool; idEvents2_Events2_1: int; a_1: int; idEvents2_A_1: int; b_1: int; idEvents2_B_1: int; c_1: int; idEvents2_C_1: int; d_1: int; idEvents2_D_1: int) returns (events2_events2__restart_in: bool; events2_events2__state_in: events2_events2__type; a_out: int; b_out: int; c_out: int; d_out: int; idEvents2_A_out: int; idEvents2_B_out: int; idEvents2_C_out: int; idEvents2_D_out: int; idEvents2_Events2_out: int);
185

    
186
function events2_events2__POINTEvents2_Events2_unless (events2_events2__restart_in: bool; idEvents2_Events2_1: int) returns (events2_events2__restart_act: bool; events2_events2__state_act: events2_events2__type);
187

    
188
node Events2_Events2_node (idEvents2_Events2_1: int; a_1: int; idEvents2_A_1: int; x: int; b_1: int; idEvents2_B_1: int; c_1: int; idEvents2_C_1: int; d_1: int; idEvents2_D_1: int; R: bool; R1: bool; R2: bool; R3: bool; S: bool; S1: bool; S2: bool; S3: bool) returns (idEvents2_Events2: int; a: int; idEvents2_A: int; b: int; idEvents2_B: int; c: int; idEvents2_C: int; d: int; idEvents2_D: int);
189

    
190
node Events2_Events2 (x: int; R: bool; S: bool) returns (a: int; b: int; c: int; d: int);
191

    
192
function Events2_D_ex (idEvents2_D_1: int; idEvents2_Events2_1: int; isInner: bool) returns (idEvents2_D: int; idEvents2_Events2: int);
193

    
194
function Events2_A_ex (idEvents2_A_1: int; idEvents2_Events2_1: int; isInner: bool) returns (idEvents2_A: int; idEvents2_Events2: int);
195

    
196
function Events2_C_ex (idEvents2_C_1: int; idEvents2_Events2_1: int; isInner: bool) returns (idEvents2_C: int; idEvents2_Events2: int);
197

    
198
function Events2_B_ex (idEvents2_B_1: int; idEvents2_Events2_1: int; isInner: bool) returns (idEvents2_B: int; idEvents2_Events2: int);
199

    
200
node Events2 (x_1_1: int; R_1_1: real; S_1_1: real) returns (a_1_1: int; b_2_1: int; c_3_1: int; d_4_1: int);
201