|
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
|
|