Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_switch_test / switch_test.lus @ 6c3ea955

History | View | Annotate | Download (4.96 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node switch_test (In1_1_1 : real; In2_1_1 : int; In3_1_1 : real; In4_1_1 : real; In4_1_2 : real; In5_1_1 : real; In6_1_1 : real; In6_1_2 : real; In7_1_1 : real; In7_1_2 : real; In7_1_3 : real; In7_1_4 : real; In7_1_5 : real; In7_1_6 : real; In8_1_1 : bool; In9_1_1 : real; In9_1_2 : real; In9_1_3 : real; In9_1_4 : real; In9_1_5 : real; In9_1_6 : real; In10_1_1 : real; In11_1_1 : real; In12_1_1 : real; In13_1_1 : real; In13_1_2 : real; In14_1_1 : real; In15_1_1 : real; In15_1_2 : real; In16_1_1 : real; In16_1_2 : real; In16_1_3 : real; In16_1_4 : real; In16_1_5 : real; In16_1_6 : real; In17_1_1 : int; In18_1_1 : real; In18_1_2 : real; In18_1_3 : real; In18_1_4 : real; In18_1_5 : real; In18_1_6 : real; In19_1_1 : real; In19_1_2 : real; In19_1_3 : real; In19_1_4 : real; In19_1_5 : real; In19_1_6 : real; In20_1_1 : real; In21_1_1 : real; In21_1_2 : real; In21_1_3 : real; In21_1_4 : real; In21_1_5 : real; In21_1_6 : real; In22_1_1 : real; In22_1_2 : real; In23_1_1 : real; In23_1_2 : real; In24_1_1 : real; In24_1_2 : real; In25_1_1 : real; In25_1_2 : real; In26_1_1 : real; In26_1_2 : real; In27_1_1 : real; In27_1_2 : real; In28_1_1 : real; In28_1_2 : real; In29_1_1 : real; In29_1_2 : real; In30_1_1 : real; In30_1_2 : real; In31_1_1 : real; In31_1_2 : real; In32_1_1 : real; In32_1_2 : real; In33_1_1 : real; In33_1_2 : real)
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : real; Out2_2_2 : real;
8
	Out3_3_1 : real; Out3_3_2 : real; Out3_3_3 : real; Out3_3_4 : real; Out3_3_5 : real; Out3_3_6 : real;
9
	Out4_4_1 : real;
10
	Out5_5_1 : real; Out5_5_2 : real;
11
	Out6_6_1 : real; Out6_6_2 : real; Out6_6_3 : real; Out6_6_4 : real; Out6_6_5 : real; Out6_6_6 : real;
12
	Out7_7_1 : real; Out7_7_2 : real; Out7_7_3 : real; Out7_7_4 : real; Out7_7_5 : real; Out7_7_6 : real;
13
	Out8_8_1 : real; Out8_8_2 : real;
14
	Out9_9_1 : real; Out9_9_2 : real;
15
	Out10_10_1 : real; Out10_10_2 : real;
16
	Out11_11_1 : real; Out11_11_2 : real); 
17
var
18
	Switch_1_1 : real;
19
	Switch1_1_1 : real; Switch1_1_2 : real;
20
	Switch10_1_1 : real; Switch10_1_2 : real;
21
	Switch2_1_1 : real; Switch2_1_2 : real; Switch2_1_3 : real; Switch2_1_4 : real; Switch2_1_5 : real; Switch2_1_6 : real;
22
	Switch3_1_1 : real;
23
	Switch4_1_1 : real; Switch4_1_2 : real;
24
	Switch5_1_1 : real; Switch5_1_2 : real; Switch5_1_3 : real; Switch5_1_4 : real; Switch5_1_5 : real; Switch5_1_6 : real;
25
	Switch6_1_1 : real; Switch6_1_2 : real; Switch6_1_3 : real; Switch6_1_4 : real; Switch6_1_5 : real; Switch6_1_6 : real;
26
	Switch7_1_1 : real; Switch7_1_2 : real;
27
	Switch8_1_1 : real; Switch8_1_2 : real;
28
	Switch9_1_1 : real; Switch9_1_2 : real;
29
	i_virtual_local : real;
30
let 
31
	Switch_1_1 = if In2_1_1 >= 12 then In1_1_1 else In3_1_1;
32
	(Switch1_1_1, Switch1_1_2) = if In5_1_1 > 2.50000000 then (In4_1_1, In4_1_2) else (In6_1_1, In6_1_2);
33
	Switch10_1_1 = if In32_1_1 > 2.00000000 then In31_1_1 else In33_1_1;
34
	Switch10_1_2 = if In32_1_2 > 6.00000000 then In31_1_2 else In33_1_2;
35
	(Switch2_1_1, Switch2_1_2, Switch2_1_3, Switch2_1_4, Switch2_1_5, Switch2_1_6) = if In8_1_1 then (In7_1_1, In7_1_2, In7_1_3, In7_1_4, In7_1_5, In7_1_6) else (In9_1_1, In9_1_2, In9_1_3, In9_1_4, In9_1_5, In9_1_6);
36
	Switch3_1_1 = if In11_1_1 >= 12.10000000 then In10_1_1 else In12_1_1;
37
	(Switch4_1_1, Switch4_1_2) = if In14_1_1 > 2.50000000 then (In13_1_1, In13_1_2) else (In15_1_1, In15_1_2);
38
	(Switch5_1_1, Switch5_1_2, Switch5_1_3, Switch5_1_4, Switch5_1_5, Switch5_1_6) = if not(In17_1_1 = 0) then (In16_1_1, In16_1_2, In16_1_3, In16_1_4, In16_1_5, In16_1_6) else (In18_1_1, In18_1_2, In18_1_3, In18_1_4, In18_1_5, In18_1_6);
39
	(Switch6_1_1, Switch6_1_2, Switch6_1_3, Switch6_1_4, Switch6_1_5, Switch6_1_6) = if not(In20_1_1 = 0.0) then (In19_1_1, In19_1_2, In19_1_3, In19_1_4, In19_1_5, In19_1_6) else (In21_1_1, In21_1_2, In21_1_3, In21_1_4, In21_1_5, In21_1_6);
40
	Switch7_1_1 = if In23_1_1 > 2.50000000 then In22_1_1 else In24_1_1;
41
	Switch7_1_2 = if In23_1_2 > 2.50000000 then In22_1_2 else In24_1_2;
42
	Switch8_1_1 = if In26_1_1 > 2.50000000 then In25_1_1 else In27_1_1;
43
	Switch8_1_2 = if In26_1_2 > 6.70000000 then In25_1_2 else In27_1_2;
44
	Switch9_1_1 = if In29_1_1 > 2.50000000 then In28_1_1 else In30_1_1;
45
	Switch9_1_2 = if In29_1_2 > 6.70000000 then In28_1_2 else In30_1_2;
46
	Out1_1_1 = Switch_1_1;
47
	Out2_2_1 = Switch1_1_1;
48
	Out2_2_2 = Switch1_1_2;
49
	Out3_3_1 = Switch2_1_1;
50
	Out3_3_2 = Switch2_1_2;
51
	Out3_3_3 = Switch2_1_3;
52
	Out3_3_4 = Switch2_1_4;
53
	Out3_3_5 = Switch2_1_5;
54
	Out3_3_6 = Switch2_1_6;
55
	Out4_4_1 = Switch3_1_1;
56
	Out5_5_1 = Switch4_1_1;
57
	Out5_5_2 = Switch4_1_2;
58
	Out6_6_1 = Switch5_1_1;
59
	Out6_6_2 = Switch5_1_2;
60
	Out6_6_3 = Switch5_1_3;
61
	Out6_6_4 = Switch5_1_4;
62
	Out6_6_5 = Switch5_1_5;
63
	Out6_6_6 = Switch5_1_6;
64
	Out7_7_1 = Switch6_1_1;
65
	Out7_7_2 = Switch6_1_2;
66
	Out7_7_3 = Switch6_1_3;
67
	Out7_7_4 = Switch6_1_4;
68
	Out7_7_5 = Switch6_1_5;
69
	Out7_7_6 = Switch6_1_6;
70
	Out8_8_1 = Switch7_1_1;
71
	Out8_8_2 = Switch7_1_2;
72
	Out9_9_1 = Switch8_1_1;
73
	Out9_9_2 = Switch8_1_2;
74
	Out10_10_1 = Switch9_1_1;
75
	Out10_10_2 = Switch9_1_2;
76
	Out11_11_1 = Switch10_1_1;
77
	Out11_11_2 = Switch10_1_2;
78
	i_virtual_local= 0.0 -> 1.0;
79
tel
80