Project

General

Profile

Download (8.47 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:29:22
5
(*
6
Original block name: DelayBus_PP
7
*)
8
node  DelayBus_PP(_virtual : bool;)
9
returns(Out1_1 : real;
10
	Out1_2 : real;
11
	Out1_3 : real;
12
	Out2_1 : real;
13
	Out2_2 : real;
14
	Out2_3 : real;);
15
var BusCreator1_1_BusElem1 : real;
16
	BusCreator1_1_BusElem2 : real;
17
	BusCreator1_1_BusElem3 : real;
18
	BusCreator1_1_BusElem4 : real;
19
	BusCreator1_1_BusElem5 : real;
20
	BusCreator1_1_BusElem6 : real;
21
	BusCreator1_1_BusElem7 : real;
22
	BusCreator1_1_BusElem8 : real;
23
	BusCreator1_1_BusElem9 : real;
24
	BusCreator1_1_BusElem10 : real;
25
	BusCreator1_1_BusElem11 : real;
26
	BusCreator1_1_BusElem12 : real;
27
	BusCreator1_1_BusElem13 : real;
28
	BusCreator1_1_BusElem14 : real;
29
	BusCreator1_1_BusElem15 : real;
30
	BusCreator1_1_BusElem16 : real;
31
	BusCreator1_1_BusElem17 : int;
32
	BusCreator1_1_BusElem18 : int;
33
	BusCreator1_1_BusElem19 : int;
34
	BusCreator1_1_BusElem20 : int;
35
	BusCreator1_1_BusElem21 : int;
36
	BusCreator1_1_BusElem22 : int;
37
	BusCreator1_1_BusElem23 : int;
38
	BusCreator1_1_BusElem24 : int;
39
	BusCreator1_1_BusElem25 : int;
40
	BusCreator1_1_BusElem26 : int;
41
	BusCreator1_1_BusElem27 : int;
42
	BusCreator1_1_BusElem28 : int;
43
	BusCreator1_1_BusElem29 : int;
44
	BusCreator1_1_BusElem30 : int;
45
	BusCreator1_1_BusElem31 : int;
46
	BusCreator1_1_BusElem32 : int;
47
	BusCreator1_1_BusElem33 : int;
48
	BusSelector_1 : real;
49
	BusSelector_2 : real;
50
	BusSelector_3 : real;
51
	BusSelector_4 : real;
52
	BusSelector_5 : real;
53
	BusSelector_6 : real;
54
	Constant10_1 : int;
55
	Constant10_2 : int;
56
	Constant10_3 : int;
57
	Constant10_4 : int;
58
	Constant10_5 : int;
59
	Constant10_6 : int;
60
	Constant10_7 : int;
61
	Constant10_8 : int;
62
	Constant11_1 : real;
63
	Constant11_2 : real;
64
	Constant11_3 : real;
65
	Constant12_1 : int;
66
	Constant13_1 : real;
67
	Constant13_2 : real;
68
	Constant13_3 : real;
69
	Constant13_4 : real;
70
	Constant14_1 : int;
71
	Constant14_2 : int;
72
	Constant14_3 : int;
73
	Constant15_1 : real;
74
	Constant15_2 : real;
75
	Constant15_3 : real;
76
	Constant16_1 : int;
77
	Constant17_1 : int;
78
	Constant18_1 : int;
79
	Constant6_1 : int;
80
	Constant7_1 : int;
81
	Constant8_1 : real;
82
	Constant8_2 : real;
83
	Constant8_3 : real;
84
	Constant9_1 : real;
85
	Constant9_2 : real;
86
	Constant9_3 : real;
87
	Delay_1_BusElem1 : real;
88
	Delay_1_BusElem2 : real;
89
	Delay_1_BusElem3 : real;
90
	Delay_1_BusElem4 : real;
91
	Delay_1_BusElem5 : real;
92
	Delay_1_BusElem6 : real;
93
	Delay_1_BusElem7 : real;
94
	Delay_1_BusElem8 : real;
95
	Delay_1_BusElem9 : real;
96
	Delay_1_BusElem10 : real;
97
	Delay_1_BusElem11 : real;
98
	Delay_1_BusElem12 : real;
99
	Delay_1_BusElem13 : real;
100
	Delay_1_BusElem14 : real;
101
	Delay_1_BusElem15 : real;
102
	Delay_1_BusElem16 : real;
103
	Delay_1_BusElem17 : int;
104
	Delay_1_BusElem18 : int;
105
	Delay_1_BusElem19 : int;
106
	Delay_1_BusElem20 : int;
107
	Delay_1_BusElem21 : int;
108
	Delay_1_BusElem22 : int;
109
	Delay_1_BusElem23 : int;
110
	Delay_1_BusElem24 : int;
111
	Delay_1_BusElem25 : int;
112
	Delay_1_BusElem26 : int;
113
	Delay_1_BusElem27 : int;
114
	Delay_1_BusElem28 : int;
115
	Delay_1_BusElem29 : int;
116
	Delay_1_BusElem30 : int;
117
	Delay_1_BusElem31 : int;
118
	Delay_1_BusElem32 : int;
119
	Delay_1_BusElem33 : int;
120
	__time_step : real;
121
	__nb_step : int;
122
let
123
	BusCreator1_1_BusElem1 = Constant13_1;
124
	BusCreator1_1_BusElem2 = Constant13_2;
125
	BusCreator1_1_BusElem3 = Constant13_3;
126
	BusCreator1_1_BusElem4 = Constant13_4;
127
	BusCreator1_1_BusElem5 = Constant8_1;
128
	BusCreator1_1_BusElem6 = Constant8_2;
129
	BusCreator1_1_BusElem7 = Constant8_3;
130
	BusCreator1_1_BusElem8 = Constant9_1;
131
	BusCreator1_1_BusElem9 = Constant9_2;
132
	BusCreator1_1_BusElem10 = Constant9_3;
133
	BusCreator1_1_BusElem11 = Constant15_1;
134
	BusCreator1_1_BusElem12 = Constant15_2;
135
	BusCreator1_1_BusElem13 = Constant15_3;
136
	BusCreator1_1_BusElem14 = Constant11_1;
137
	BusCreator1_1_BusElem15 = Constant11_2;
138
	BusCreator1_1_BusElem16 = Constant11_3;
139
	BusCreator1_1_BusElem17 = Constant18_1;
140
	BusCreator1_1_BusElem18 = Constant10_1;
141
	BusCreator1_1_BusElem19 = Constant10_2;
142
	BusCreator1_1_BusElem20 = Constant10_3;
143
	BusCreator1_1_BusElem21 = Constant10_4;
144
	BusCreator1_1_BusElem22 = Constant10_5;
145
	BusCreator1_1_BusElem23 = Constant10_6;
146
	BusCreator1_1_BusElem24 = Constant10_7;
147
	BusCreator1_1_BusElem25 = Constant10_8;
148
	BusCreator1_1_BusElem26 = Constant16_1;
149
	BusCreator1_1_BusElem27 = Constant17_1;
150
	BusCreator1_1_BusElem28 = Constant6_1;
151
	BusCreator1_1_BusElem29 = Constant7_1;
152
	BusCreator1_1_BusElem30 = Constant14_1;
153
	BusCreator1_1_BusElem31 = Constant14_2;
154
	BusCreator1_1_BusElem32 = Constant14_3;
155
	BusCreator1_1_BusElem33 = Constant12_1;
156
	BusSelector_1 = Delay_1_BusElem5;
157
	BusSelector_2 = Delay_1_BusElem6;
158
	BusSelector_3 = Delay_1_BusElem7;
159
	BusSelector_4 = Delay_1_BusElem11;
160
	BusSelector_5 = Delay_1_BusElem12;
161
	BusSelector_6 = Delay_1_BusElem13;
162
	Constant10_1 = 0;
163
	Constant10_2 = 0;
164
	Constant10_3 = 0;
165
	Constant10_4 = 0;
166
	Constant10_5 = 0;
167
	Constant10_6 = 0;
168
	Constant10_7 = 0;
169
	Constant10_8 = 0;
170
	Constant11_1 = 0.000000000000000;
171
	Constant11_2 = 0.000000000000000;
172
	Constant11_3 = 0.000000000000000;
173
	Constant12_1 = 0;
174
	Constant13_1 = 0.000000000000000;
175
	Constant13_2 = 0.000000000000000;
176
	Constant13_3 = 0.000000000000000;
177
	Constant13_4 = 1.000000000000000;
178
	Constant14_1 = 0;
179
	Constant14_2 = 0;
180
	Constant14_3 = 0;
181
	Constant15_1 = 0.000000000000000;
182
	Constant15_2 = 0.000000000000000;
183
	Constant15_3 = 0.000000000000000;
184
	Constant16_1 = 0;
185
	Constant17_1 = 3;
186
	Constant18_1 = 0;
187
	Constant6_1 = 1;
188
	Constant7_1 = 1;
189
	Constant8_1 = -1.000000000000000;
190
	Constant8_2 = 0.000000000000000;
191
	Constant8_3 = 0.000000000000000;
192
	Constant9_1 = -0.003500000000000;
193
	Constant9_2 = 0.000000000000000;
194
	Constant9_3 = 0.000000000000000;
195
	Delay_1_BusElem1 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem1))));
196
	Delay_1_BusElem2 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem2))));
197
	Delay_1_BusElem3 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem3))));
198
	Delay_1_BusElem4 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem4))));
199
	Delay_1_BusElem5 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem5))));
200
	Delay_1_BusElem6 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem6))));
201
	Delay_1_BusElem7 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem7))));
202
	Delay_1_BusElem8 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem8))));
203
	Delay_1_BusElem9 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem9))));
204
	Delay_1_BusElem10 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem10))));
205
	Delay_1_BusElem11 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem11))));
206
	Delay_1_BusElem12 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem12))));
207
	Delay_1_BusElem13 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem13))));
208
	Delay_1_BusElem14 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem14))));
209
	Delay_1_BusElem15 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem15))));
210
	Delay_1_BusElem16 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre BusCreator1_1_BusElem16))));
211
	Delay_1_BusElem17 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem17))));
212
	Delay_1_BusElem18 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem18))));
213
	Delay_1_BusElem19 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem19))));
214
	Delay_1_BusElem20 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem20))));
215
	Delay_1_BusElem21 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem21))));
216
	Delay_1_BusElem22 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem22))));
217
	Delay_1_BusElem23 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem23))));
218
	Delay_1_BusElem24 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem24))));
219
	Delay_1_BusElem25 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem25))));
220
	Delay_1_BusElem26 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem26))));
221
	Delay_1_BusElem27 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem27))));
222
	Delay_1_BusElem28 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem28))));
223
	Delay_1_BusElem29 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem29))));
224
	Delay_1_BusElem30 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem30))));
225
	Delay_1_BusElem31 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem31))));
226
	Delay_1_BusElem32 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem32))));
227
	Delay_1_BusElem33 = (0 -> (pre (0 -> (pre BusCreator1_1_BusElem33))));
228
	Out1_1 = BusSelector_1;
229
	Out1_2 = BusSelector_2;
230
	Out1_3 = BusSelector_3;
231
	Out2_1 = BusSelector_4;
232
	Out2_2 = BusSelector_5;
233
	Out2_3 = BusSelector_6;
234
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
235
	__nb_step = (0 -> ((pre __nb_step) + 1));
236
tel
237

    
(421-421/1153)