Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.42 KB)

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

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:10:01
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
node  bool_to_real(x : bool;)
14
returns(y : real;);
15
let
16
	y = if x then
17
		1.0
18
	    else 0.0;
19
tel
20

    
21
(*
22
Original block name: relop_test_PP
23
*)
24
node  relop_test_PP(In1_1 : real;
25
	In2_1 : real;
26
	In3_1 : int;
27
	In4_1 : int;
28
	In5_1 : bool;
29
	In6_1 : real;
30
	In7_1 : real;
31
	In8_1 : real;
32
	In9_1 : int;
33
	In10_1 : int;
34
	In11_1 : bool;
35
	In12_1 : bool;
36
	In13_1 : real;
37
	In14_1 : real;
38
	In15_1 : int;
39
	In16_1 : int;
40
	In17_1 : bool;
41
	In18_1 : bool;
42
	In19_1 : real;
43
	In20_1 : real;
44
	In21_1 : int;
45
	In22_1 : int;
46
	In23_1 : bool;
47
	In24_1 : bool;
48
	In25_1 : real;
49
	In26_1 : real;
50
	In27_1 : int;
51
	In28_1 : int;
52
	In29_1 : bool;
53
	In30_1 : bool;
54
	In31_1 : real;
55
	In32_1 : real;
56
	In33_1 : int;
57
	In34_1 : int;
58
	In35_1 : bool;
59
	In36_1 : bool;)
60
returns(Out1_1 : bool;
61
	Out2_1 : bool;
62
	Out3_1 : bool;
63
	Out4_1 : bool;
64
	Out5_1 : bool;
65
	Out6_1 : bool;
66
	Out7_1 : bool;
67
	Out8_1 : bool;
68
	Out9_1 : bool;
69
	Out10_1 : bool;
70
	Out11_1 : bool;
71
	Out12_1 : bool;
72
	Out13_1 : bool;
73
	Out14_1 : bool;
74
	Out15_1 : bool;
75
	Out16_1 : bool;
76
	Out17_1 : bool;
77
	Out18_1 : bool;);
78
var RelationalOperator_1 : bool;
79
	RelationalOperator1_1 : bool;
80
	RelationalOperator10_1 : bool;
81
	RelationalOperator11_1 : bool;
82
	RelationalOperator12_1 : bool;
83
	RelationalOperator13_1 : bool;
84
	RelationalOperator14_1 : bool;
85
	RelationalOperator15_1 : bool;
86
	RelationalOperator16_1 : bool;
87
	RelationalOperator17_1 : bool;
88
	RelationalOperator2_1 : bool;
89
	RelationalOperator3_1 : bool;
90
	RelationalOperator4_1 : bool;
91
	RelationalOperator5_1 : bool;
92
	RelationalOperator6_1 : bool;
93
	RelationalOperator7_1 : bool;
94
	RelationalOperator8_1 : bool;
95
	RelationalOperator9_1 : bool;
96
	__time_step : real;
97
	__nb_step : int;
98
let
99
	RelationalOperator_1 = (In1_1 <= In2_1);
100
	RelationalOperator1_1 = (In3_1 <= In4_1);
101
	RelationalOperator10_1 = (In21_1 < In22_1);
102
	RelationalOperator11_1 = (bool_to_int(In23_1) < bool_to_int(In24_1));
103
	RelationalOperator12_1 = (In25_1 >= In26_1);
104
	RelationalOperator13_1 = (In27_1 >= In28_1);
105
	RelationalOperator14_1 = (bool_to_int(In29_1) >= bool_to_int(In30_1));
106
	RelationalOperator15_1 = (In31_1 > In32_1);
107
	RelationalOperator16_1 = (In33_1 > In34_1);
108
	RelationalOperator17_1 = (bool_to_int(In35_1) > bool_to_int(In36_1));
109
	RelationalOperator2_1 = (bool_to_real(In5_1) <= In6_1);
110
	RelationalOperator3_1 = (In7_1 = In8_1);
111
	RelationalOperator4_1 = (In9_1 = In10_1);
112
	RelationalOperator5_1 = (bool_to_int(In11_1) = bool_to_int(In12_1));
113
	RelationalOperator6_1 = (In13_1 <> In14_1);
114
	RelationalOperator7_1 = (In15_1 <> In16_1);
115
	RelationalOperator8_1 = (bool_to_int(In17_1) <> bool_to_int(In18_1));
116
	RelationalOperator9_1 = (In19_1 < In20_1);
117
	Out1_1 = RelationalOperator_1;
118
	Out2_1 = RelationalOperator1_1;
119
	Out3_1 = RelationalOperator2_1;
120
	Out4_1 = RelationalOperator3_1;
121
	Out5_1 = RelationalOperator4_1;
122
	Out6_1 = RelationalOperator5_1;
123
	Out7_1 = RelationalOperator6_1;
124
	Out8_1 = RelationalOperator7_1;
125
	Out9_1 = RelationalOperator8_1;
126
	Out10_1 = RelationalOperator9_1;
127
	Out11_1 = RelationalOperator10_1;
128
	Out12_1 = RelationalOperator11_1;
129
	Out13_1 = RelationalOperator12_1;
130
	Out14_1 = RelationalOperator13_1;
131
	Out15_1 = RelationalOperator14_1;
132
	Out16_1 = RelationalOperator15_1;
133
	Out17_1 = RelationalOperator16_1;
134
	Out18_1 = RelationalOperator17_1;
135
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
136
	__nb_step = (0 -> ((pre __nb_step) + 1));
137
tel
138