|
1
|
-- This file has been generated by cocoSim
|
|
2
|
|
|
3
|
|
|
4
|
-- System nodes
|
|
5
|
node subsystem_mask_test_Subsystem (In1_1_1 : real)
|
|
6
|
returns (Out1_1_1 : bool);
|
|
7
|
var
|
|
8
|
DetectChange_1_1 : bool;
|
|
9
|
let
|
|
10
|
DetectChange_1_1 = not (In1_1_1 = (0.00000000 -> pre (In1_1_1)));
|
|
11
|
Out1_1_1 = DetectChange_1_1;
|
|
12
|
tel
|
|
13
|
|
|
14
|
node subsystem_mask_test (In1_1_1 : real)
|
|
15
|
returns (Out4_1_1 : bool);
|
|
16
|
var
|
|
17
|
Subsystem_1_1 : bool;
|
|
18
|
i_virtual_local : real;
|
|
19
|
let
|
|
20
|
Subsystem_1_1 = subsystem_mask_test_Subsystem(In1_1_1);
|
|
21
|
Out4_1_1 = Subsystem_1_1;
|
|
22
|
i_virtual_local= 0.0 -> 1.0;
|
|
23
|
tel
|
|
24
|
|