Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_ext_reset_vector_test / integrator_ext_reset_vector_test.lus @ 6c3ea955

History | View | Annotate | Download (6.63 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node integrator_ext_reset_vector_test (In4_1_1 : real; In4_1_2 : real; In7_1_1 : real; In1_1_1 : real; In2_1_1 : real; In2_1_2 : real; In3_1_1 : real; In3_1_2 : real; In5_1_1 : real; In5_1_2 : real; In6_1_1 : real; In6_1_2 : real; In8_1_1 : real; In9_1_1 : real; In10_1_1 : real; In10_1_2 : real; In11_1_1 : real; In11_1_2 : real; In12_1_1 : real; In12_1_2 : real; In13_1_1 : real; In13_1_2 : real; In14_1_1 : real; In15_1_1 : real; In16_1_1 : real; In16_1_2 : real; In17_1_1 : real; In17_1_2 : real; In18_1_1 : real; In18_1_2 : real)
6
returns (Out4_1_1 : real; Out4_1_2 : real;
7
	Out1_2_1 : real; Out1_2_2 : real;
8
	Out2_3_1 : real; Out2_3_2 : real;
9
	Out3_4_1 : real; Out3_4_2 : real;
10
	Out5_5_1 : real; Out5_5_2 : real;
11
	Out6_6_1 : real; Out6_6_2 : real;
12
	Out7_7_1 : real; Out7_7_2 : real;
13
	Out8_8_1 : real; Out8_8_2 : real;
14
	Out9_9_1 : real; Out9_9_2 : real); 
15
var
16
	Integrator_1_1 : real; Integrator_1_2 : real;
17
	Integrator1_1_1 : real; Integrator1_1_2 : real;
18
	Integrator2_1_1 : real; Integrator2_1_2 : real;
19
	Integrator3_1_1 : real; Integrator3_1_2 : real;
20
	Integrator4_1_1 : real; Integrator4_1_2 : real;
21
	Integrator5_1_1 : real; Integrator5_1_2 : real;
22
	Integrator6_1_1 : real; Integrator6_1_2 : real;
23
	Integrator7_1_1 : real; Integrator7_1_2 : real;
24
	Integrator8_1_1 : real; Integrator8_1_2 : real;
25
	i_virtual_local : real;
26
	Integrator_Reset_Trigger1_1: bool;
27
	Integrator_Reset_Trigger2_1: bool;
28
	Integrator1_Reset_Trigger1_1: bool;
29
	Integrator1_Reset_Trigger2_1: bool;
30
	Integrator2_Reset_Trigger1_1: bool;
31
	Integrator2_Reset_Trigger2_1: bool;
32
	Integrator3_Reset_Trigger1_1: bool;
33
	Integrator3_Reset_Trigger2_1: bool;
34
	Integrator4_Reset_Trigger1_1: bool;
35
	Integrator4_Reset_Trigger2_1: bool;
36
	Integrator5_Reset_Trigger1_1: bool;
37
	Integrator5_Reset_Trigger2_1: bool;
38
	Integrator6_Reset_Trigger1_1: bool;
39
	Integrator6_Reset_Trigger2_1: bool;
40
	Integrator7_Reset_Trigger1_1: bool;
41
	Integrator7_Reset_Trigger2_1: bool;
42
	Integrator8_Reset_Trigger1_1: bool;
43
	Integrator8_Reset_Trigger2_1: bool;
44
let 
45
	Integrator_Reset_Trigger1_1 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);
46
	Integrator_1_1 = 0.00000000 -> if Integrator_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_1) + pre Integrator_1_1;
47
	Integrator_Reset_Trigger2_1 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);
48
	Integrator_1_2 = 0.00000000 -> if Integrator_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_2) + pre Integrator_1_2;
49
	Integrator1_Reset_Trigger1_1 = false -> (pre(In2_1_1) <= 0.0 and In2_1_1 > 0.0);
50
	Integrator1_1_1 = 0.00000000 -> if Integrator1_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_1;
51
	Integrator1_Reset_Trigger2_1 = false -> (pre(In2_1_2) <= 0.0 and In2_1_2 > 0.0);
52
	Integrator1_1_2 = 0.00000000 -> if Integrator1_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_2;
53
	Integrator2_Reset_Trigger1_1 = false -> (pre(In5_1_1) <= 0.0 and In5_1_1 > 0.0);
54
	Integrator2_1_1 = 0.00000000 -> if Integrator2_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_1) + pre Integrator2_1_1;
55
	Integrator2_Reset_Trigger2_1 = false -> (pre(In5_1_2) <= 0.0 and In5_1_2 > 0.0);
56
	Integrator2_1_2 = 0.00000000 -> if Integrator2_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_2) + pre Integrator2_1_2;
57
	Integrator3_Reset_Trigger1_1 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);
58
	Integrator3_1_1 = 2.00000000 -> if Integrator3_Reset_Trigger1_1 then 2.00000000 else (1.00000000 * 1.00000000)*(pre In6_1_1) + pre Integrator3_1_1;
59
	Integrator3_Reset_Trigger2_1 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);
60
	Integrator3_1_2 = 0.50000000 -> if Integrator3_Reset_Trigger2_1 then 0.50000000 else (1.00000000 * 1.00000000)*(pre In6_1_2) + pre Integrator3_1_2;
61
	Integrator4_Reset_Trigger1_1 = false -> (pre(In10_1_1) <= 0.0 and In10_1_1 > 0.0);
62
	Integrator4_1_1 = 2.00000000 -> if Integrator4_Reset_Trigger1_1 then 2.00000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_1;
63
	Integrator4_Reset_Trigger2_1 = false -> (pre(In10_1_2) <= 0.0 and In10_1_2 > 0.0);
64
	Integrator4_1_2 = 0.50000000 -> if Integrator4_Reset_Trigger2_1 then 0.50000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_2;
65
	Integrator5_Reset_Trigger1_1 = false -> (pre(In12_1_1) <= 0.0 and In12_1_1 > 0.0);
66
	Integrator5_1_1 = 2.00000000 -> if Integrator5_Reset_Trigger1_1 then 2.00000000 else (1.00000000 * 1.00000000)*(pre In11_1_1) + pre Integrator5_1_1;
67
	Integrator5_Reset_Trigger2_1 = false -> (pre(In12_1_2) <= 0.0 and In12_1_2 > 0.0);
68
	Integrator5_1_2 = 0.50000000 -> if Integrator5_Reset_Trigger2_1 then 0.50000000 else (1.00000000 * 1.00000000)*(pre In11_1_2) + pre Integrator5_1_2;
69
	Integrator6_Reset_Trigger1_1 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);
70
	Integrator6_1_1 = 2.00000000 -> if Integrator6_Reset_Trigger1_1 then 2.00000000 else (0.25000000 * 1.00000000)*(pre In13_1_1) + pre Integrator6_1_1;
71
	Integrator6_Reset_Trigger2_1 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);
72
	Integrator6_1_2 = 0.50000000 -> if Integrator6_Reset_Trigger2_1 then 0.50000000 else (0.58900000 * 1.00000000)*(pre In13_1_2) + pre Integrator6_1_2;
73
	Integrator7_Reset_Trigger1_1 = false -> (pre(In16_1_1) <= 0.0 and In16_1_1 > 0.0);
74
	Integrator7_1_1 = 2.00000000 -> if Integrator7_Reset_Trigger1_1 then 2.00000000 else (0.25000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_1;
75
	Integrator7_Reset_Trigger2_1 = false -> (pre(In16_1_2) <= 0.0 and In16_1_2 > 0.0);
76
	Integrator7_1_2 = 0.50000000 -> if Integrator7_Reset_Trigger2_1 then 0.50000000 else (0.58900000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_2;
77
	Integrator8_Reset_Trigger1_1 = false -> (pre(In18_1_1) <= 0.0 and In18_1_1 > 0.0);
78
	Integrator8_1_1 = 2.00000000 -> if Integrator8_Reset_Trigger1_1 then 2.00000000 else (0.25000000 * 1.00000000)*(pre In17_1_1) + pre Integrator8_1_1;
79
	Integrator8_Reset_Trigger2_1 = false -> (pre(In18_1_2) <= 0.0 and In18_1_2 > 0.0);
80
	Integrator8_1_2 = 0.50000000 -> if Integrator8_Reset_Trigger2_1 then 0.50000000 else (0.58900000 * 1.00000000)*(pre In17_1_2) + pre Integrator8_1_2;
81
	Out4_1_1 = Integrator_1_1;
82
	Out4_1_2 = Integrator_1_2;
83
	Out1_2_1 = Integrator1_1_1;
84
	Out1_2_2 = Integrator1_1_2;
85
	Out2_3_1 = Integrator2_1_1;
86
	Out2_3_2 = Integrator2_1_2;
87
	Out3_4_1 = Integrator3_1_1;
88
	Out3_4_2 = Integrator3_1_2;
89
	Out5_5_1 = Integrator4_1_1;
90
	Out5_5_2 = Integrator4_1_2;
91
	Out6_6_1 = Integrator5_1_1;
92
	Out6_6_2 = Integrator5_1_2;
93
	Out7_7_1 = Integrator6_1_1;
94
	Out7_7_2 = Integrator6_1_2;
95
	Out8_8_1 = Integrator7_1_1;
96
	Out8_8_2 = Integrator7_1_2;
97
	Out9_9_1 = Integrator8_1_1;
98
	Out9_9_2 = Integrator8_1_2;
99
	i_virtual_local= 0.0 -> 1.0;
100
tel
101