Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (4.59 KB)

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

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:09:51
5
node  bool_to_int(x : bool;)
6
returns(y : int;);
7
let
8
	y = if x then
9
		1
10
	    else 0;
11
tel
12

    
13
(*
14
Original block name: relop_multi_test_PP
15
*)
16
node  relop_multi_test_PP(In1_1 : real;
17
	In1_2 : real;
18
	In1_3 : real;
19
	In2_1 : real;
20
	In2_2 : real;
21
	In2_3 : real;
22
	In3_1 : int;
23
	In3_2 : int;
24
	In3_3 : int;
25
	In4_1 : int;
26
	In5_1 : bool;
27
	In6_1 : bool;
28
	In6_2 : bool;
29
	In6_3 : bool;
30
	In19_1 : real;
31
	In19_2 : real;
32
	In19_3 : real;
33
	In19_4 : real;
34
	In19_5 : real;
35
	In19_6 : real;
36
	In20_1 : real;
37
	In21_1 : int;
38
	In22_1 : int;
39
	In22_2 : int;
40
	In22_3 : int;
41
	In22_4 : int;
42
	In22_5 : int;
43
	In22_6 : int;
44
	In23_1 : bool;
45
	In23_2 : bool;
46
	In23_3 : bool;
47
	In23_4 : bool;
48
	In23_5 : bool;
49
	In23_6 : bool;
50
	In24_1 : bool;
51
	In24_2 : bool;
52
	In24_3 : bool;
53
	In24_4 : bool;
54
	In24_5 : bool;
55
	In24_6 : bool;)
56
returns(Out1_1 : bool;
57
	Out1_2 : bool;
58
	Out1_3 : bool;
59
	Out2_1 : bool;
60
	Out2_2 : bool;
61
	Out2_3 : bool;
62
	Out3_1 : bool;
63
	Out3_2 : bool;
64
	Out3_3 : bool;
65
	Out10_1 : bool;
66
	Out10_2 : bool;
67
	Out10_3 : bool;
68
	Out10_4 : bool;
69
	Out10_5 : bool;
70
	Out10_6 : bool;
71
	Out11_1 : bool;
72
	Out11_2 : bool;
73
	Out11_3 : bool;
74
	Out11_4 : bool;
75
	Out11_5 : bool;
76
	Out11_6 : bool;
77
	Out12_1 : bool;
78
	Out12_2 : bool;
79
	Out12_3 : bool;
80
	Out12_4 : bool;
81
	Out12_5 : bool;
82
	Out12_6 : bool;);
83
var RelationalOperator_1 : bool;
84
	RelationalOperator_2 : bool;
85
	RelationalOperator_3 : bool;
86
	RelationalOperator1_1 : bool;
87
	RelationalOperator1_2 : bool;
88
	RelationalOperator1_3 : bool;
89
	RelationalOperator10_1 : bool;
90
	RelationalOperator10_2 : bool;
91
	RelationalOperator10_3 : bool;
92
	RelationalOperator10_4 : bool;
93
	RelationalOperator10_5 : bool;
94
	RelationalOperator10_6 : bool;
95
	RelationalOperator11_1 : bool;
96
	RelationalOperator11_2 : bool;
97
	RelationalOperator11_3 : bool;
98
	RelationalOperator11_4 : bool;
99
	RelationalOperator11_5 : bool;
100
	RelationalOperator11_6 : bool;
101
	RelationalOperator2_1 : bool;
102
	RelationalOperator2_2 : bool;
103
	RelationalOperator2_3 : bool;
104
	RelationalOperator9_1 : bool;
105
	RelationalOperator9_2 : bool;
106
	RelationalOperator9_3 : bool;
107
	RelationalOperator9_4 : bool;
108
	RelationalOperator9_5 : bool;
109
	RelationalOperator9_6 : bool;
110
	__time_step : real;
111
	__nb_step : int;
112
let
113
	RelationalOperator_1 = (In1_1 <= In2_1);
114
	RelationalOperator_2 = (In1_2 <= In2_2);
115
	RelationalOperator_3 = (In1_3 <= In2_3);
116
	RelationalOperator1_1 = (In3_1 <= In4_1);
117
	RelationalOperator1_2 = (In3_2 <= In4_1);
118
	RelationalOperator1_3 = (In3_3 <= In4_1);
119
	RelationalOperator10_1 = (In21_1 < In22_1);
120
	RelationalOperator10_2 = (In21_1 < In22_2);
121
	RelationalOperator10_3 = (In21_1 < In22_3);
122
	RelationalOperator10_4 = (In21_1 < In22_4);
123
	RelationalOperator10_5 = (In21_1 < In22_5);
124
	RelationalOperator10_6 = (In21_1 < In22_6);
125
	RelationalOperator11_1 = (bool_to_int(In23_1) < bool_to_int(In24_1));
126
	RelationalOperator11_2 = (bool_to_int(In23_2) < bool_to_int(In24_2));
127
	RelationalOperator11_3 = (bool_to_int(In23_3) < bool_to_int(In24_3));
128
	RelationalOperator11_4 = (bool_to_int(In23_4) < bool_to_int(In24_4));
129
	RelationalOperator11_5 = (bool_to_int(In23_5) < bool_to_int(In24_5));
130
	RelationalOperator11_6 = (bool_to_int(In23_6) < bool_to_int(In24_6));
131
	RelationalOperator2_1 = (bool_to_int(In5_1) <= bool_to_int(In6_1));
132
	RelationalOperator2_2 = (bool_to_int(In5_1) <= bool_to_int(In6_2));
133
	RelationalOperator2_3 = (bool_to_int(In5_1) <= bool_to_int(In6_3));
134
	RelationalOperator9_1 = (In19_1 < In20_1);
135
	RelationalOperator9_2 = (In19_2 < In20_1);
136
	RelationalOperator9_3 = (In19_3 < In20_1);
137
	RelationalOperator9_4 = (In19_4 < In20_1);
138
	RelationalOperator9_5 = (In19_5 < In20_1);
139
	RelationalOperator9_6 = (In19_6 < In20_1);
140
	Out1_1 = RelationalOperator_1;
141
	Out1_2 = RelationalOperator_2;
142
	Out1_3 = RelationalOperator_3;
143
	Out2_1 = RelationalOperator1_1;
144
	Out2_2 = RelationalOperator1_2;
145
	Out2_3 = RelationalOperator1_3;
146
	Out3_1 = RelationalOperator2_1;
147
	Out3_2 = RelationalOperator2_2;
148
	Out3_3 = RelationalOperator2_3;
149
	Out10_1 = RelationalOperator9_1;
150
	Out10_2 = RelationalOperator9_2;
151
	Out10_3 = RelationalOperator9_3;
152
	Out10_4 = RelationalOperator9_4;
153
	Out10_5 = RelationalOperator9_5;
154
	Out10_6 = RelationalOperator9_6;
155
	Out11_1 = RelationalOperator10_1;
156
	Out11_2 = RelationalOperator10_2;
157
	Out11_3 = RelationalOperator10_3;
158
	Out11_4 = RelationalOperator10_4;
159
	Out11_5 = RelationalOperator10_5;
160
	Out11_6 = RelationalOperator10_6;
161
	Out12_1 = RelationalOperator11_1;
162
	Out12_2 = RelationalOperator11_2;
163
	Out12_3 = RelationalOperator11_3;
164
	Out12_4 = RelationalOperator11_4;
165
	Out12_5 = RelationalOperator11_5;
166
	Out12_6 = RelationalOperator11_6;
167
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
168
	__nb_step = (0 -> ((pre __nb_step) + 1));
169
tel
170