Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_if_multi_test / if_multi_test.lus @ 6c3ea955

History | View | Annotate | Download (4.84 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node if_multi_test_IfActionSubsystem7 (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real; In1_1_4 : real)
6
returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real; Out1_1_4 : real); 
7
let 
8
	Out1_1_1 = In1_1_1;
9
	Out1_1_2 = In1_1_2;
10
	Out1_1_3 = In1_1_3;
11
	Out1_1_4 = In1_1_4;
12
tel
13

    
14
node if_multi_test_IfActionSubsystem6 (In1_1_1 : bool)
15
returns (Out1_1_1 : bool); 
16
let 
17
	Out1_1_1 = In1_1_1;
18
tel
19

    
20
node if_multi_test_IfActionSubsystem5 (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real)
21
returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real); 
22
let 
23
	Out1_1_1 = In1_1_1;
24
	Out1_1_2 = In1_1_2;
25
	Out1_1_3 = In1_1_3;
26
tel
27

    
28
node if_multi_test_IfActionSubsystem4 (In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In3_1_1 : bool)
29
returns (Out2_1_1 : bool; Out2_1_2 : bool; Out2_1_3 : bool;
30
	Out3_2_1 : real; Out3_2_2 : real; Out3_2_3 : real;
31
	Out4_3_1 : bool; Out4_3_2 : bool; Out4_3_3 : bool); 
32
var
33
	LogicalOperator_1_1 : bool; LogicalOperator_1_2 : bool; LogicalOperator_1_3 : bool;
34
	RelationalOperator_1_1 : bool; RelationalOperator_1_2 : bool; RelationalOperator_1_3 : bool;
35
let 
36
	LogicalOperator_1_1 = RelationalOperator_1_1 and In3_1_1;
37
	LogicalOperator_1_2 = RelationalOperator_1_2 and In3_1_1;
38
	LogicalOperator_1_3 = RelationalOperator_1_3 and In3_1_1;
39
	RelationalOperator_1_1 = In2_1_1 <= In2_1_1;
40
	RelationalOperator_1_2 = In2_1_2 <= In2_1_2;
41
	RelationalOperator_1_3 = In2_1_3 <= In2_1_3;
42
	Out2_1_1 = RelationalOperator_1_1;
43
	Out2_1_2 = RelationalOperator_1_2;
44
	Out2_1_3 = RelationalOperator_1_3;
45
	Out3_2_1 = In2_1_1;
46
	Out3_2_2 = In2_1_2;
47
	Out3_2_3 = In2_1_3;
48
	Out4_3_1 = LogicalOperator_1_1;
49
	Out4_3_2 = LogicalOperator_1_2;
50
	Out4_3_3 = LogicalOperator_1_3;
51
tel
52

    
53
node if_multi_test (In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In4_1_1 : bool; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In5_1_4 : real)
54
returns (Out5_1_1 : bool; Out5_1_2 : bool; Out5_1_3 : bool;
55
	Out6_2_1 : real; Out6_2_2 : real; Out6_2_3 : real;
56
	Out7_3_1 : real; Out7_3_2 : real; Out7_3_3 : real;
57
	Out8_4_1 : bool; Out8_4_2 : bool; Out8_4_3 : bool;
58
	Out9_5_1 : bool;
59
	Out10_6_1 : real; Out10_6_2 : real; Out10_6_3 : real; Out10_6_4 : real); 
60
var
61
	IfActionSubsystem4_1_1 : bool; IfActionSubsystem4_1_2 : bool; IfActionSubsystem4_1_3 : bool; IfActionSubsystem4_2_1 : real; IfActionSubsystem4_2_2 : real; IfActionSubsystem4_2_3 : real; IfActionSubsystem4_3_1 : bool; IfActionSubsystem4_3_2 : bool; IfActionSubsystem4_3_3 : bool;
62
	IfActionSubsystem5_1_1 : real; IfActionSubsystem5_1_2 : real; IfActionSubsystem5_1_3 : real;
63
	IfActionSubsystem6_1_1 : bool;
64
	IfActionSubsystem7_1_1 : real; IfActionSubsystem7_1_2 : real; IfActionSubsystem7_1_3 : real; IfActionSubsystem7_1_4 : real;
65
	If1_1_1 : bool; If1_2_1 : bool; If1_3_1 : bool; If1_4_1 : bool;
66
	i_virtual_local : real;
67
let 
68
	(IfActionSubsystem4_1_1, IfActionSubsystem4_1_2, IfActionSubsystem4_1_3, IfActionSubsystem4_2_1, IfActionSubsystem4_2_2, IfActionSubsystem4_2_3, IfActionSubsystem4_3_1, IfActionSubsystem4_3_2, IfActionSubsystem4_3_3) = if (If1_1_1) then if_multi_test_IfActionSubsystem4(In3_1_1, In3_1_2, In3_1_3, In4_1_1) else (pre IfActionSubsystem4_1_1, pre IfActionSubsystem4_1_2, pre IfActionSubsystem4_1_3, pre IfActionSubsystem4_2_1, pre IfActionSubsystem4_2_2, pre IfActionSubsystem4_2_3, pre IfActionSubsystem4_3_1, pre IfActionSubsystem4_3_2, pre IfActionSubsystem4_3_3);
69
	(IfActionSubsystem5_1_1, IfActionSubsystem5_1_2, IfActionSubsystem5_1_3) = if (If1_4_1) then if_multi_test_IfActionSubsystem5(In3_1_1, In3_1_2, In3_1_3) else (pre IfActionSubsystem5_1_1, pre IfActionSubsystem5_1_2, pre IfActionSubsystem5_1_3);
70
	IfActionSubsystem6_1_1 = if (If1_2_1) then if_multi_test_IfActionSubsystem6(In4_1_1) else pre IfActionSubsystem6_1_1;
71
	(IfActionSubsystem7_1_1, IfActionSubsystem7_1_2, IfActionSubsystem7_1_3, IfActionSubsystem7_1_4) = if (If1_3_1) then if_multi_test_IfActionSubsystem7(In5_1_1, In5_1_2, In5_1_3, In5_1_4) else (pre IfActionSubsystem7_1_1, pre IfActionSubsystem7_1_2, pre IfActionSubsystem7_1_3, pre IfActionSubsystem7_1_4);
72
	(If1_1_1, If1_2_1, If1_3_1, If1_4_1) = if In3_1_2 = 0.0 then (true, false, false, false) else if In5_1_2 < 3.0 then (false, true, false, false) else if (-In5_1_1 > In3_1_3) and In5_1_2 > 0.0 then (false, false, true, false) else (false, false, false, true);
73
	Out5_1_1 = IfActionSubsystem4_1_1;
74
	Out5_1_2 = IfActionSubsystem4_1_2;
75
	Out5_1_3 = IfActionSubsystem4_1_3;
76
	Out6_2_1 = IfActionSubsystem5_1_1;
77
	Out6_2_2 = IfActionSubsystem5_1_2;
78
	Out6_2_3 = IfActionSubsystem5_1_3;
79
	Out7_3_1 = IfActionSubsystem4_2_1;
80
	Out7_3_2 = IfActionSubsystem4_2_2;
81
	Out7_3_3 = IfActionSubsystem4_2_3;
82
	Out8_4_1 = IfActionSubsystem4_3_1;
83
	Out8_4_2 = IfActionSubsystem4_3_2;
84
	Out8_4_3 = IfActionSubsystem4_3_3;
85
	Out9_5_1 = IfActionSubsystem6_1_1;
86
	Out10_6_1 = IfActionSubsystem7_1_1;
87
	Out10_6_2 = IfActionSubsystem7_1_2;
88
	Out10_6_3 = IfActionSubsystem7_1_3;
89
	Out10_6_4 = IfActionSubsystem7_1_4;
90
	i_virtual_local= 0.0 -> 1.0;
91
tel
92