Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_ext_IC_reset_test / integrator_ext_IC_reset_test.lus @ 6c3ea955

History | View | Annotate | Download (3.44 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node integrator_ext_IC_reset_test (In4_1_1 : real; In7_1_1 : real; In11_1_1 : int; In14_1_1 : int; In18_1_1 : bool; In21_1_1 : int; In1_1_1 : real; In2_1_1 : real; In3_1_1 : int; In5_1_1 : int; In6_1_1 : bool; In8_1_1 : int; In9_1_1 : real; In10_1_1 : real; In12_1_1 : int; In13_1_1 : int; In15_1_1 : bool; In16_1_1 : int; In17_1_1 : bool; In19_1_1 : bool; In20_1_1 : bool; In22_1_1 : bool; In23_1_1 : bool; In24_1_1 : bool; In25_1_1 : bool; In26_1_1 : bool; In27_1_1 : bool)
6
returns (Out4_1_1 : real;
7
	Out8_2_1 : int;
8
	Out12_3_1 : int;
9
	Out1_4_1 : real;
10
	Out2_5_1 : int;
11
	Out3_6_1 : int;
12
	Out5_7_1 : real;
13
	Out6_8_1 : int;
14
	Out7_9_1 : int); 
15
var
16
	Integrator1_1_1 : int;
17
	Integrator11_1_1 : int;
18
	Integrator2_1_1 : real;
19
	Integrator3_1_1 : real;
20
	Integrator4_1_1 : int;
21
	Integrator5_1_1 : int;
22
	Integrator6_1_1 : real;
23
	Integrator7_1_1 : int;
24
	Integrator8_1_1 : int;
25
	i_virtual_local : real;
26
	Integrator1_Reset_Trigger1_1: bool;
27
	Integrator11_Reset_Trigger1_1: bool;
28
	Integrator2_Reset_Trigger1_1: bool;
29
	Integrator3_Reset_Trigger1_1: bool;
30
	Integrator4_Reset_Trigger1_1: bool;
31
	Integrator5_Reset_Trigger1_1: bool;
32
	Integrator6_Reset_Trigger1_1: bool;
33
	Integrator7_Reset_Trigger1_1: bool;
34
	Integrator8_Reset_Trigger1_1: bool;
35
let 
36
	Integrator1_Reset_Trigger1_1 = false -> (not(pre In22_1_1) and In22_1_1);
37
	Integrator1_1_1 = In8_1_1 -> if Integrator1_Reset_Trigger1_1 then In8_1_1 else (1 * 1)*(pre (if In6_1_1 then 1 else 0)) + pre Integrator1_1_1;
38
	Integrator11_Reset_Trigger1_1 = false -> (not(pre In20_1_1) and In20_1_1);
39
	Integrator11_1_1 = In21_1_1 -> if Integrator11_Reset_Trigger1_1 then In21_1_1 else (1 * 1)*(pre (if In18_1_1 then 1 else 0)) + pre Integrator11_1_1;
40
	Integrator2_Reset_Trigger1_1 = false -> (not(pre In24_1_1) and In24_1_1);
41
	Integrator2_1_1 = In2_1_1 -> if Integrator2_Reset_Trigger1_1 then In2_1_1 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator2_1_1;
42
	Integrator3_Reset_Trigger1_1 = false -> (not(pre In17_1_1) and In17_1_1);
43
	Integrator3_1_1 = In7_1_1 -> if Integrator3_Reset_Trigger1_1 then In7_1_1 else (1.00000000 * 1.00000000)*(pre In4_1_1) + pre Integrator3_1_1;
44
	Integrator4_Reset_Trigger1_1 = false -> (not(pre In23_1_1) and In23_1_1);
45
	Integrator4_1_1 = In5_1_1 -> if Integrator4_Reset_Trigger1_1 then In5_1_1 else (1 * 1)*(pre In3_1_1) + pre Integrator4_1_1;
46
	Integrator5_Reset_Trigger1_1 = false -> (not(pre In27_1_1) and In27_1_1);
47
	Integrator5_1_1 = In16_1_1 -> if Integrator5_Reset_Trigger1_1 then In16_1_1 else (1 * 1)*(pre (if In15_1_1 then 1 else 0)) + pre Integrator5_1_1;
48
	Integrator6_Reset_Trigger1_1 = false -> (not(pre In25_1_1) and In25_1_1);
49
	Integrator6_1_1 = In10_1_1 -> if Integrator6_Reset_Trigger1_1 then In10_1_1 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator6_1_1;
50
	Integrator7_Reset_Trigger1_1 = false -> (not(pre In19_1_1) and In19_1_1);
51
	Integrator7_1_1 = In14_1_1 -> if Integrator7_Reset_Trigger1_1 then In14_1_1 else (1 * 1)*(pre In11_1_1) + pre Integrator7_1_1;
52
	Integrator8_Reset_Trigger1_1 = false -> (not(pre In26_1_1) and In26_1_1);
53
	Integrator8_1_1 = In13_1_1 -> if Integrator8_Reset_Trigger1_1 then In13_1_1 else (1 * 1)*(pre In12_1_1) + pre Integrator8_1_1;
54
	Out4_1_1 = Integrator3_1_1;
55
	Out8_2_1 = Integrator7_1_1;
56
	Out12_3_1 = Integrator11_1_1;
57
	Out1_4_1 = Integrator2_1_1;
58
	Out2_5_1 = Integrator4_1_1;
59
	Out3_6_1 = Integrator1_1_1;
60
	Out5_7_1 = Integrator6_1_1;
61
	Out6_8_1 = Integrator8_1_1;
62
	Out7_9_1 = Integrator5_1_1;
63
	i_virtual_local= 0.0 -> 1.0;
64
tel
65