Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / assignment_test_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (4.25 KB)

1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:00:57
5
(*
6
Original block name: assignment_test_PP
7
*)
8
node  assignment_test_PP(In1_1 : real;
9
	In1_2 : real;
10
	In1_3 : real;
11
	In1_4 : real;
12
	In1_5 : real;
13
	In1_6 : real;
14
	In2_1 : bool;
15
	In2_2 : bool;
16
	In2_3 : bool;
17
	In2_4 : bool;
18
	In2_5 : bool;
19
	In2_6 : bool;
20
	In3_1 : int;
21
	In3_2 : int;
22
	In3_3 : int;
23
	In3_4 : int;
24
	In3_5 : int;
25
	In3_6 : int;
26
	In5_1 : bool;
27
	In5_2 : bool;
28
	In5_3 : bool;
29
	In6_1 : int;
30
	In6_2 : int;
31
	In6_3 : int;
32
	In7_1 : int;
33
	In7_2 : int;
34
	In7_3 : int;
35
	In8_1 : int;
36
	In8_2 : int;
37
	In8_3 : int;
38
	In8_4 : int;
39
	In8_5 : int;
40
	In8_6 : int;)
41
returns(Out1_1 : real;
42
	Out1_2 : real;
43
	Out1_3 : real;
44
	Out1_4 : real;
45
	Out1_5 : real;
46
	Out1_6 : real;
47
	Out2_1 : bool;
48
	Out2_2 : bool;
49
	Out2_3 : bool;
50
	Out2_4 : bool;
51
	Out2_5 : bool;
52
	Out2_6 : bool;
53
	Out3_1 : int;
54
	Out3_2 : int;
55
	Out3_3 : int;
56
	Out3_4 : int;
57
	Out3_5 : int;
58
	Out3_6 : int;
59
	Out5_1 : bool;
60
	Out5_2 : bool;
61
	Out5_3 : bool;
62
	Out6_1 : int;
63
	Out6_2 : int;
64
	Out6_3 : int;
65
	Out7_1 : int;
66
	Out7_2 : int;
67
	Out7_3 : int;
68
	Out8_1 : int;
69
	Out8_2 : int;
70
	Out8_3 : int;
71
	Out8_4 : int;
72
	Out8_5 : int;
73
	Out8_6 : int;);
74
var Assignment_1 : real;
75
	Assignment_2 : real;
76
	Assignment_3 : real;
77
	Assignment_4 : real;
78
	Assignment_5 : real;
79
	Assignment_6 : real;
80
	Assignment1_1 : bool;
81
	Assignment1_2 : bool;
82
	Assignment1_3 : bool;
83
	Assignment1_4 : bool;
84
	Assignment1_5 : bool;
85
	Assignment1_6 : bool;
86
	Assignment2_1 : int;
87
	Assignment2_2 : int;
88
	Assignment2_3 : int;
89
	Assignment2_4 : int;
90
	Assignment2_5 : int;
91
	Assignment2_6 : int;
92
	Assignment4_1 : bool;
93
	Assignment4_2 : bool;
94
	Assignment4_3 : bool;
95
	Assignment5_1 : int;
96
	Assignment5_2 : int;
97
	Assignment5_3 : int;
98
	Assignment6_1 : int;
99
	Assignment6_2 : int;
100
	Assignment6_3 : int;
101
	Assignment7_1 : int;
102
	Assignment7_2 : int;
103
	Assignment7_3 : int;
104
	Assignment7_4 : int;
105
	Assignment7_5 : int;
106
	Assignment7_6 : int;
107
	Constant1_1 : real;
108
	Constant3_1 : bool;
109
	Constant4_1 : bool;
110
	Constant5_1 : int;
111
	Constant6_1 : int;
112
	Constant7_1 : int;
113
	Constant7_2 : int;
114
	Constant7_3 : int;
115
	Constant8_1 : int;
116
	Constant8_2 : int;
117
	Constant8_3 : int;
118
	Constant8_4 : int;
119
	Constant8_5 : int;
120
	Constant8_6 : int;
121
	__time_step : real;
122
	__nb_step : int;
123
let
124
	Assignment_1 = In1_1;
125
	Assignment_2 = In1_2;
126
	Assignment_3 = Constant1_1;
127
	Assignment_4 = Constant1_1;
128
	Assignment_5 = In1_5;
129
	Assignment_6 = In1_6;
130
	Assignment1_1 = In2_1;
131
	Assignment1_2 = In2_2;
132
	Assignment1_3 = Constant3_1;
133
	Assignment1_4 = Constant3_1;
134
	Assignment1_5 = In2_5;
135
	Assignment1_6 = In2_6;
136
	Assignment2_1 = In3_1;
137
	Assignment2_2 = In3_2;
138
	Assignment2_3 = Constant5_1;
139
	Assignment2_4 = Constant5_1;
140
	Assignment2_5 = In3_5;
141
	Assignment2_6 = In3_6;
142
	Assignment4_1 = In5_1;
143
	Assignment4_2 = In5_2;
144
	Assignment4_3 = Constant4_1;
145
	Assignment5_1 = Constant6_1;
146
	Assignment5_2 = In6_2;
147
	Assignment5_3 = In6_3;
148
	Assignment6_1 = Constant7_1;
149
	Assignment6_2 = Constant7_2;
150
	Assignment6_3 = Constant7_3;
151
	Assignment7_1 = Constant8_1;
152
	Assignment7_2 = Constant8_2;
153
	Assignment7_3 = Constant8_3;
154
	Assignment7_4 = Constant8_4;
155
	Assignment7_5 = Constant8_5;
156
	Assignment7_6 = Constant8_6;
157
	Constant1_1 = 12.000000000000000;
158
	Constant3_1 = true;
159
	Constant4_1 = true;
160
	Constant5_1 = 12;
161
	Constant6_1 = 12;
162
	Constant7_1 = 2;
163
	Constant7_2 = 3;
164
	Constant7_3 = 4;
165
	Constant8_1 = 2;
166
	Constant8_2 = 5;
167
	Constant8_3 = 3;
168
	Constant8_4 = 6;
169
	Constant8_5 = 4;
170
	Constant8_6 = 7;
171
	Out1_1 = Assignment_1;
172
	Out1_2 = Assignment_2;
173
	Out1_3 = Assignment_3;
174
	Out1_4 = Assignment_4;
175
	Out1_5 = Assignment_5;
176
	Out1_6 = Assignment_6;
177
	Out2_1 = Assignment1_1;
178
	Out2_2 = Assignment1_2;
179
	Out2_3 = Assignment1_3;
180
	Out2_4 = Assignment1_4;
181
	Out2_5 = Assignment1_5;
182
	Out2_6 = Assignment1_6;
183
	Out3_1 = Assignment2_1;
184
	Out3_2 = Assignment2_2;
185
	Out3_3 = Assignment2_3;
186
	Out3_4 = Assignment2_4;
187
	Out3_5 = Assignment2_5;
188
	Out3_6 = Assignment2_6;
189
	Out5_1 = Assignment4_1;
190
	Out5_2 = Assignment4_2;
191
	Out5_3 = Assignment4_3;
192
	Out6_1 = Assignment5_1;
193
	Out6_2 = Assignment5_2;
194
	Out6_3 = Assignment5_3;
195
	Out7_1 = Assignment6_1;
196
	Out7_2 = Assignment6_2;
197
	Out7_3 = Assignment6_3;
198
	Out8_1 = Assignment7_1;
199
	Out8_2 = Assignment7_2;
200
	Out8_3 = Assignment7_3;
201
	Out8_4 = Assignment7_4;
202
	Out8_5 = Assignment7_5;
203
	Out8_6 = Assignment7_6;
204
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
205
	__nb_step = (0 -> ((pre __nb_step) + 1));
206
tel
207