Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / logic_expand_2_test_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (3.88 KB)

1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:06:45
5
(*
6
Original block name: logic_expand_2_test_PP
7
*)
8
node  logic_expand_2_test_PP(In1_1 : bool;
9
	In2_1 : bool;
10
	In2_2 : bool;
11
	In2_3 : bool;
12
	In2_4 : bool;
13
	In2_5 : bool;
14
	In2_6 : bool;
15
	In3_1 : bool;
16
	In4_1 : bool;
17
	In4_2 : bool;
18
	In4_3 : bool;
19
	In4_4 : bool;
20
	In4_5 : bool;
21
	In4_6 : bool;
22
	In5_1 : bool;
23
	In6_1 : bool;
24
	In6_2 : bool;
25
	In6_3 : bool;
26
	In6_4 : bool;
27
	In6_5 : bool;
28
	In6_6 : bool;
29
	In7_1 : bool;
30
	In8_1 : bool;
31
	In9_1 : bool;
32
	In9_2 : bool;
33
	In9_3 : bool;
34
	In9_4 : bool;
35
	In9_5 : bool;
36
	In9_6 : bool;
37
	In10_1 : bool;
38
	In10_2 : bool;
39
	In10_3 : bool;
40
	In10_4 : bool;
41
	In10_5 : bool;
42
	In10_6 : bool;
43
	In11_1 : bool;
44
	In12_1 : bool;)
45
returns(Out1_1 : bool;
46
	Out1_2 : bool;
47
	Out1_3 : bool;
48
	Out1_4 : bool;
49
	Out1_5 : bool;
50
	Out1_6 : bool;
51
	Out2_1 : bool;
52
	Out2_2 : bool;
53
	Out2_3 : bool;
54
	Out2_4 : bool;
55
	Out2_5 : bool;
56
	Out2_6 : bool;
57
	Out3_1 : bool;
58
	Out3_2 : bool;
59
	Out3_3 : bool;
60
	Out3_4 : bool;
61
	Out3_5 : bool;
62
	Out3_6 : bool;
63
	Out4_1 : bool;
64
	Out4_2 : bool;
65
	Out4_3 : bool;
66
	Out4_4 : bool;
67
	Out4_5 : bool;
68
	Out4_6 : bool;);
69
var LogicalOperator_1 : bool;
70
	LogicalOperator_2 : bool;
71
	LogicalOperator_3 : bool;
72
	LogicalOperator_4 : bool;
73
	LogicalOperator_5 : bool;
74
	LogicalOperator_6 : bool;
75
	LogicalOperator1_1 : bool;
76
	LogicalOperator1_2 : bool;
77
	LogicalOperator1_3 : bool;
78
	LogicalOperator1_4 : bool;
79
	LogicalOperator1_5 : bool;
80
	LogicalOperator1_6 : bool;
81
	LogicalOperator2_1 : bool;
82
	LogicalOperator2_2 : bool;
83
	LogicalOperator2_3 : bool;
84
	LogicalOperator2_4 : bool;
85
	LogicalOperator2_5 : bool;
86
	LogicalOperator2_6 : bool;
87
	LogicalOperator3_1 : bool;
88
	LogicalOperator3_2 : bool;
89
	LogicalOperator3_3 : bool;
90
	LogicalOperator3_4 : bool;
91
	LogicalOperator3_5 : bool;
92
	LogicalOperator3_6 : bool;
93
	__time_step : real;
94
	__nb_step : int;
95
let
96
	LogicalOperator_1 = ( In1_1 and In2_1 and In3_1 );
97
	LogicalOperator_2 = ( In1_1 and In2_2 and In3_1 );
98
	LogicalOperator_3 = ( In1_1 and In2_3 and In3_1 );
99
	LogicalOperator_4 = ( In1_1 and In2_4 and In3_1 );
100
	LogicalOperator_5 = ( In1_1 and In2_5 and In3_1 );
101
	LogicalOperator_6 = ( In1_1 and In2_6 and In3_1 );
102
	LogicalOperator1_1 = ( In4_1 and In5_1 and In6_1 );
103
	LogicalOperator1_2 = ( In4_2 and In5_1 and In6_2 );
104
	LogicalOperator1_3 = ( In4_3 and In5_1 and In6_3 );
105
	LogicalOperator1_4 = ( In4_4 and In5_1 and In6_4 );
106
	LogicalOperator1_5 = ( In4_5 and In5_1 and In6_5 );
107
	LogicalOperator1_6 = ( In4_6 and In5_1 and In6_6 );
108
	LogicalOperator2_1 = ( In7_1 and In8_1 and In9_1 );
109
	LogicalOperator2_2 = ( In7_1 and In8_1 and In9_2 );
110
	LogicalOperator2_3 = ( In7_1 and In8_1 and In9_3 );
111
	LogicalOperator2_4 = ( In7_1 and In8_1 and In9_4 );
112
	LogicalOperator2_5 = ( In7_1 and In8_1 and In9_5 );
113
	LogicalOperator2_6 = ( In7_1 and In8_1 and In9_6 );
114
	LogicalOperator3_1 = ( In10_1 and In11_1 and In12_1 );
115
	LogicalOperator3_2 = ( In10_2 and In11_1 and In12_1 );
116
	LogicalOperator3_3 = ( In10_3 and In11_1 and In12_1 );
117
	LogicalOperator3_4 = ( In10_4 and In11_1 and In12_1 );
118
	LogicalOperator3_5 = ( In10_5 and In11_1 and In12_1 );
119
	LogicalOperator3_6 = ( In10_6 and In11_1 and In12_1 );
120
	Out1_1 = LogicalOperator_1;
121
	Out1_2 = LogicalOperator_2;
122
	Out1_3 = LogicalOperator_3;
123
	Out1_4 = LogicalOperator_4;
124
	Out1_5 = LogicalOperator_5;
125
	Out1_6 = LogicalOperator_6;
126
	Out2_1 = LogicalOperator1_1;
127
	Out2_2 = LogicalOperator1_2;
128
	Out2_3 = LogicalOperator1_3;
129
	Out2_4 = LogicalOperator1_4;
130
	Out2_5 = LogicalOperator1_5;
131
	Out2_6 = LogicalOperator1_6;
132
	Out3_1 = LogicalOperator2_1;
133
	Out3_2 = LogicalOperator2_2;
134
	Out3_3 = LogicalOperator2_3;
135
	Out3_4 = LogicalOperator2_4;
136
	Out3_5 = LogicalOperator2_5;
137
	Out3_6 = LogicalOperator2_6;
138
	Out4_1 = LogicalOperator3_1;
139
	Out4_2 = LogicalOperator3_2;
140
	Out4_3 = LogicalOperator3_3;
141
	Out4_4 = LogicalOperator3_4;
142
	Out4_5 = LogicalOperator3_5;
143
	Out4_6 = LogicalOperator3_6;
144
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
145
	__nb_step = (0 -> ((pre __nb_step) + 1));
146
tel
147