Project

General

Profile

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

    
(211-211/1153)