Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_logic_test / logic_test.lus @ 6c3ea955

History | View | Annotate | Download (11.4 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node logic_test (In1_1_1 : bool; In4_1_1 : real; In5_1_1 : int; In6_1_1 : real; In6_1_2 : real; In7_1_1 : int; In7_1_2 : int; In7_1_3 : int; In7_1_4 : int; In7_1_5 : int; In7_1_6 : int; In8_1_1 : real; In8_1_2 : real; In9_1_1 : real; In9_1_2 : real; In10_1_1 : int; In10_1_2 : int; In10_1_3 : int; In10_1_4 : int; In10_1_5 : int; In10_1_6 : int; In11_1_1 : int; In11_1_2 : int; In11_1_3 : int; In11_1_4 : int; In11_1_5 : int; In11_1_6 : int; In12_1_1 : real; In12_1_2 : real; In13_1_1 : real; In13_1_2 : real; In14_1_1 : int; In14_1_2 : int; In14_1_3 : int; In14_1_4 : int; In14_1_5 : int; In14_1_6 : int; In15_1_1 : int; In15_1_2 : int; In15_1_3 : int; In15_1_4 : int; In15_1_5 : int; In15_1_6 : int; In16_1_1 : real; In16_1_2 : real; In17_1_1 : real; In17_1_2 : real; In18_1_1 : int; In18_1_2 : int; In18_1_3 : int; In18_1_4 : int; In18_1_5 : int; In18_1_6 : int; In19_1_1 : int; In19_1_2 : int; In19_1_3 : int; In19_1_4 : int; In19_1_5 : int; In19_1_6 : int; In20_1_1 : real; In20_1_2 : real; In21_1_1 : real; In21_1_2 : real; In22_1_1 : int; In22_1_2 : int; In22_1_3 : int; In22_1_4 : int; In22_1_5 : int; In22_1_6 : int; In23_1_1 : int; In23_1_2 : int; In23_1_3 : int; In23_1_4 : int; In23_1_5 : int; In23_1_6 : int; In24_1_1 : real; In24_1_2 : real; In25_1_1 : real; In25_1_2 : real; In26_1_1 : int; In26_1_2 : int; In26_1_3 : int; In26_1_4 : int; In26_1_5 : int; In26_1_6 : int; In27_1_1 : int; In27_1_2 : int; In27_1_3 : int; In27_1_4 : int; In27_1_5 : int; In27_1_6 : int; In2_1_1 : bool; In2_1_2 : bool; In3_1_1 : bool; In3_1_2 : bool; In3_1_3 : bool; In3_1_4 : bool)
6
returns (Out1_1_1 : bool;
7
	Out7_2_1 : bool;
8
	Out8_3_1 : bool;
9
	Out9_4_1 : bool; Out9_4_2 : bool;
10
	Out10_5_1 : bool; Out10_5_2 : bool; Out10_5_3 : bool; Out10_5_4 : bool; Out10_5_5 : bool; Out10_5_6 : bool;
11
	Out11_6_1 : bool; Out11_6_2 : bool;
12
	Out12_7_1 : bool; Out12_7_2 : bool; Out12_7_3 : bool; Out12_7_4 : bool; Out12_7_5 : bool; Out12_7_6 : bool;
13
	Out13_8_1 : bool; Out13_8_2 : bool;
14
	Out14_9_1 : bool; Out14_9_2 : bool; Out14_9_3 : bool; Out14_9_4 : bool; Out14_9_5 : bool; Out14_9_6 : bool;
15
	Out15_10_1 : bool; Out15_10_2 : bool;
16
	Out16_11_1 : bool; Out16_11_2 : bool; Out16_11_3 : bool; Out16_11_4 : bool; Out16_11_5 : bool; Out16_11_6 : bool;
17
	Out17_12_1 : bool; Out17_12_2 : bool;
18
	Out18_13_1 : bool; Out18_13_2 : bool; Out18_13_3 : bool; Out18_13_4 : bool; Out18_13_5 : bool; Out18_13_6 : bool;
19
	Out19_14_1 : bool; Out19_14_2 : bool;
20
	Out20_15_1 : bool; Out20_15_2 : bool; Out20_15_3 : bool; Out20_15_4 : bool; Out20_15_5 : bool; Out20_15_6 : bool;
21
	Out2_16_1 : bool; Out2_16_2 : bool;
22
	Out3_17_1 : bool; Out3_17_2 : bool;
23
	Out4_18_1 : bool; Out4_18_2 : bool; Out4_18_3 : bool; Out4_18_4 : bool;
24
	Out5_19_1 : bool; Out5_19_2 : bool;
25
	Out6_20_1 : bool; Out6_20_2 : bool; Out6_20_3 : bool; Out6_20_4 : bool;
26
	Out21_21_1 : bool; Out21_21_2 : bool; Out21_21_3 : bool; Out21_21_4 : bool); 
27
var
28
	LogicalOperator_1_1 : bool;
29
	LogicalOperator1_1_1 : bool; LogicalOperator1_1_2 : bool;
30
	LogicalOperator10_1_1 : bool; LogicalOperator10_1_2 : bool;
31
	LogicalOperator11_1_1 : bool; LogicalOperator11_1_2 : bool; LogicalOperator11_1_3 : bool; LogicalOperator11_1_4 : bool; LogicalOperator11_1_5 : bool; LogicalOperator11_1_6 : bool;
32
	LogicalOperator12_1_1 : bool; LogicalOperator12_1_2 : bool;
33
	LogicalOperator13_1_1 : bool; LogicalOperator13_1_2 : bool; LogicalOperator13_1_3 : bool; LogicalOperator13_1_4 : bool; LogicalOperator13_1_5 : bool; LogicalOperator13_1_6 : bool;
34
	LogicalOperator14_1_1 : bool; LogicalOperator14_1_2 : bool;
35
	LogicalOperator15_1_1 : bool; LogicalOperator15_1_2 : bool; LogicalOperator15_1_3 : bool; LogicalOperator15_1_4 : bool; LogicalOperator15_1_5 : bool; LogicalOperator15_1_6 : bool;
36
	LogicalOperator16_1_1 : bool; LogicalOperator16_1_2 : bool;
37
	LogicalOperator17_1_1 : bool; LogicalOperator17_1_2 : bool; LogicalOperator17_1_3 : bool; LogicalOperator17_1_4 : bool; LogicalOperator17_1_5 : bool; LogicalOperator17_1_6 : bool;
38
	LogicalOperator18_1_1 : bool; LogicalOperator18_1_2 : bool;
39
	LogicalOperator19_1_1 : bool; LogicalOperator19_1_2 : bool; LogicalOperator19_1_3 : bool; LogicalOperator19_1_4 : bool; LogicalOperator19_1_5 : bool; LogicalOperator19_1_6 : bool;
40
	LogicalOperator2_1_1 : bool; LogicalOperator2_1_2 : bool;
41
	LogicalOperator20_1_1 : bool; LogicalOperator20_1_2 : bool; LogicalOperator20_1_3 : bool; LogicalOperator20_1_4 : bool;
42
	LogicalOperator3_1_1 : bool; LogicalOperator3_1_2 : bool; LogicalOperator3_1_3 : bool; LogicalOperator3_1_4 : bool;
43
	LogicalOperator4_1_1 : bool; LogicalOperator4_1_2 : bool;
44
	LogicalOperator5_1_1 : bool; LogicalOperator5_1_2 : bool; LogicalOperator5_1_3 : bool; LogicalOperator5_1_4 : bool;
45
	LogicalOperator6_1_1 : bool;
46
	LogicalOperator7_1_1 : bool;
47
	LogicalOperator8_1_1 : bool; LogicalOperator8_1_2 : bool;
48
	LogicalOperator9_1_1 : bool; LogicalOperator9_1_2 : bool; LogicalOperator9_1_3 : bool; LogicalOperator9_1_4 : bool; LogicalOperator9_1_5 : bool; LogicalOperator9_1_6 : bool;
49
	i_virtual_local : real;
50
let 
51
	LogicalOperator_1_1 = not In1_1_1;
52
	LogicalOperator1_1_1 = In2_1_1 and In2_1_1 and In2_1_1;
53
	LogicalOperator1_1_2 = In2_1_2 and In2_1_2 and In2_1_2;
54
	LogicalOperator10_1_1 = (In8_1_1 != 0.0) and (In9_1_1 != 0.0);
55
	LogicalOperator10_1_2 = (In8_1_2 != 0.0) and (In9_1_2 != 0.0);
56
	LogicalOperator11_1_1 = (In10_1_1 != 0) and (In11_1_1 != 0);
57
	LogicalOperator11_1_2 = (In10_1_2 != 0) and (In11_1_2 != 0);
58
	LogicalOperator11_1_3 = (In10_1_3 != 0) and (In11_1_3 != 0);
59
	LogicalOperator11_1_4 = (In10_1_4 != 0) and (In11_1_4 != 0);
60
	LogicalOperator11_1_5 = (In10_1_5 != 0) and (In11_1_5 != 0);
61
	LogicalOperator11_1_6 = (In10_1_6 != 0) and (In11_1_6 != 0);
62
	LogicalOperator12_1_1 = (In12_1_1 != 0.0) or (In13_1_1 != 0.0);
63
	LogicalOperator12_1_2 = (In12_1_2 != 0.0) or (In13_1_2 != 0.0);
64
	LogicalOperator13_1_1 = (In14_1_1 != 0) or (In15_1_1 != 0);
65
	LogicalOperator13_1_2 = (In14_1_2 != 0) or (In15_1_2 != 0);
66
	LogicalOperator13_1_3 = (In14_1_3 != 0) or (In15_1_3 != 0);
67
	LogicalOperator13_1_4 = (In14_1_4 != 0) or (In15_1_4 != 0);
68
	LogicalOperator13_1_5 = (In14_1_5 != 0) or (In15_1_5 != 0);
69
	LogicalOperator13_1_6 = (In14_1_6 != 0) or (In15_1_6 != 0);
70
	LogicalOperator14_1_1 = not((In16_1_1 != 0.0) and (In17_1_1 != 0.0));
71
	LogicalOperator14_1_2 = not((In16_1_2 != 0.0) and (In17_1_2 != 0.0));
72
	LogicalOperator15_1_1 = not((In18_1_1 != 0) and (In19_1_1 != 0));
73
	LogicalOperator15_1_2 = not((In18_1_2 != 0) and (In19_1_2 != 0));
74
	LogicalOperator15_1_3 = not((In18_1_3 != 0) and (In19_1_3 != 0));
75
	LogicalOperator15_1_4 = not((In18_1_4 != 0) and (In19_1_4 != 0));
76
	LogicalOperator15_1_5 = not((In18_1_5 != 0) and (In19_1_5 != 0));
77
	LogicalOperator15_1_6 = not((In18_1_6 != 0) and (In19_1_6 != 0));
78
	LogicalOperator16_1_1 = not((In20_1_1 != 0.0) or (In21_1_1 != 0.0));
79
	LogicalOperator16_1_2 = not((In20_1_2 != 0.0) or (In21_1_2 != 0.0));
80
	LogicalOperator17_1_1 = not((In22_1_1 != 0) or (In23_1_1 != 0));
81
	LogicalOperator17_1_2 = not((In22_1_2 != 0) or (In23_1_2 != 0));
82
	LogicalOperator17_1_3 = not((In22_1_3 != 0) or (In23_1_3 != 0));
83
	LogicalOperator17_1_4 = not((In22_1_4 != 0) or (In23_1_4 != 0));
84
	LogicalOperator17_1_5 = not((In22_1_5 != 0) or (In23_1_5 != 0));
85
	LogicalOperator17_1_6 = not((In22_1_6 != 0) or (In23_1_6 != 0));
86
	LogicalOperator18_1_1 = (In24_1_1 != 0.0) xor (In25_1_1 != 0.0);
87
	LogicalOperator18_1_2 = (In24_1_2 != 0.0) xor (In25_1_2 != 0.0);
88
	LogicalOperator19_1_1 = (In26_1_1 != 0) xor (In27_1_1 != 0);
89
	LogicalOperator19_1_2 = (In26_1_2 != 0) xor (In27_1_2 != 0);
90
	LogicalOperator19_1_3 = (In26_1_3 != 0) xor (In27_1_3 != 0);
91
	LogicalOperator19_1_4 = (In26_1_4 != 0) xor (In27_1_4 != 0);
92
	LogicalOperator19_1_5 = (In26_1_5 != 0) xor (In27_1_5 != 0);
93
	LogicalOperator19_1_6 = (In26_1_6 != 0) xor (In27_1_6 != 0);
94
	LogicalOperator2_1_1 = In2_1_1 or In2_1_1 or In2_1_1;
95
	LogicalOperator2_1_2 = In2_1_2 or In2_1_2 or In2_1_2;
96
	LogicalOperator20_1_1 = not(In3_1_1 xor In3_1_1 xor In3_1_1);
97
	LogicalOperator20_1_2 = not(In3_1_2 xor In3_1_2 xor In3_1_2);
98
	LogicalOperator20_1_3 = not(In3_1_3 xor In3_1_3 xor In3_1_3);
99
	LogicalOperator20_1_4 = not(In3_1_4 xor In3_1_4 xor In3_1_4);
100
	LogicalOperator3_1_1 = In3_1_1 xor In3_1_1 xor In3_1_1;
101
	LogicalOperator3_1_2 = In3_1_2 xor In3_1_2 xor In3_1_2;
102
	LogicalOperator3_1_3 = In3_1_3 xor In3_1_3 xor In3_1_3;
103
	LogicalOperator3_1_4 = In3_1_4 xor In3_1_4 xor In3_1_4;
104
	LogicalOperator4_1_1 = not(In2_1_1 and In2_1_1 and In2_1_1);
105
	LogicalOperator4_1_2 = not(In2_1_2 and In2_1_2 and In2_1_2);
106
	LogicalOperator5_1_1 = not(In3_1_1 or In3_1_1 or In3_1_1);
107
	LogicalOperator5_1_2 = not(In3_1_2 or In3_1_2 or In3_1_2);
108
	LogicalOperator5_1_3 = not(In3_1_3 or In3_1_3 or In3_1_3);
109
	LogicalOperator5_1_4 = not(In3_1_4 or In3_1_4 or In3_1_4);
110
	LogicalOperator6_1_1 = not (In4_1_1 != 0.0);
111
	LogicalOperator7_1_1 = not (In5_1_1 != 0);
112
	LogicalOperator8_1_1 = not (In6_1_1 != 0.0);
113
	LogicalOperator8_1_2 = not (In6_1_2 != 0.0);
114
	LogicalOperator9_1_1 = not (In7_1_1 != 0);
115
	LogicalOperator9_1_2 = not (In7_1_2 != 0);
116
	LogicalOperator9_1_3 = not (In7_1_3 != 0);
117
	LogicalOperator9_1_4 = not (In7_1_4 != 0);
118
	LogicalOperator9_1_5 = not (In7_1_5 != 0);
119
	LogicalOperator9_1_6 = not (In7_1_6 != 0);
120
	Out1_1_1 = LogicalOperator_1_1;
121
	Out7_2_1 = LogicalOperator6_1_1;
122
	Out8_3_1 = LogicalOperator7_1_1;
123
	Out9_4_1 = LogicalOperator8_1_1;
124
	Out9_4_2 = LogicalOperator8_1_2;
125
	Out10_5_1 = LogicalOperator9_1_1;
126
	Out10_5_2 = LogicalOperator9_1_2;
127
	Out10_5_3 = LogicalOperator9_1_3;
128
	Out10_5_4 = LogicalOperator9_1_4;
129
	Out10_5_5 = LogicalOperator9_1_5;
130
	Out10_5_6 = LogicalOperator9_1_6;
131
	Out11_6_1 = LogicalOperator10_1_1;
132
	Out11_6_2 = LogicalOperator10_1_2;
133
	Out12_7_1 = LogicalOperator11_1_1;
134
	Out12_7_2 = LogicalOperator11_1_2;
135
	Out12_7_3 = LogicalOperator11_1_3;
136
	Out12_7_4 = LogicalOperator11_1_4;
137
	Out12_7_5 = LogicalOperator11_1_5;
138
	Out12_7_6 = LogicalOperator11_1_6;
139
	Out13_8_1 = LogicalOperator12_1_1;
140
	Out13_8_2 = LogicalOperator12_1_2;
141
	Out14_9_1 = LogicalOperator13_1_1;
142
	Out14_9_2 = LogicalOperator13_1_2;
143
	Out14_9_3 = LogicalOperator13_1_3;
144
	Out14_9_4 = LogicalOperator13_1_4;
145
	Out14_9_5 = LogicalOperator13_1_5;
146
	Out14_9_6 = LogicalOperator13_1_6;
147
	Out15_10_1 = LogicalOperator14_1_1;
148
	Out15_10_2 = LogicalOperator14_1_2;
149
	Out16_11_1 = LogicalOperator15_1_1;
150
	Out16_11_2 = LogicalOperator15_1_2;
151
	Out16_11_3 = LogicalOperator15_1_3;
152
	Out16_11_4 = LogicalOperator15_1_4;
153
	Out16_11_5 = LogicalOperator15_1_5;
154
	Out16_11_6 = LogicalOperator15_1_6;
155
	Out17_12_1 = LogicalOperator16_1_1;
156
	Out17_12_2 = LogicalOperator16_1_2;
157
	Out18_13_1 = LogicalOperator17_1_1;
158
	Out18_13_2 = LogicalOperator17_1_2;
159
	Out18_13_3 = LogicalOperator17_1_3;
160
	Out18_13_4 = LogicalOperator17_1_4;
161
	Out18_13_5 = LogicalOperator17_1_5;
162
	Out18_13_6 = LogicalOperator17_1_6;
163
	Out19_14_1 = LogicalOperator18_1_1;
164
	Out19_14_2 = LogicalOperator18_1_2;
165
	Out20_15_1 = LogicalOperator19_1_1;
166
	Out20_15_2 = LogicalOperator19_1_2;
167
	Out20_15_3 = LogicalOperator19_1_3;
168
	Out20_15_4 = LogicalOperator19_1_4;
169
	Out20_15_5 = LogicalOperator19_1_5;
170
	Out20_15_6 = LogicalOperator19_1_6;
171
	Out2_16_1 = LogicalOperator1_1_1;
172
	Out2_16_2 = LogicalOperator1_1_2;
173
	Out3_17_1 = LogicalOperator2_1_1;
174
	Out3_17_2 = LogicalOperator2_1_2;
175
	Out4_18_1 = LogicalOperator3_1_1;
176
	Out4_18_2 = LogicalOperator3_1_2;
177
	Out4_18_3 = LogicalOperator3_1_3;
178
	Out4_18_4 = LogicalOperator3_1_4;
179
	Out5_19_1 = LogicalOperator4_1_1;
180
	Out5_19_2 = LogicalOperator4_1_2;
181
	Out6_20_1 = LogicalOperator5_1_1;
182
	Out6_20_2 = LogicalOperator5_1_2;
183
	Out6_20_3 = LogicalOperator5_1_3;
184
	Out6_20_4 = LogicalOperator5_1_4;
185
	Out21_21_1 = LogicalOperator20_1_1;
186
	Out21_21_2 = LogicalOperator20_1_2;
187
	Out21_21_3 = LogicalOperator20_1_3;
188
	Out21_21_4 = LogicalOperator20_1_4;
189
	i_virtual_local= 0.0 -> 1.0;
190
tel
191