Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_logic_expand_test / logic_expand_test.lus @ 6c3ea955

History | View | Annotate | Download (2.12 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node logic_expand_test (In1_1_1 : bool; In2_1_1 : bool; In2_1_2 : bool; In2_1_3 : bool; In3_1_1 : bool; In4_1_1 : bool; In4_1_2 : bool; In4_1_3 : bool; In5_1_1 : bool; In6_1_1 : bool; In6_1_2 : bool; In6_1_3 : bool; In7_1_1 : bool; In8_1_1 : bool; In9_1_1 : bool; In9_1_2 : bool; In9_1_3 : bool; In10_1_1 : bool; In10_1_2 : bool; In10_1_3 : bool; In11_1_1 : bool; In12_1_1 : bool)
6
returns (Out1_1_1 : bool; Out1_1_2 : bool; Out1_1_3 : bool;
7
	Out2_2_1 : bool; Out2_2_2 : bool; Out2_2_3 : bool;
8
	Out3_3_1 : bool; Out3_3_2 : bool; Out3_3_3 : bool;
9
	Out4_4_1 : bool; Out4_4_2 : bool; Out4_4_3 : bool); 
10
var
11
	LogicalOperator_1_1 : bool; LogicalOperator_1_2 : bool; LogicalOperator_1_3 : bool;
12
	LogicalOperator1_1_1 : bool; LogicalOperator1_1_2 : bool; LogicalOperator1_1_3 : bool;
13
	LogicalOperator2_1_1 : bool; LogicalOperator2_1_2 : bool; LogicalOperator2_1_3 : bool;
14
	LogicalOperator3_1_1 : bool; LogicalOperator3_1_2 : bool; LogicalOperator3_1_3 : bool;
15
	i_virtual_local : real;
16
let 
17
	LogicalOperator_1_1 = In1_1_1 and In2_1_1 and In3_1_1;
18
	LogicalOperator_1_2 = In1_1_1 and In2_1_2 and In3_1_1;
19
	LogicalOperator_1_3 = In1_1_1 and In2_1_3 and In3_1_1;
20
	LogicalOperator1_1_1 = In4_1_1 and In5_1_1 and In6_1_1;
21
	LogicalOperator1_1_2 = In4_1_2 and In5_1_1 and In6_1_2;
22
	LogicalOperator1_1_3 = In4_1_3 and In5_1_1 and In6_1_3;
23
	LogicalOperator2_1_1 = In7_1_1 and In8_1_1 and In9_1_1;
24
	LogicalOperator2_1_2 = In7_1_1 and In8_1_1 and In9_1_2;
25
	LogicalOperator2_1_3 = In7_1_1 and In8_1_1 and In9_1_3;
26
	LogicalOperator3_1_1 = In10_1_1 and In11_1_1 and In12_1_1;
27
	LogicalOperator3_1_2 = In10_1_2 and In11_1_1 and In12_1_1;
28
	LogicalOperator3_1_3 = In10_1_3 and In11_1_1 and In12_1_1;
29
	Out1_1_1 = LogicalOperator_1_1;
30
	Out1_1_2 = LogicalOperator_1_2;
31
	Out1_1_3 = LogicalOperator_1_3;
32
	Out2_2_1 = LogicalOperator1_1_1;
33
	Out2_2_2 = LogicalOperator1_1_2;
34
	Out2_2_3 = LogicalOperator1_1_3;
35
	Out3_3_1 = LogicalOperator2_1_1;
36
	Out3_3_2 = LogicalOperator2_1_2;
37
	Out3_3_3 = LogicalOperator2_1_3;
38
	Out4_4_1 = LogicalOperator3_1_1;
39
	Out4_4_2 = LogicalOperator3_1_2;
40
	Out4_4_3 = LogicalOperator3_1_3;
41
	i_virtual_local= 0.0 -> 1.0;
42
tel
43