Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_subsystem_mask_test / subsystem_mask_test.lus @ 6c3ea955

History | View | Annotate | Download (524 Bytes)

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