Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_logic_expand_2_test / logic_expand_2_test.lus @ 6c3ea955

History | View | Annotate | Download (3.97 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node logic_expand_2_test (In1_1_1 : bool; In2_1_1 : bool; In2_1_2 : bool; In2_1_3 : bool; In2_1_4 : bool; In2_1_5 : bool; In2_1_6 : bool; In3_1_1 : bool; In4_1_1 : bool; In4_1_2 : bool; In4_1_3 : bool; In4_1_4 : bool; In4_1_5 : bool; In4_1_6 : bool; In5_1_1 : bool; In6_1_1 : bool; In6_1_2 : bool; In6_1_3 : bool; In6_1_4 : bool; In6_1_5 : bool; In6_1_6 : bool; In7_1_1 : bool; In8_1_1 : bool; In9_1_1 : bool; In9_1_2 : bool; In9_1_3 : bool; In9_1_4 : bool; In9_1_5 : bool; In9_1_6 : bool; In10_1_1 : bool; In10_1_2 : bool; In10_1_3 : bool; In10_1_4 : bool; In10_1_5 : bool; In10_1_6 : bool; In11_1_1 : bool; In12_1_1 : bool)
6
returns (Out1_1_1 : bool; Out1_1_2 : bool; Out1_1_3 : bool; Out1_1_4 : bool; Out1_1_5 : bool; Out1_1_6 : bool;
7
	Out2_2_1 : bool; Out2_2_2 : bool; Out2_2_3 : bool; Out2_2_4 : bool; Out2_2_5 : bool; Out2_2_6 : bool;
8
	Out3_3_1 : bool; Out3_3_2 : bool; Out3_3_3 : bool; Out3_3_4 : bool; Out3_3_5 : bool; Out3_3_6 : bool;
9
	Out4_4_1 : bool; Out4_4_2 : bool; Out4_4_3 : bool; Out4_4_4 : bool; Out4_4_5 : bool; Out4_4_6 : bool); 
10
var
11
	LogicalOperator_1_1 : bool; LogicalOperator_1_2 : bool; LogicalOperator_1_3 : bool; LogicalOperator_1_4 : bool; LogicalOperator_1_5 : bool; LogicalOperator_1_6 : bool;
12
	LogicalOperator1_1_1 : bool; LogicalOperator1_1_2 : bool; LogicalOperator1_1_3 : bool; LogicalOperator1_1_4 : bool; LogicalOperator1_1_5 : bool; LogicalOperator1_1_6 : bool;
13
	LogicalOperator2_1_1 : bool; LogicalOperator2_1_2 : bool; LogicalOperator2_1_3 : bool; LogicalOperator2_1_4 : bool; LogicalOperator2_1_5 : bool; LogicalOperator2_1_6 : bool;
14
	LogicalOperator3_1_1 : bool; LogicalOperator3_1_2 : bool; LogicalOperator3_1_3 : bool; LogicalOperator3_1_4 : bool; LogicalOperator3_1_5 : bool; LogicalOperator3_1_6 : 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
	LogicalOperator_1_4 = In1_1_1 and In2_1_4 and In3_1_1;
21
	LogicalOperator_1_5 = In1_1_1 and In2_1_5 and In3_1_1;
22
	LogicalOperator_1_6 = In1_1_1 and In2_1_6 and In3_1_1;
23
	LogicalOperator1_1_1 = In4_1_1 and In5_1_1 and In6_1_1;
24
	LogicalOperator1_1_2 = In4_1_2 and In5_1_1 and In6_1_2;
25
	LogicalOperator1_1_3 = In4_1_3 and In5_1_1 and In6_1_3;
26
	LogicalOperator1_1_4 = In4_1_4 and In5_1_1 and In6_1_4;
27
	LogicalOperator1_1_5 = In4_1_5 and In5_1_1 and In6_1_5;
28
	LogicalOperator1_1_6 = In4_1_6 and In5_1_1 and In6_1_6;
29
	LogicalOperator2_1_1 = In7_1_1 and In8_1_1 and In9_1_1;
30
	LogicalOperator2_1_2 = In7_1_1 and In8_1_1 and In9_1_2;
31
	LogicalOperator2_1_3 = In7_1_1 and In8_1_1 and In9_1_3;
32
	LogicalOperator2_1_4 = In7_1_1 and In8_1_1 and In9_1_4;
33
	LogicalOperator2_1_5 = In7_1_1 and In8_1_1 and In9_1_5;
34
	LogicalOperator2_1_6 = In7_1_1 and In8_1_1 and In9_1_6;
35
	LogicalOperator3_1_1 = In10_1_1 and In11_1_1 and In12_1_1;
36
	LogicalOperator3_1_2 = In10_1_2 and In11_1_1 and In12_1_1;
37
	LogicalOperator3_1_3 = In10_1_3 and In11_1_1 and In12_1_1;
38
	LogicalOperator3_1_4 = In10_1_4 and In11_1_1 and In12_1_1;
39
	LogicalOperator3_1_5 = In10_1_5 and In11_1_1 and In12_1_1;
40
	LogicalOperator3_1_6 = In10_1_6 and In11_1_1 and In12_1_1;
41
	Out1_1_1 = LogicalOperator_1_1;
42
	Out1_1_2 = LogicalOperator_1_2;
43
	Out1_1_3 = LogicalOperator_1_3;
44
	Out1_1_4 = LogicalOperator_1_4;
45
	Out1_1_5 = LogicalOperator_1_5;
46
	Out1_1_6 = LogicalOperator_1_6;
47
	Out2_2_1 = LogicalOperator1_1_1;
48
	Out2_2_2 = LogicalOperator1_1_2;
49
	Out2_2_3 = LogicalOperator1_1_3;
50
	Out2_2_4 = LogicalOperator1_1_4;
51
	Out2_2_5 = LogicalOperator1_1_5;
52
	Out2_2_6 = LogicalOperator1_1_6;
53
	Out3_3_1 = LogicalOperator2_1_1;
54
	Out3_3_2 = LogicalOperator2_1_2;
55
	Out3_3_3 = LogicalOperator2_1_3;
56
	Out3_3_4 = LogicalOperator2_1_4;
57
	Out3_3_5 = LogicalOperator2_1_5;
58
	Out3_3_6 = LogicalOperator2_1_6;
59
	Out4_4_1 = LogicalOperator3_1_1;
60
	Out4_4_2 = LogicalOperator3_1_2;
61
	Out4_4_3 = LogicalOperator3_1_3;
62
	Out4_4_4 = LogicalOperator3_1_4;
63
	Out4_4_5 = LogicalOperator3_1_5;
64
	Out4_4_6 = LogicalOperator3_1_6;
65
	i_virtual_local= 0.0 -> 1.0;
66
tel
67