Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_if_test / if_test.lus @ 6c3ea955

History | View | Annotate | Download (9.34 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node if_test_IfActionSubsystem8 (In2_1_1 : real; In3_1_1 : bool)
6
returns (Out2_1_1 : bool;
7
	Out3_2_1 : real;
8
	Out4_3_1 : bool); 
9
var
10
	LogicalOperator_1_1 : bool;
11
	RelationalOperator_1_1 : bool;
12
let 
13
	LogicalOperator_1_1 = RelationalOperator_1_1 and In3_1_1;
14
	RelationalOperator_1_1 = In2_1_1 <= In2_1_1;
15
	Out2_1_1 = RelationalOperator_1_1;
16
	Out3_2_1 = In2_1_1;
17
	Out4_3_1 = LogicalOperator_1_1;
18
tel
19

    
20
node if_test_IfActionSubsystem7 (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real; In1_1_4 : real)
21
returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real; Out1_1_4 : real); 
22
let 
23
	Out1_1_1 = In1_1_1;
24
	Out1_1_2 = In1_1_2;
25
	Out1_1_3 = In1_1_3;
26
	Out1_1_4 = In1_1_4;
27
tel
28

    
29
node if_test_IfActionSubsystem6 (In1_1_1 : bool)
30
returns (Out1_1_1 : bool); 
31
let 
32
	Out1_1_1 = In1_1_1;
33
tel
34

    
35
node if_test_IfActionSubsystem5 (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real)
36
returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real); 
37
let 
38
	Out1_1_1 = In1_1_1;
39
	Out1_1_2 = In1_1_2;
40
	Out1_1_3 = In1_1_3;
41
tel
42

    
43
node if_test_IfActionSubsystem4 (In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In3_1_1 : bool)
44
returns (Out2_1_1 : bool; Out2_1_2 : bool; Out2_1_3 : bool;
45
	Out3_2_1 : real; Out3_2_2 : real; Out3_2_3 : real;
46
	Out4_3_1 : bool; Out4_3_2 : bool; Out4_3_3 : bool); 
47
var
48
	LogicalOperator_1_1 : bool; LogicalOperator_1_2 : bool; LogicalOperator_1_3 : bool;
49
	RelationalOperator_1_1 : bool; RelationalOperator_1_2 : bool; RelationalOperator_1_3 : bool;
50
let 
51
	LogicalOperator_1_1 = RelationalOperator_1_1 and In3_1_1;
52
	LogicalOperator_1_2 = RelationalOperator_1_2 and In3_1_1;
53
	LogicalOperator_1_3 = RelationalOperator_1_3 and In3_1_1;
54
	RelationalOperator_1_1 = In2_1_1 <= In2_1_1;
55
	RelationalOperator_1_2 = In2_1_2 <= In2_1_2;
56
	RelationalOperator_1_3 = In2_1_3 <= In2_1_3;
57
	Out2_1_1 = RelationalOperator_1_1;
58
	Out2_1_2 = RelationalOperator_1_2;
59
	Out2_1_3 = RelationalOperator_1_3;
60
	Out3_2_1 = In2_1_1;
61
	Out3_2_2 = In2_1_2;
62
	Out3_2_3 = In2_1_3;
63
	Out4_3_1 = LogicalOperator_1_1;
64
	Out4_3_2 = LogicalOperator_1_2;
65
	Out4_3_3 = LogicalOperator_1_3;
66
tel
67

    
68
node if_test_IfActionSubsystem3 (In1_1_1 : real)
69
returns (Out1_1_1 : real); 
70
let 
71
	Out1_1_1 = In1_1_1;
72
tel
73

    
74
node if_test_IfActionSubsystem2 (In1_1_1 : bool)
75
returns (Out1_1_1 : bool); 
76
let 
77
	Out1_1_1 = In1_1_1;
78
tel
79

    
80
node if_test_IfActionSubsystem11 (In2_1_1 : real; In3_1_1 : bool)
81
returns (Out2_1_1 : bool;
82
	Out3_2_1 : real;
83
	Out4_3_1 : bool); 
84
var
85
	LogicalOperator_1_1 : bool;
86
	RelationalOperator_1_1 : bool;
87
let 
88
	LogicalOperator_1_1 = RelationalOperator_1_1 and In3_1_1;
89
	RelationalOperator_1_1 = In2_1_1 <= In2_1_1;
90
	Out2_1_1 = RelationalOperator_1_1;
91
	Out3_2_1 = In2_1_1;
92
	Out4_3_1 = LogicalOperator_1_1;
93
tel
94

    
95
node if_test_IfActionSubsystem10 (In1_1_1 : bool)
96
returns (Out1_1_1 : bool); 
97
let 
98
	Out1_1_1 = In1_1_1;
99
tel
100

    
101
node if_test_IfActionSubsystem1 (In1_1_1 : real)
102
returns (Out1_1_1 : real); 
103
let 
104
	Out1_1_1 = In1_1_1;
105
tel
106

    
107
node if_test_IfActionSubsystem (In2_1_1 : real; In3_1_1 : bool)
108
returns (Out2_1_1 : bool;
109
	Out3_2_1 : real;
110
	Out4_3_1 : bool); 
111
var
112
	LogicalOperator_1_1 : bool;
113
	RelationalOperator_1_1 : bool;
114
let 
115
	LogicalOperator_1_1 = RelationalOperator_1_1 and In3_1_1;
116
	RelationalOperator_1_1 = In2_1_1 <= In2_1_1;
117
	Out2_1_1 = RelationalOperator_1_1;
118
	Out3_2_1 = In2_1_1;
119
	Out4_3_1 = LogicalOperator_1_1;
120
tel
121

    
122
node if_test (In1_1_1 : real; In7_1_1 : bool; In2_1_1 : real; In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In4_1_1 : bool; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In5_1_4 : real; In6_1_1 : real; In8_1_1 : bool; In9_1_1 : real; In10_1_1 : real; In11_1_1 : bool; In12_1_1 : real)
123
returns (Out1_1_1 : bool;
124
	Out2_2_1 : real;
125
	Out14_3_1 : real;
126
	Out15_4_1 : bool;
127
	Out3_5_1 : bool;
128
	Out4_6_1 : real;
129
	Out5_7_1 : bool; Out5_7_2 : bool; Out5_7_3 : bool;
130
	Out6_8_1 : real; Out6_8_2 : real; Out6_8_3 : real;
131
	Out7_9_1 : real; Out7_9_2 : real; Out7_9_3 : real;
132
	Out8_10_1 : bool; Out8_10_2 : bool; Out8_10_3 : bool;
133
	Out9_11_1 : bool;
134
	Out10_12_1 : real; Out10_12_2 : real; Out10_12_3 : real; Out10_12_4 : real;
135
	Out11_13_1 : bool;
136
	Out13_14_1 : real;
137
	Out16_15_1 : bool;
138
	Out17_16_1 : bool;
139
	Out12_17_1 : bool;
140
	Out18_18_1 : real;
141
	Out19_19_1 : bool); 
142
var
143
	If_1_1 : bool; If_2_1 : bool; If_3_1 : bool; If_4_1 : bool;
144
	IfActionSubsystem_1_1 : bool; IfActionSubsystem_2_1 : real; IfActionSubsystem_3_1 : bool;
145
	IfActionSubsystem1_1_1 : real;
146
	IfActionSubsystem10_1_1 : bool;
147
	IfActionSubsystem11_1_1 : bool; IfActionSubsystem11_2_1 : real; IfActionSubsystem11_3_1 : bool;
148
	IfActionSubsystem2_1_1 : bool;
149
	IfActionSubsystem3_1_1 : real;
150
	IfActionSubsystem4_1_1 : bool; IfActionSubsystem4_1_2 : bool; IfActionSubsystem4_1_3 : bool; IfActionSubsystem4_2_1 : real; IfActionSubsystem4_2_2 : real; IfActionSubsystem4_2_3 : real; IfActionSubsystem4_3_1 : bool; IfActionSubsystem4_3_2 : bool; IfActionSubsystem4_3_3 : bool;
151
	IfActionSubsystem5_1_1 : real; IfActionSubsystem5_1_2 : real; IfActionSubsystem5_1_3 : real;
152
	IfActionSubsystem6_1_1 : bool;
153
	IfActionSubsystem7_1_1 : real; IfActionSubsystem7_1_2 : real; IfActionSubsystem7_1_3 : real; IfActionSubsystem7_1_4 : real;
154
	IfActionSubsystem8_1_1 : bool; IfActionSubsystem8_2_1 : real; IfActionSubsystem8_3_1 : bool;
155
	If1_1_1 : bool; If1_2_1 : bool; If1_3_1 : bool; If1_4_1 : bool;
156
	If2_1_1 : bool; If2_2_1 : bool;
157
	If3_1_1 : bool;
158
	i_virtual_local : real;
159
let 
160
	(If_1_1, If_2_1, If_3_1, If_4_1) = if not (In2_1_1 = 0.0) then (true, false, false, false) else if In2_1_1 < 3.0 then (false, true, false, false) else if (-In2_1_1 > In1_1_1) and In2_1_1 > 0.0 then (false, false, true, false) else (false, false, false, true);
161
	(IfActionSubsystem_1_1, IfActionSubsystem_2_1, IfActionSubsystem_3_1) = if (If_1_1) then if_test_IfActionSubsystem(In1_1_1, In7_1_1) else (pre IfActionSubsystem_1_1, pre IfActionSubsystem_2_1, pre IfActionSubsystem_3_1);
162
	IfActionSubsystem1_1_1 = if (If_4_1) then if_test_IfActionSubsystem1(In1_1_1) else pre IfActionSubsystem1_1_1;
163
	IfActionSubsystem10_1_1 = if (If2_2_1) then if_test_IfActionSubsystem10(In8_1_1) else pre IfActionSubsystem10_1_1;
164
	(IfActionSubsystem11_1_1, IfActionSubsystem11_2_1, IfActionSubsystem11_3_1) = if (If3_1_1) then if_test_IfActionSubsystem11(In10_1_1, In11_1_1) else (pre IfActionSubsystem11_1_1, pre IfActionSubsystem11_2_1, pre IfActionSubsystem11_3_1);
165
	IfActionSubsystem2_1_1 = if (If_2_1) then if_test_IfActionSubsystem2(In7_1_1) else pre IfActionSubsystem2_1_1;
166
	IfActionSubsystem3_1_1 = if (If_3_1) then if_test_IfActionSubsystem3(In2_1_1) else pre IfActionSubsystem3_1_1;
167
	(IfActionSubsystem4_1_1, IfActionSubsystem4_1_2, IfActionSubsystem4_1_3, IfActionSubsystem4_2_1, IfActionSubsystem4_2_2, IfActionSubsystem4_2_3, IfActionSubsystem4_3_1, IfActionSubsystem4_3_2, IfActionSubsystem4_3_3) = if (If1_1_1) then if_test_IfActionSubsystem4(In3_1_1, In3_1_2, In3_1_3, In4_1_1) else (pre IfActionSubsystem4_1_1, pre IfActionSubsystem4_1_2, pre IfActionSubsystem4_1_3, pre IfActionSubsystem4_2_1, pre IfActionSubsystem4_2_2, pre IfActionSubsystem4_2_3, pre IfActionSubsystem4_3_1, pre IfActionSubsystem4_3_2, pre IfActionSubsystem4_3_3);
168
	(IfActionSubsystem5_1_1, IfActionSubsystem5_1_2, IfActionSubsystem5_1_3) = if (If1_4_1) then if_test_IfActionSubsystem5(In3_1_1, In3_1_2, In3_1_3) else (pre IfActionSubsystem5_1_1, pre IfActionSubsystem5_1_2, pre IfActionSubsystem5_1_3);
169
	IfActionSubsystem6_1_1 = if (If1_2_1) then if_test_IfActionSubsystem6(In4_1_1) else pre IfActionSubsystem6_1_1;
170
	(IfActionSubsystem7_1_1, IfActionSubsystem7_1_2, IfActionSubsystem7_1_3, IfActionSubsystem7_1_4) = if (If1_3_1) then if_test_IfActionSubsystem7(In5_1_1, In5_1_2, In5_1_3, In5_1_4) else (pre IfActionSubsystem7_1_1, pre IfActionSubsystem7_1_2, pre IfActionSubsystem7_1_3, pre IfActionSubsystem7_1_4);
171
	(IfActionSubsystem8_1_1, IfActionSubsystem8_2_1, IfActionSubsystem8_3_1) = if (If2_1_1) then if_test_IfActionSubsystem8(In6_1_1, In8_1_1) else (pre IfActionSubsystem8_1_1, pre IfActionSubsystem8_2_1, pre IfActionSubsystem8_3_1);
172
	(If1_1_1, If1_2_1, If1_3_1, If1_4_1) = if In3_1_2 = 0.0 then (true, false, false, false) else if In5_1_2 < 3.0 then (false, true, false, false) else if (-In5_1_1 > In3_1_3) and In5_1_2 > 0.0 then (false, false, true, false) else (false, false, false, true);
173
	(If2_1_1, If2_2_1) = if not (In9_1_1 = 0.0) then (true, false) else if (-In9_1_1 > In6_1_1) or In9_1_1 > 0.0 then (false, true) else (false, false);
174
	If3_1_1 = if not (In12_1_1 = 0.0) then true else (false);
175
	Out1_1_1 = IfActionSubsystem_1_1;
176
	Out2_2_1 = IfActionSubsystem1_1_1;
177
	Out14_3_1 = IfActionSubsystem_2_1;
178
	Out15_4_1 = IfActionSubsystem_3_1;
179
	Out3_5_1 = IfActionSubsystem2_1_1;
180
	Out4_6_1 = IfActionSubsystem3_1_1;
181
	Out5_7_1 = IfActionSubsystem4_1_1;
182
	Out5_7_2 = IfActionSubsystem4_1_2;
183
	Out5_7_3 = IfActionSubsystem4_1_3;
184
	Out6_8_1 = IfActionSubsystem5_1_1;
185
	Out6_8_2 = IfActionSubsystem5_1_2;
186
	Out6_8_3 = IfActionSubsystem5_1_3;
187
	Out7_9_1 = IfActionSubsystem4_2_1;
188
	Out7_9_2 = IfActionSubsystem4_2_2;
189
	Out7_9_3 = IfActionSubsystem4_2_3;
190
	Out8_10_1 = IfActionSubsystem4_3_1;
191
	Out8_10_2 = IfActionSubsystem4_3_2;
192
	Out8_10_3 = IfActionSubsystem4_3_3;
193
	Out9_11_1 = IfActionSubsystem6_1_1;
194
	Out10_12_1 = IfActionSubsystem7_1_1;
195
	Out10_12_2 = IfActionSubsystem7_1_2;
196
	Out10_12_3 = IfActionSubsystem7_1_3;
197
	Out10_12_4 = IfActionSubsystem7_1_4;
198
	Out11_13_1 = IfActionSubsystem8_1_1;
199
	Out13_14_1 = IfActionSubsystem8_2_1;
200
	Out16_15_1 = IfActionSubsystem8_3_1;
201
	Out17_16_1 = IfActionSubsystem10_1_1;
202
	Out12_17_1 = IfActionSubsystem11_1_1;
203
	Out18_18_1 = IfActionSubsystem11_2_1;
204
	Out19_19_1 = IfActionSubsystem11_3_1;
205
	i_virtual_local= 0.0 -> 1.0;
206
tel
207