Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_comparetoconstant_test / comparetoconstant_test.lus @ 6c3ea955

History | View | Annotate | Download (7.28 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node comparetoconstant_test (In2_1_1 : real; In3_1_1 : int; In4_1_1 : bool; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In6_1_1 : int; In6_1_2 : int; In6_1_3 : int; In7_1_1 : bool; In7_1_2 : bool; In7_1_3 : bool; In8_1_1 : real; In8_1_2 : real; In8_1_3 : real; In8_1_4 : real; In8_1_5 : real; In8_1_6 : real; In9_1_1 : int; In9_1_2 : int; In9_1_3 : int; In9_1_4 : int; In9_1_5 : int; In9_1_6 : int; In10_1_1 : bool; In10_1_2 : bool; In10_1_3 : bool; In10_1_4 : bool; In10_1_5 : bool; In10_1_6 : bool; In12_1_1 : real; In12_1_2 : real; In12_1_3 : real; In13_1_1 : real; In13_1_2 : real; In13_1_3 : real; In13_1_4 : real; In13_1_5 : real; In13_1_6 : real; In1_1_1 : real; In11_1_1 : real)
6
returns (Out2_1_1 : bool;
7
	Out3_2_1 : bool;
8
	Out4_3_1 : bool;
9
	Out5_4_1 : bool; Out5_4_2 : bool; Out5_4_3 : bool;
10
	Out6_5_1 : bool; Out6_5_2 : bool; Out6_5_3 : bool;
11
	Out7_6_1 : bool; Out7_6_2 : bool; Out7_6_3 : bool;
12
	Out8_7_1 : bool; Out8_7_2 : bool; Out8_7_3 : bool; Out8_7_4 : bool; Out8_7_5 : bool; Out8_7_6 : bool;
13
	Out9_8_1 : bool; Out9_8_2 : bool; Out9_8_3 : bool; Out9_8_4 : bool; Out9_8_5 : bool; Out9_8_6 : bool;
14
	Out10_9_1 : bool; Out10_9_2 : bool; Out10_9_3 : bool; Out10_9_4 : bool; Out10_9_5 : bool; Out10_9_6 : bool;
15
	Out12_10_1 : bool; Out12_10_2 : bool; Out12_10_3 : bool;
16
	Out13_11_1 : bool; Out13_11_2 : bool; Out13_11_3 : bool; Out13_11_4 : bool; Out13_11_5 : bool; Out13_11_6 : bool;
17
	Out1_12_1 : bool; Out1_12_2 : bool; Out1_12_3 : bool;
18
	Out11_13_1 : bool; Out11_13_2 : bool; Out11_13_3 : bool; Out11_13_4 : bool; Out11_13_5 : bool; Out11_13_6 : bool); 
19
var
20
	CompareToConstant_1_1 : bool;
21
	CompareToConstant1_1_1 : bool;
22
	CompareToConstant10_1_1 : bool; CompareToConstant10_1_2 : bool; CompareToConstant10_1_3 : bool; CompareToConstant10_1_4 : bool; CompareToConstant10_1_5 : bool; CompareToConstant10_1_6 : bool;
23
	CompareToConstant11_1_1 : bool; CompareToConstant11_1_2 : bool; CompareToConstant11_1_3 : bool;
24
	CompareToConstant12_1_1 : bool; CompareToConstant12_1_2 : bool; CompareToConstant12_1_3 : bool; CompareToConstant12_1_4 : bool; CompareToConstant12_1_5 : bool; CompareToConstant12_1_6 : bool;
25
	CompareToConstant2_1_1 : bool;
26
	CompareToConstant3_1_1 : bool; CompareToConstant3_1_2 : bool; CompareToConstant3_1_3 : bool;
27
	CompareToConstant4_1_1 : bool; CompareToConstant4_1_2 : bool; CompareToConstant4_1_3 : bool;
28
	CompareToConstant5_1_1 : bool; CompareToConstant5_1_2 : bool; CompareToConstant5_1_3 : bool;
29
	CompareToConstant6_1_1 : bool; CompareToConstant6_1_2 : bool; CompareToConstant6_1_3 : bool; CompareToConstant6_1_4 : bool; CompareToConstant6_1_5 : bool; CompareToConstant6_1_6 : bool;
30
	CompareToConstant7_1_1 : bool; CompareToConstant7_1_2 : bool; CompareToConstant7_1_3 : bool; CompareToConstant7_1_4 : bool; CompareToConstant7_1_5 : bool; CompareToConstant7_1_6 : bool;
31
	CompareToConstant8_1_1 : bool; CompareToConstant8_1_2 : bool; CompareToConstant8_1_3 : bool; CompareToConstant8_1_4 : bool; CompareToConstant8_1_5 : bool; CompareToConstant8_1_6 : bool;
32
	CompareToConstant9_1_1 : bool; CompareToConstant9_1_2 : bool; CompareToConstant9_1_3 : bool;
33
	i_virtual_local : real;
34
let 
35
	CompareToConstant_1_1 = In2_1_1 = 3.00000000;
36
	CompareToConstant1_1_1 = not(In3_1_1 = 3);
37
	CompareToConstant10_1_1 = In11_1_1 >= 2.00000000;
38
	CompareToConstant10_1_2 = In11_1_1 >= 4.00000000;
39
	CompareToConstant10_1_3 = In11_1_1 >= 6.00000000;
40
	CompareToConstant10_1_4 = In11_1_1 >= 2.00000000;
41
	CompareToConstant10_1_5 = In11_1_1 >= 4.00000000;
42
	CompareToConstant10_1_6 = In11_1_1 >= 6.00000000;
43
	CompareToConstant11_1_1 = In12_1_1 < 2.00000000;
44
	CompareToConstant11_1_2 = In12_1_2 < 4.00000000;
45
	CompareToConstant11_1_3 = In12_1_3 < 6.00000000;
46
	CompareToConstant12_1_1 = In13_1_1 <= 2.00000000;
47
	CompareToConstant12_1_2 = In13_1_2 <= 4.00000000;
48
	CompareToConstant12_1_3 = In13_1_3 <= 6.00000000;
49
	CompareToConstant12_1_4 = In13_1_4 <= 4.00000000;
50
	CompareToConstant12_1_5 = In13_1_5 <= 6.00000000;
51
	CompareToConstant12_1_6 = In13_1_6 <= 8.00000000;
52
	CompareToConstant2_1_1 = (if In4_1_1 then 1.0 else 0.0) < 1.0;
53
	CompareToConstant3_1_1 = In5_1_1 > 3.00000000;
54
	CompareToConstant3_1_2 = In5_1_2 > 3.00000000;
55
	CompareToConstant3_1_3 = In5_1_3 > 3.00000000;
56
	CompareToConstant4_1_1 = In6_1_1 = 3;
57
	CompareToConstant4_1_2 = In6_1_2 = 3;
58
	CompareToConstant4_1_3 = In6_1_3 = 3;
59
	CompareToConstant5_1_1 = not((if In7_1_1 then 1.0 else 0.0) = 1.0);
60
	CompareToConstant5_1_2 = not((if In7_1_2 then 1.0 else 0.0) = 1.0);
61
	CompareToConstant5_1_3 = not((if In7_1_3 then 1.0 else 0.0) = 1.0);
62
	CompareToConstant6_1_1 = In8_1_1 <= 3.00000000;
63
	CompareToConstant6_1_2 = In8_1_2 <= 3.00000000;
64
	CompareToConstant6_1_3 = In8_1_3 <= 3.00000000;
65
	CompareToConstant6_1_4 = In8_1_4 <= 3.00000000;
66
	CompareToConstant6_1_5 = In8_1_5 <= 3.00000000;
67
	CompareToConstant6_1_6 = In8_1_6 <= 3.00000000;
68
	CompareToConstant7_1_1 = In9_1_1 >= 3;
69
	CompareToConstant7_1_2 = In9_1_2 >= 3;
70
	CompareToConstant7_1_3 = In9_1_3 >= 3;
71
	CompareToConstant7_1_4 = In9_1_4 >= 3;
72
	CompareToConstant7_1_5 = In9_1_5 >= 3;
73
	CompareToConstant7_1_6 = In9_1_6 >= 3;
74
	CompareToConstant8_1_1 = (if In10_1_1 then 1.0 else 0.0) > 1.0;
75
	CompareToConstant8_1_2 = (if In10_1_2 then 1.0 else 0.0) > 1.0;
76
	CompareToConstant8_1_3 = (if In10_1_3 then 1.0 else 0.0) > 1.0;
77
	CompareToConstant8_1_4 = (if In10_1_4 then 1.0 else 0.0) > 1.0;
78
	CompareToConstant8_1_5 = (if In10_1_5 then 1.0 else 0.0) > 1.0;
79
	CompareToConstant8_1_6 = (if In10_1_6 then 1.0 else 0.0) > 1.0;
80
	CompareToConstant9_1_1 = In1_1_1 <= 2.00000000;
81
	CompareToConstant9_1_2 = In1_1_1 <= 4.00000000;
82
	CompareToConstant9_1_3 = In1_1_1 <= 6.00000000;
83
	Out2_1_1 = CompareToConstant_1_1;
84
	Out3_2_1 = CompareToConstant1_1_1;
85
	Out4_3_1 = CompareToConstant2_1_1;
86
	Out5_4_1 = CompareToConstant3_1_1;
87
	Out5_4_2 = CompareToConstant3_1_2;
88
	Out5_4_3 = CompareToConstant3_1_3;
89
	Out6_5_1 = CompareToConstant4_1_1;
90
	Out6_5_2 = CompareToConstant4_1_2;
91
	Out6_5_3 = CompareToConstant4_1_3;
92
	Out7_6_1 = CompareToConstant5_1_1;
93
	Out7_6_2 = CompareToConstant5_1_2;
94
	Out7_6_3 = CompareToConstant5_1_3;
95
	Out8_7_1 = CompareToConstant6_1_1;
96
	Out8_7_2 = CompareToConstant6_1_2;
97
	Out8_7_3 = CompareToConstant6_1_3;
98
	Out8_7_4 = CompareToConstant6_1_4;
99
	Out8_7_5 = CompareToConstant6_1_5;
100
	Out8_7_6 = CompareToConstant6_1_6;
101
	Out9_8_1 = CompareToConstant7_1_1;
102
	Out9_8_2 = CompareToConstant7_1_2;
103
	Out9_8_3 = CompareToConstant7_1_3;
104
	Out9_8_4 = CompareToConstant7_1_4;
105
	Out9_8_5 = CompareToConstant7_1_5;
106
	Out9_8_6 = CompareToConstant7_1_6;
107
	Out10_9_1 = CompareToConstant8_1_1;
108
	Out10_9_2 = CompareToConstant8_1_2;
109
	Out10_9_3 = CompareToConstant8_1_3;
110
	Out10_9_4 = CompareToConstant8_1_4;
111
	Out10_9_5 = CompareToConstant8_1_5;
112
	Out10_9_6 = CompareToConstant8_1_6;
113
	Out12_10_1 = CompareToConstant11_1_1;
114
	Out12_10_2 = CompareToConstant11_1_2;
115
	Out12_10_3 = CompareToConstant11_1_3;
116
	Out13_11_1 = CompareToConstant12_1_1;
117
	Out13_11_2 = CompareToConstant12_1_2;
118
	Out13_11_3 = CompareToConstant12_1_3;
119
	Out13_11_4 = CompareToConstant12_1_4;
120
	Out13_11_5 = CompareToConstant12_1_5;
121
	Out13_11_6 = CompareToConstant12_1_6;
122
	Out1_12_1 = CompareToConstant9_1_1;
123
	Out1_12_2 = CompareToConstant9_1_2;
124
	Out1_12_3 = CompareToConstant9_1_3;
125
	Out11_13_1 = CompareToConstant10_1_1;
126
	Out11_13_2 = CompareToConstant10_1_2;
127
	Out11_13_3 = CompareToConstant10_1_3;
128
	Out11_13_4 = CompareToConstant10_1_4;
129
	Out11_13_5 = CompareToConstant10_1_5;
130
	Out11_13_6 = CompareToConstant10_1_6;
131
	i_virtual_local= 0.0 -> 1.0;
132
tel
133