Project

General

Profile

Download (2.17 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:06:56
5
(*
6
Original block name: logic_expand_test_PP
7
*)
8
node  logic_expand_test_PP(In1_1 : bool;
9
	In2_1 : bool;
10
	In2_2 : bool;
11
	In2_3 : bool;
12
	In3_1 : bool;
13
	In4_1 : bool;
14
	In4_2 : bool;
15
	In4_3 : bool;
16
	In5_1 : bool;
17
	In6_1 : bool;
18
	In6_2 : bool;
19
	In6_3 : bool;
20
	In7_1 : bool;
21
	In8_1 : bool;
22
	In9_1 : bool;
23
	In9_2 : bool;
24
	In9_3 : bool;
25
	In10_1 : bool;
26
	In10_2 : bool;
27
	In10_3 : bool;
28
	In11_1 : bool;
29
	In12_1 : bool;)
30
returns(Out1_1 : bool;
31
	Out1_2 : bool;
32
	Out1_3 : bool;
33
	Out2_1 : bool;
34
	Out2_2 : bool;
35
	Out2_3 : bool;
36
	Out3_1 : bool;
37
	Out3_2 : bool;
38
	Out3_3 : bool;
39
	Out4_1 : bool;
40
	Out4_2 : bool;
41
	Out4_3 : bool;);
42
var LogicalOperator_1 : bool;
43
	LogicalOperator_2 : bool;
44
	LogicalOperator_3 : bool;
45
	LogicalOperator1_1 : bool;
46
	LogicalOperator1_2 : bool;
47
	LogicalOperator1_3 : bool;
48
	LogicalOperator2_1 : bool;
49
	LogicalOperator2_2 : bool;
50
	LogicalOperator2_3 : bool;
51
	LogicalOperator3_1 : bool;
52
	LogicalOperator3_2 : bool;
53
	LogicalOperator3_3 : bool;
54
	__time_step : real;
55
	__nb_step : int;
56
let
57
	LogicalOperator_1 = ( In1_1 and In2_1 and In3_1 );
58
	LogicalOperator_2 = ( In1_1 and In2_2 and In3_1 );
59
	LogicalOperator_3 = ( In1_1 and In2_3 and In3_1 );
60
	LogicalOperator1_1 = ( In4_1 and In5_1 and In6_1 );
61
	LogicalOperator1_2 = ( In4_2 and In5_1 and In6_2 );
62
	LogicalOperator1_3 = ( In4_3 and In5_1 and In6_3 );
63
	LogicalOperator2_1 = ( In7_1 and In8_1 and In9_1 );
64
	LogicalOperator2_2 = ( In7_1 and In8_1 and In9_2 );
65
	LogicalOperator2_3 = ( In7_1 and In8_1 and In9_3 );
66
	LogicalOperator3_1 = ( In10_1 and In11_1 and In12_1 );
67
	LogicalOperator3_2 = ( In10_2 and In11_1 and In12_1 );
68
	LogicalOperator3_3 = ( In10_3 and In11_1 and In12_1 );
69
	Out1_1 = LogicalOperator_1;
70
	Out1_2 = LogicalOperator_2;
71
	Out1_3 = LogicalOperator_3;
72
	Out2_1 = LogicalOperator1_1;
73
	Out2_2 = LogicalOperator1_2;
74
	Out2_3 = LogicalOperator1_3;
75
	Out3_1 = LogicalOperator2_1;
76
	Out3_2 = LogicalOperator2_2;
77
	Out3_3 = LogicalOperator2_3;
78
	Out4_1 = LogicalOperator3_1;
79
	Out4_2 = LogicalOperator3_2;
80
	Out4_3 = LogicalOperator3_3;
81
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
82
	__nb_step = (0 -> ((pre __nb_step) + 1));
83
tel
84

    
(1083-1083/1153)