Project

General

Profile

Download (4.48 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:23:02
5
(*
6
Original block name: BusSelector3_PP
7
*)
8
node  BusSelector3_PP(chirp_1 : real;
9
	sine_1 : real;
10
	sine_2 : real;
11
	sine_3 : real;
12
	step_1 : bool;
13
	step_2 : bool;
14
	step_3 : bool;
15
	step_4 : bool;
16
	x4_1 : bool;
17
	x4_2 : bool;
18
	x4_3 : bool;
19
	x4_4 : bool;
20
	x4_5 : bool;
21
	x5_1 : bool;
22
	x5_2 : bool;
23
	x5_3 : bool;
24
	x5_4 : bool;
25
	x5_5 : bool;)
26
returns(Out2_1 : real;
27
	Out2_2 : real;
28
	Out2_3 : real;
29
	Out3_1 : bool;
30
	Out3_2 : bool;
31
	Out3_3 : bool;
32
	Out3_4 : bool;
33
	Out4_1 : real;
34
	Out1_1 : bool;
35
	Out1_2 : bool;
36
	Out1_3 : bool;
37
	Out1_4 : bool;
38
	Out1_5 : bool;
39
	Out5_1 : bool;
40
	Out5_2 : bool;
41
	Out5_3 : bool;
42
	Out5_4 : bool;
43
	Out5_5 : bool;
44
	Out6_1 : real;
45
	Out6_2 : real;
46
	Out6_3 : real;
47
	Out6_4 : real;);
48
var BusCreator_1 : real;
49
	BusCreator_2 : real;
50
	BusCreator_3 : real;
51
	BusCreator_4 : real;
52
	BusCreator1_1 : bool;
53
	BusCreator1_2 : bool;
54
	BusCreator1_3 : bool;
55
	BusCreator1_4 : bool;
56
	BusCreator1_5 : bool;
57
	BusCreator1_6 : real;
58
	BusCreator1_7 : real;
59
	BusCreator1_8 : real;
60
	BusCreator1_9 : real;
61
	BusCreator1_10 : bool;
62
	BusCreator1_11 : bool;
63
	BusCreator1_12 : bool;
64
	BusCreator1_13 : bool;
65
	BusCreator2_1 : bool;
66
	BusCreator2_2 : bool;
67
	BusCreator2_3 : bool;
68
	BusCreator2_4 : bool;
69
	BusCreator2_5 : bool;
70
	BusCreator2_6 : bool;
71
	BusCreator2_7 : bool;
72
	BusCreator2_8 : bool;
73
	BusCreator2_9 : bool;
74
	BusCreator2_10 : bool;
75
	BusCreator2_11 : real;
76
	BusCreator2_12 : real;
77
	BusCreator2_13 : real;
78
	BusCreator2_14 : real;
79
	BusCreator2_15 : bool;
80
	BusCreator2_16 : bool;
81
	BusCreator2_17 : bool;
82
	BusCreator2_18 : bool;
83
	BusSelector_1 : real;
84
	BusSelector_2 : real;
85
	BusSelector_3 : real;
86
	BusSelector_4 : bool;
87
	BusSelector_5 : bool;
88
	BusSelector_6 : bool;
89
	BusSelector_7 : bool;
90
	BusSelector_8 : real;
91
	BusSelector_9 : bool;
92
	BusSelector_10 : bool;
93
	BusSelector_11 : bool;
94
	BusSelector_12 : bool;
95
	BusSelector_13 : bool;
96
	BusSelector_14 : bool;
97
	BusSelector_15 : bool;
98
	BusSelector_16 : bool;
99
	BusSelector_17 : bool;
100
	BusSelector_18 : bool;
101
	BusSelector_19 : real;
102
	BusSelector_20 : real;
103
	BusSelector_21 : real;
104
	BusSelector_22 : real;
105
	__time_step : real;
106
	__nb_step : int;
107
let
108
	BusCreator_1 = chirp_1;
109
	BusCreator_2 = sine_1;
110
	BusCreator_3 = sine_2;
111
	BusCreator_4 = sine_3;
112
	BusCreator1_1 = x4_1;
113
	BusCreator1_2 = x4_2;
114
	BusCreator1_3 = x4_3;
115
	BusCreator1_4 = x4_4;
116
	BusCreator1_5 = x4_5;
117
	BusCreator1_6 = BusCreator_1;
118
	BusCreator1_7 = BusCreator_2;
119
	BusCreator1_8 = BusCreator_3;
120
	BusCreator1_9 = BusCreator_4;
121
	BusCreator1_10 = step_1;
122
	BusCreator1_11 = step_2;
123
	BusCreator1_12 = step_3;
124
	BusCreator1_13 = step_4;
125
	BusCreator2_1 = x5_1;
126
	BusCreator2_2 = x5_2;
127
	BusCreator2_3 = x5_3;
128
	BusCreator2_4 = x5_4;
129
	BusCreator2_5 = x5_5;
130
	BusCreator2_6 = BusCreator1_1;
131
	BusCreator2_7 = BusCreator1_2;
132
	BusCreator2_8 = BusCreator1_3;
133
	BusCreator2_9 = BusCreator1_4;
134
	BusCreator2_10 = BusCreator1_5;
135
	BusCreator2_11 = BusCreator1_6;
136
	BusCreator2_12 = BusCreator1_7;
137
	BusCreator2_13 = BusCreator1_8;
138
	BusCreator2_14 = BusCreator1_9;
139
	BusCreator2_15 = BusCreator1_10;
140
	BusCreator2_16 = BusCreator1_11;
141
	BusCreator2_17 = BusCreator1_12;
142
	BusCreator2_18 = BusCreator1_13;
143
	BusSelector_1 = BusCreator2_12;
144
	BusSelector_2 = BusCreator2_13;
145
	BusSelector_3 = BusCreator2_14;
146
	BusSelector_4 = BusCreator2_15;
147
	BusSelector_5 = BusCreator2_16;
148
	BusSelector_6 = BusCreator2_17;
149
	BusSelector_7 = BusCreator2_18;
150
	BusSelector_8 = BusCreator2_11;
151
	BusSelector_9 = BusCreator2_1;
152
	BusSelector_10 = BusCreator2_2;
153
	BusSelector_11 = BusCreator2_3;
154
	BusSelector_12 = BusCreator2_4;
155
	BusSelector_13 = BusCreator2_5;
156
	BusSelector_14 = BusCreator2_6;
157
	BusSelector_15 = BusCreator2_7;
158
	BusSelector_16 = BusCreator2_8;
159
	BusSelector_17 = BusCreator2_9;
160
	BusSelector_18 = BusCreator2_10;
161
	BusSelector_19 = BusCreator2_11;
162
	BusSelector_20 = BusCreator2_12;
163
	BusSelector_21 = BusCreator2_13;
164
	BusSelector_22 = BusCreator2_14;
165
	Out2_1 = BusSelector_1;
166
	Out2_2 = BusSelector_2;
167
	Out2_3 = BusSelector_3;
168
	Out3_1 = BusSelector_4;
169
	Out3_2 = BusSelector_5;
170
	Out3_3 = BusSelector_6;
171
	Out3_4 = BusSelector_7;
172
	Out4_1 = BusSelector_8;
173
	Out1_1 = BusSelector_9;
174
	Out1_2 = BusSelector_10;
175
	Out1_3 = BusSelector_11;
176
	Out1_4 = BusSelector_12;
177
	Out1_5 = BusSelector_13;
178
	Out5_1 = BusSelector_14;
179
	Out5_2 = BusSelector_15;
180
	Out5_3 = BusSelector_16;
181
	Out5_4 = BusSelector_17;
182
	Out5_5 = BusSelector_18;
183
	Out6_1 = BusSelector_19;
184
	Out6_2 = BusSelector_20;
185
	Out6_3 = BusSelector_21;
186
	Out6_4 = BusSelector_22;
187
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
188
	__nb_step = (0 -> ((pre __nb_step) + 1));
189
tel
190

    
(223-223/1153)