Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_ext_reset_test / integrator_ext_reset_test.lus @ 6c3ea955

History | View | Annotate | Download (3.28 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node integrator_ext_reset_test (In4_1_1 : real; In5_1_1 : int; In6_1_1 : bool; In7_1_1 : real; In8_1_1 : real; In9_1_1 : real; In10_1_1 : real; In11_1_1 : int; In12_1_1 : bool; In13_1_1 : int; In14_1_1 : int; In15_1_1 : int; In16_1_1 : real; In17_1_1 : int; In18_1_1 : bool; In19_1_1 : bool; In20_1_1 : bool; In21_1_1 : bool)
6
returns (Out4_1_1 : real;
7
	Out5_2_1 : int;
8
	Out6_3_1 : int;
9
	Out7_4_1 : real;
10
	Out8_5_1 : int;
11
	Out9_6_1 : int;
12
	Out10_7_1 : real;
13
	Out11_8_1 : int;
14
	Out12_9_1 : int); 
15
var
16
	Integrator10_1_1 : int;
17
	Integrator11_1_1 : int;
18
	Integrator3_1_1 : real;
19
	Integrator4_1_1 : int;
20
	Integrator5_1_1 : int;
21
	Integrator6_1_1 : real;
22
	Integrator7_1_1 : int;
23
	Integrator8_1_1 : int;
24
	Integrator9_1_1 : real;
25
	i_virtual_local : real;
26
	Integrator10_Reset_Trigger1_1: bool;
27
	Integrator11_Reset_Trigger1_1: bool;
28
	Integrator3_Reset_Trigger1_1: bool;
29
	Integrator4_Reset_Trigger1_1: bool;
30
	Integrator5_Reset_Trigger1_1: bool;
31
	Integrator6_Reset_Trigger1_1: bool;
32
	Integrator7_Reset_Trigger1_1: bool;
33
	Integrator8_Reset_Trigger1_1: bool;
34
	Integrator9_Reset_Trigger1_1: bool;
35
let 
36
	Integrator10_Reset_Trigger1_1 = false -> (not(pre In20_1_1) and In20_1_1);
37
	Integrator10_1_1 = 0 -> if Integrator10_Reset_Trigger1_1 then 0 else (1 * 1)*(pre In17_1_1) + pre Integrator10_1_1;
38
	Integrator11_Reset_Trigger1_1 = false -> (not(pre In21_1_1) and In21_1_1);
39
	Integrator11_1_1 = 0 -> if Integrator11_Reset_Trigger1_1 then 0 else (1 * 1)*(pre (if In18_1_1 then 1 else 0)) + pre Integrator11_1_1;
40
	Integrator3_Reset_Trigger1_1 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);
41
	Integrator3_1_1 = 0.00000000 -> if Integrator3_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_1) + pre Integrator3_1_1;
42
	Integrator4_Reset_Trigger1_1 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);
43
	Integrator4_1_1 = 0 -> if Integrator4_Reset_Trigger1_1 then 0 else (1 * 1)*(pre In5_1_1) + pre Integrator4_1_1;
44
	Integrator5_Reset_Trigger1_1 = false -> (pre(In9_1_1) <= 0.0 and In9_1_1 > 0.0);
45
	Integrator5_1_1 = 0 -> if Integrator5_Reset_Trigger1_1 then 0 else (1 * 1)*(pre (if In6_1_1 then 1 else 0)) + pre Integrator5_1_1;
46
	Integrator6_Reset_Trigger1_1 = false -> (pre(In13_1_1) <= 0 and In13_1_1 > 0);
47
	Integrator6_1_1 = 0.00000000 -> if Integrator6_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In10_1_1) + pre Integrator6_1_1;
48
	Integrator7_Reset_Trigger1_1 = false -> (pre(In14_1_1) <= 0 and In14_1_1 > 0);
49
	Integrator7_1_1 = 0 -> if Integrator7_Reset_Trigger1_1 then 0 else (1 * 1)*(pre In11_1_1) + pre Integrator7_1_1;
50
	Integrator8_Reset_Trigger1_1 = false -> (pre(In15_1_1) <= 0 and In15_1_1 > 0);
51
	Integrator8_1_1 = 0 -> if Integrator8_Reset_Trigger1_1 then 0 else (1 * 1)*(pre (if In12_1_1 then 1 else 0)) + pre Integrator8_1_1;
52
	Integrator9_Reset_Trigger1_1 = false -> (not(pre In19_1_1) and In19_1_1);
53
	Integrator9_1_1 = 0.00000000 -> if Integrator9_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In16_1_1) + pre Integrator9_1_1;
54
	Out4_1_1 = Integrator3_1_1;
55
	Out5_2_1 = Integrator4_1_1;
56
	Out6_3_1 = Integrator5_1_1;
57
	Out7_4_1 = Integrator6_1_1;
58
	Out8_5_1 = Integrator7_1_1;
59
	Out9_6_1 = Integrator8_1_1;
60
	Out10_7_1 = Integrator9_1_1;
61
	Out11_8_1 = Integrator10_1_1;
62
	Out12_9_1 = Integrator11_1_1;
63
	i_virtual_local= 0.0 -> 1.0;
64
tel
65