Project

General

Profile

Download (4.59 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:15:28
5
(*
6
Original block name: unitdelay_vect_test_PP
7
*)
8
node  unitdelay_vect_test_PP(In1_1 : real;
9
	In1_2 : real;
10
	In2_1 : real;
11
	In2_2 : real;
12
	In3_1 : bool;
13
	In3_2 : bool;
14
	In4_1 : int;
15
	In4_2 : int;
16
	In5_1 : int;
17
	In5_2 : int;
18
	In6_1 : int;
19
	In6_2 : int;
20
	In7_1 : bool;
21
	In7_2 : bool;
22
	In8_1 : bool;
23
	In8_2 : bool;
24
	In9_1 : bool;
25
	In9_2 : bool;
26
	In10_1 : real;
27
	In10_2 : real;
28
	In11_1 : real;
29
	In11_2 : real;
30
	In12_1 : bool;
31
	In12_2 : bool;
32
	In13_1 : int;
33
	In13_2 : int;
34
	In14_1 : int;
35
	In14_2 : int;
36
	In15_1 : int;
37
	In15_2 : int;
38
	In16_1 : bool;
39
	In16_2 : bool;
40
	In17_1 : bool;
41
	In17_2 : bool;
42
	In18_1 : bool;
43
	In18_2 : bool;)
44
returns(Out1_1 : real;
45
	Out1_2 : real;
46
	Out2_1 : real;
47
	Out2_2 : real;
48
	Out3_1 : bool;
49
	Out3_2 : bool;
50
	Out4_1 : int;
51
	Out4_2 : int;
52
	Out5_1 : int;
53
	Out5_2 : int;
54
	Out6_1 : int;
55
	Out6_2 : int;
56
	Out7_1 : bool;
57
	Out7_2 : bool;
58
	Out8_1 : bool;
59
	Out8_2 : bool;
60
	Out9_1 : bool;
61
	Out9_2 : bool;
62
	Out10_1 : real;
63
	Out10_2 : real;
64
	Out11_1 : real;
65
	Out11_2 : real;
66
	Out12_1 : bool;
67
	Out12_2 : bool;
68
	Out13_1 : int;
69
	Out13_2 : int;
70
	Out14_1 : int;
71
	Out14_2 : int;
72
	Out15_1 : int;
73
	Out15_2 : int;
74
	Out16_1 : bool;
75
	Out16_2 : bool;
76
	Out17_1 : bool;
77
	Out17_2 : bool;
78
	Out18_1 : bool;
79
	Out18_2 : bool;);
80
var UnitDelay_1 : real;
81
	UnitDelay_2 : real;
82
	UnitDelay1_1 : real;
83
	UnitDelay1_2 : real;
84
	UnitDelay10_1 : real;
85
	UnitDelay10_2 : real;
86
	UnitDelay11_1 : bool;
87
	UnitDelay11_2 : bool;
88
	UnitDelay12_1 : int;
89
	UnitDelay12_2 : int;
90
	UnitDelay13_1 : int;
91
	UnitDelay13_2 : int;
92
	UnitDelay14_1 : int;
93
	UnitDelay14_2 : int;
94
	UnitDelay15_1 : bool;
95
	UnitDelay15_2 : bool;
96
	UnitDelay16_1 : bool;
97
	UnitDelay16_2 : bool;
98
	UnitDelay17_1 : bool;
99
	UnitDelay17_2 : bool;
100
	UnitDelay2_1 : bool;
101
	UnitDelay2_2 : bool;
102
	UnitDelay3_1 : int;
103
	UnitDelay3_2 : int;
104
	UnitDelay4_1 : int;
105
	UnitDelay4_2 : int;
106
	UnitDelay5_1 : int;
107
	UnitDelay5_2 : int;
108
	UnitDelay6_1 : bool;
109
	UnitDelay6_2 : bool;
110
	UnitDelay7_1 : bool;
111
	UnitDelay7_2 : bool;
112
	UnitDelay8_1 : bool;
113
	UnitDelay8_2 : bool;
114
	UnitDelay9_1 : real;
115
	UnitDelay9_2 : real;
116
	__time_step : real;
117
	__nb_step : int;
118
let
119
	UnitDelay_1 = (0.000000000000000 -> (pre In1_1));
120
	UnitDelay_2 = (0.000000000000000 -> (pre In1_2));
121
	UnitDelay1_1 = (0.000000000000000 -> (pre In2_1));
122
	UnitDelay1_2 = (0.000000000000000 -> (pre In2_2));
123
	UnitDelay10_1 = (0.000000000000000 -> (pre In11_1));
124
	UnitDelay10_2 = (2.000000000000000 -> (pre In11_2));
125
	UnitDelay11_1 = (true -> (pre In12_1));
126
	UnitDelay11_2 = (false -> (pre In12_2));
127
	UnitDelay12_1 = (0 -> (pre In13_1));
128
	UnitDelay12_2 = (2 -> (pre In13_2));
129
	UnitDelay13_1 = (0 -> (pre In14_1));
130
	UnitDelay13_2 = (2 -> (pre In14_2));
131
	UnitDelay14_1 = (0 -> (pre In15_1));
132
	UnitDelay14_2 = (1 -> (pre In15_2));
133
	UnitDelay15_1 = (false -> (pre In16_1));
134
	UnitDelay15_2 = (true -> (pre In16_2));
135
	UnitDelay16_1 = (false -> (pre In17_1));
136
	UnitDelay16_2 = (true -> (pre In17_2));
137
	UnitDelay17_1 = (false -> (pre In18_1));
138
	UnitDelay17_2 = (true -> (pre In18_2));
139
	UnitDelay2_1 = (true -> (pre In3_1));
140
	UnitDelay2_2 = (true -> (pre In3_2));
141
	UnitDelay3_1 = (0 -> (pre In4_1));
142
	UnitDelay3_2 = (0 -> (pre In4_2));
143
	UnitDelay4_1 = (0 -> (pre In5_1));
144
	UnitDelay4_2 = (0 -> (pre In5_2));
145
	UnitDelay5_1 = (1 -> (pre In6_1));
146
	UnitDelay5_2 = (1 -> (pre In6_2));
147
	UnitDelay6_1 = (false -> (pre In7_1));
148
	UnitDelay6_2 = (false -> (pre In7_2));
149
	UnitDelay7_1 = (false -> (pre In8_1));
150
	UnitDelay7_2 = (false -> (pre In8_2));
151
	UnitDelay8_1 = (true -> (pre In9_1));
152
	UnitDelay8_2 = (true -> (pre In9_2));
153
	UnitDelay9_1 = (0.000000000000000 -> (pre In10_1));
154
	UnitDelay9_2 = (2.000000000000000 -> (pre In10_2));
155
	Out1_1 = UnitDelay_1;
156
	Out1_2 = UnitDelay_2;
157
	Out2_1 = UnitDelay1_1;
158
	Out2_2 = UnitDelay1_2;
159
	Out3_1 = UnitDelay2_1;
160
	Out3_2 = UnitDelay2_2;
161
	Out4_1 = UnitDelay3_1;
162
	Out4_2 = UnitDelay3_2;
163
	Out5_1 = UnitDelay4_1;
164
	Out5_2 = UnitDelay4_2;
165
	Out6_1 = UnitDelay5_1;
166
	Out6_2 = UnitDelay5_2;
167
	Out7_1 = UnitDelay6_1;
168
	Out7_2 = UnitDelay6_2;
169
	Out8_1 = UnitDelay7_1;
170
	Out8_2 = UnitDelay7_2;
171
	Out9_1 = UnitDelay8_1;
172
	Out9_2 = UnitDelay8_2;
173
	Out10_1 = UnitDelay9_1;
174
	Out10_2 = UnitDelay9_2;
175
	Out11_1 = UnitDelay10_1;
176
	Out11_2 = UnitDelay10_2;
177
	Out12_1 = UnitDelay11_1;
178
	Out12_2 = UnitDelay11_2;
179
	Out13_1 = UnitDelay12_1;
180
	Out13_2 = UnitDelay12_2;
181
	Out14_1 = UnitDelay13_1;
182
	Out14_2 = UnitDelay13_2;
183
	Out15_1 = UnitDelay14_1;
184
	Out15_2 = UnitDelay14_2;
185
	Out16_1 = UnitDelay15_1;
186
	Out16_2 = UnitDelay15_2;
187
	Out17_1 = UnitDelay16_1;
188
	Out17_2 = UnitDelay16_2;
189
	Out18_1 = UnitDelay17_1;
190
	Out18_2 = UnitDelay17_2;
191
	__time_step = (0.0 -> ((pre __time_step) + 1.000000000000000));
192
	__nb_step = (0 -> ((pre __nb_step) + 1));
193
tel
194

    
(1153-1153/1153)