Project

General

Profile

Download (18.6 KB) Statistics
| Branch: | Tag: | Revision:
1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Subsys1.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:28 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type chart_d__type = enum {POINTchart_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 chart_c__type = enum {POINTchart_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 chart_b__type = enum {POINTchart_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 chart_a__type = enum {POINTchart_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 chart_chart__type = enum {POINTchart_chart, CHART_CHART_PARALLEL_ENTRY, CHART_CHART_PARALLEL_IDL };
18
19
20
function D_Da_ex (idchart_D_1: int; isInner: bool) returns (idchart_D: int);
21
22
function D_Db_en (idchart_D_1: int; x: int; d_1: int; isInner: bool) returns (idchart_D: int; d: int);
23
24
function D_Da_en (idchart_D_1: int; x: int; d_1: int; isInner: bool) returns (idchart_D: int; d: int);
25
26
function D_Db_ex (idchart_D_1: int; isInner: bool) returns (idchart_D: int);
27
28
function chart_d__D_DA_IDL_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);
29
30
function chart_d__D_DA_IDL_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);
31
32
function chart_d__D_DA__TO__D_DB_1_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int; x: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);
33
34
function chart_d__D_DA__TO__D_DB_1_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);
35
36
function chart_d__D_DB_IDL_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);
37
38
function chart_d__D_DB_IDL_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);
39
40
function chart_d__D_DB__TO__D_DA_1_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int; x: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);
41
42
function chart_d__D_DB__TO__D_DA_1_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);
43
44
function chart_d__POINT__TO__D_DA_1_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int; x: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);
45
46
function chart_d__POINT__TO__D_DA_1_unless (chart_d__restart_in: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);
47
48
function chart_d__POINTchart_D_handler_until (chart_d__restart_act: bool; idchart_D_1: int; d_1: int) returns (chart_d__restart_in: bool; chart_d__state_in: chart_d__type; d_out: int; idchart_D_out: int);
49
50
function chart_d__POINTchart_D_unless (chart_d__restart_in: bool; idchart_D_1: int; S3: bool; R3: bool) returns (chart_d__restart_act: bool; chart_d__state_act: chart_d__type);
51
52
node chart_D_node (idchart_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idchart_D: int; d: int);
53
54
node C_Ca__To__C_Cb_1_Transition_Action (idchart_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idchart_D: int; d: int);
55
56
function C_Ca_ex (idchart_C_1: int; isInner: bool) returns (idchart_C: int);
57
58
function C_Cb_en (idchart_C_1: int; x: int; c_1: int; isInner: bool) returns (idchart_C: int; c: int);
59
60
function C_Ca_en (idchart_C_1: int; x: int; c_1: int; isInner: bool) returns (idchart_C: int; c: int);
61
62
node C_Cb__To__C_Ca_1_Transition_Action (idchart_D_1: int; d_1: int; x: int; S3: bool; R3: bool) returns (idchart_D: int; d: int);
63
64
function C_Cb_ex (idchart_C_1: int; isInner: bool) returns (idchart_C: int);
65
66
function chart_c__C_CA_IDL_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);
67
68
function chart_c__C_CA_IDL_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);
69
70
node chart_c__C_CA__TO__C_CB_1_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; x: int; R3: bool; S3: bool; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);
71
72
function chart_c__C_CA__TO__C_CB_1_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);
73
74
function chart_c__C_CB_IDL_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);
75
76
function chart_c__C_CB_IDL_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);
77
78
node chart_c__C_CB__TO__C_CA_1_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; x: int; R3: bool; S3: bool; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);
79
80
function chart_c__C_CB__TO__C_CA_1_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);
81
82
function chart_c__POINT__TO__C_CA_1_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; x: int; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);
83
84
function chart_c__POINT__TO__C_CA_1_unless (chart_c__restart_in: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);
85
86
function chart_c__POINTchart_C_handler_until (chart_c__restart_act: bool; idchart_C_1: int; c_1: int; d_1: int; idchart_D_1: int) returns (chart_c__restart_in: bool; chart_c__state_in: chart_c__type; c_out: int; d_out: int; idchart_C_out: int; idchart_D_out: int);
87
88
function chart_c__POINTchart_C_unless (chart_c__restart_in: bool; idchart_C_1: int; S2: bool; R2: bool) returns (chart_c__restart_act: bool; chart_c__state_act: chart_c__type);
89
90
node chart_C_node (idchart_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idchart_D_1: int; R2: bool) returns (idchart_C: int; c: int; d: int; idchart_D: int);
91
92
node B_Ba__To__B_Bb_1_Transition_Action (idchart_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idchart_D_1: int; R2: bool) returns (idchart_C: int; c: int; d: int; idchart_D: int);
93
94
function B_Ba_ex (idchart_B_1: int; isInner: bool) returns (idchart_B: int);
95
96
function B_Bb_en (idchart_B_1: int; x: int; b_1: int; isInner: bool) returns (idchart_B: int; b: int);
97
98
function B_Ba_en (idchart_B_1: int; x: int; b_1: int; isInner: bool) returns (idchart_B: int; b: int);
99
100
node B_Bb__To__B_Ba_1_Transition_Action (idchart_C_1: int; c_1: int; x: int; S2: bool; R3: bool; S3: bool; d_1: int; idchart_D_1: int; R2: bool) returns (idchart_C: int; c: int; d: int; idchart_D: int);
101
102
function B_Bb_ex (idchart_B_1: int; isInner: bool) returns (idchart_B: int);
103
104
function chart_b__B_BA_IDL_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
105
106
function chart_b__B_BA_IDL_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);
107
108
node chart_b__B_BA__TO__B_BB_1_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; x: int; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
109
110
function chart_b__B_BA__TO__B_BB_1_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);
111
112
function chart_b__B_BB_IDL_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
113
114
function chart_b__B_BB_IDL_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);
115
116
node chart_b__B_BB__TO__B_BA_1_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; x: int; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
117
118
function chart_b__B_BB__TO__B_BA_1_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);
119
120
function chart_b__POINT__TO__B_BA_1_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; x: int; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
121
122
function chart_b__POINT__TO__B_BA_1_unless (chart_b__restart_in: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);
123
124
function chart_b__POINTchart_B_handler_until (chart_b__restart_act: bool; idchart_B_1: int; b_1: int; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_b__restart_in: bool; chart_b__state_in: chart_b__type; b_out: int; c_out: int; d_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
125
126
function chart_b__POINTchart_B_unless (chart_b__restart_in: bool; idchart_B_1: int; S1: bool; R1: bool) returns (chart_b__restart_act: bool; chart_b__state_act: chart_b__type);
127
128
node chart_B_node (idchart_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int; R1: bool) returns (idchart_B: int; b: int; c: int; d: int; idchart_C: int; idchart_D: int);
129
130
node A_Aa__To__A_Ab_1_Transition_Action (idchart_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int; R1: bool) returns (idchart_B: int; b: int; c: int; d: int; idchart_C: int; idchart_D: int);
131
132
function A_Aa_ex (idchart_A_1: int; isInner: bool) returns (idchart_A: int);
133
134
function A_Ab_en (idchart_A_1: int; x: int; a_1: int; isInner: bool) returns (idchart_A: int; a: int);
135
136
function A_Aa_en (idchart_A_1: int; x: int; a_1: int; isInner: bool) returns (idchart_A: int; a: int);
137
138
node A_Ab__To__A_Aa_1_Transition_Action (idchart_B_1: int; b_1: int; x: int; S1: bool; R2: bool; R3: bool; S2: bool; S3: bool; c_1: int; d_1: int; idchart_C_1: int; idchart_D_1: int; R1: bool) returns (idchart_B: int; b: int; c: int; d: int; idchart_C: int; idchart_D: int);
139
140
function A_Ab_ex (idchart_A_1: int; isInner: bool) returns (idchart_A: int);
141
142
function chart_a__A_AA_IDL_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
143
144
function chart_a__A_AA_IDL_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);
145
146
node chart_a__A_AA__TO__A_AB_1_handler_until (chart_a__restart_act: bool; idchart_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; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
147
148
function chart_a__A_AA__TO__A_AB_1_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);
149
150
function chart_a__A_AB_IDL_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
151
152
function chart_a__A_AB_IDL_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);
153
154
node chart_a__A_AB__TO__A_AA_1_handler_until (chart_a__restart_act: bool; idchart_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; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
155
156
function chart_a__A_AB__TO__A_AA_1_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);
157
158
function chart_a__POINT__TO__A_AA_1_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; x: int; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
159
160
function chart_a__POINT__TO__A_AA_1_unless (chart_a__restart_in: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);
161
162
function chart_a__POINTchart_A_handler_until (chart_a__restart_act: bool; idchart_A_1: int; a_1: int; b_1: int; c_1: int; d_1: int; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int) returns (chart_a__restart_in: bool; chart_a__state_in: chart_a__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int);
163
164
function chart_a__POINTchart_A_unless (chart_a__restart_in: bool; idchart_A_1: int; S: bool; R: bool) returns (chart_a__restart_act: bool; chart_a__state_act: chart_a__type);
165
166
function chart_A_en (idchart_A_1: int; idchart_chart_1: int; a_1: int; x: int; isInner: bool) returns (idchart_A: int; idchart_chart: int; a: int);
167
168
function chart_B_en (idchart_B_1: int; idchart_chart_1: int; b_1: int; x: int; isInner: bool) returns (idchart_B: int; idchart_chart: int; b: int);
169
170
function chart_C_en (idchart_C_1: int; idchart_chart_1: int; c_1: int; x: int; isInner: bool) returns (idchart_C: int; idchart_chart: int; c: int);
171
172
function chart_D_en (idchart_D_1: int; idchart_chart_1: int; d_1: int; x: int; isInner: bool) returns (idchart_D: int; idchart_chart: int; d: int);
173
174
node chart_A_node (idchart_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; idchart_B_1: int; idchart_C_1: int; idchart_D_1: int; R: bool) returns (idchart_A: int; a: int; b: int; c: int; d: int; idchart_B: int; idchart_C: int; idchart_D: int);
175
176
function chart_chart__CHART_CHART_PARALLEL_ENTRY_handler_until (chart_chart__restart_act: bool; idchart_chart_1: int; a_1: int; idchart_A_1: int; x: int; b_1: int; idchart_B_1: int; c_1: int; idchart_C_1: int; d_1: int; idchart_D_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int; idchart_chart_out: int);
177
178
function chart_chart__CHART_CHART_PARALLEL_ENTRY_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
179
180
node chart_chart__CHART_CHART_PARALLEL_IDL_handler_until (chart_chart__restart_act: bool; idchart_chart_1: int; a_1: int; idchart_A_1: int; x: int; b_1: int; idchart_B_1: int; c_1: int; idchart_C_1: int; d_1: int; idchart_D_1: int; R: bool; R1: bool; R2: bool; R3: bool; S: bool; S1: bool; S2: bool; S3: bool) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int; idchart_chart_out: int);
181
182
function chart_chart__CHART_CHART_PARALLEL_IDL_unless (chart_chart__restart_in: bool) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
183
184
function chart_chart__POINTchart_chart_handler_until (chart_chart__restart_act: bool; idchart_chart_1: int; a_1: int; idchart_A_1: int; b_1: int; idchart_B_1: int; c_1: int; idchart_C_1: int; d_1: int; idchart_D_1: int) returns (chart_chart__restart_in: bool; chart_chart__state_in: chart_chart__type; a_out: int; b_out: int; c_out: int; d_out: int; idchart_A_out: int; idchart_B_out: int; idchart_C_out: int; idchart_D_out: int; idchart_chart_out: int);
185
186
function chart_chart__POINTchart_chart_unless (chart_chart__restart_in: bool; idchart_chart_1: int) returns (chart_chart__restart_act: bool; chart_chart__state_act: chart_chart__type);
187
188
node chart_chart_node (idchart_chart_1: int; a_1: int; idchart_A_1: int; x: int; b_1: int; idchart_B_1: int; c_1: int; idchart_C_1: int; d_1: int; idchart_D_1: int; R: bool; R1: bool; R2: bool; R3: bool; S: bool; S1: bool; S2: bool; S3: bool) returns (idchart_chart: int; a: int; idchart_A: int; b: int; idchart_B: int; c: int; idchart_C: int; d: int; idchart_D: int);
189
190
node Subsys1_Odysssubsys_chart (x: int; y: int; R: bool; S: bool) returns (a: int; b: int; c: int; d: int);
191
192
function chart_A_ex (idchart_A_1: int; idchart_chart_1: int; isInner: bool) returns (idchart_A: int; idchart_chart: int);
193
194
function chart_B_ex (idchart_B_1: int; idchart_chart_1: int; isInner: bool) returns (idchart_B: int; idchart_chart: int);
195
196
function chart_C_ex (idchart_C_1: int; idchart_chart_1: int; isInner: bool) returns (idchart_C: int; idchart_chart: int);
197
198
function chart_D_ex (idchart_D_1: int; idchart_chart_1: int; isInner: bool) returns (idchart_D: int; idchart_chart: int);
199
200
node Subsys1 (R_1_1: real; S_1_1: real; In3_1_1: int; In4_1_1: int) returns (Out1_1_1: int; Out2_2_1: int; Out3_3_1: int; Out4_4_1: int);