Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_saturationdynamic_param_test / saturationdynamic_param_test.lus @ 6c3ea955

History | View | Annotate | Download (2.66 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node saturationdynamic_param_test (In1_1_1 : real; In2_1_1 : real; In3_1_1 : real; In4_1_1 : int; In5_1_1 : int; In6_1_1 : int; In7_1_1 : real; In7_1_2 : real; In8_1_1 : real; In8_1_2 : real; In9_1_1 : real; In9_1_2 : real; In10_1_1 : real; In10_1_2 : real; In10_1_3 : real; In10_1_4 : real; In10_1_5 : real; In10_1_6 : real; In11_1_1 : real; In11_1_2 : real; In11_1_3 : real; In11_1_4 : real; In11_1_5 : real; In11_1_6 : real; In12_1_1 : real; In12_1_2 : real; In12_1_3 : real; In12_1_4 : real; In12_1_5 : real; In12_1_6 : real)
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : int;
8
	Out3_3_1 : real; Out3_3_2 : real;
9
	Out4_4_1 : real; Out4_4_2 : real; Out4_4_3 : real; Out4_4_4 : real; Out4_4_5 : real; Out4_4_6 : real); 
10
var
11
	SaturationDynamic_1_1 : real;
12
	SaturationDynamic1_1_1 : int;
13
	SaturationDynamic2_1_1 : real; SaturationDynamic2_1_2 : real;
14
	SaturationDynamic3_1_1 : real; SaturationDynamic3_1_2 : real; SaturationDynamic3_1_3 : real; SaturationDynamic3_1_4 : real; SaturationDynamic3_1_5 : real; SaturationDynamic3_1_6 : real;
15
	i_virtual_local : real;
16
let 
17
	SaturationDynamic_1_1 = if In2_1_1 > In1_1_1 then In1_1_1
18
		else if In2_1_1 < In3_1_1 then In3_1_1
19
		else In2_1_1;
20
	SaturationDynamic1_1_1 = if In5_1_1 > In4_1_1 then In4_1_1
21
		else if In5_1_1 < In6_1_1 then In6_1_1
22
		else In5_1_1;
23
	SaturationDynamic2_1_1 = if In8_1_1 > In7_1_1 then In7_1_1
24
		else if In8_1_1 < In9_1_1 then In9_1_1
25
		else In8_1_1;
26
	SaturationDynamic2_1_2 = if In8_1_2 > In7_1_2 then In7_1_2
27
		else if In8_1_2 < In9_1_2 then In9_1_2
28
		else In8_1_2;
29
	SaturationDynamic3_1_1 = if In11_1_1 > In10_1_1 then In10_1_1
30
		else if In11_1_1 < In12_1_1 then In12_1_1
31
		else In11_1_1;
32
	SaturationDynamic3_1_2 = if In11_1_2 > In10_1_2 then In10_1_2
33
		else if In11_1_2 < In12_1_2 then In12_1_2
34
		else In11_1_2;
35
	SaturationDynamic3_1_3 = if In11_1_3 > In10_1_3 then In10_1_3
36
		else if In11_1_3 < In12_1_3 then In12_1_3
37
		else In11_1_3;
38
	SaturationDynamic3_1_4 = if In11_1_4 > In10_1_4 then In10_1_4
39
		else if In11_1_4 < In12_1_4 then In12_1_4
40
		else In11_1_4;
41
	SaturationDynamic3_1_5 = if In11_1_5 > In10_1_5 then In10_1_5
42
		else if In11_1_5 < In12_1_5 then In12_1_5
43
		else In11_1_5;
44
	SaturationDynamic3_1_6 = if In11_1_6 > In10_1_6 then In10_1_6
45
		else if In11_1_6 < In12_1_6 then In12_1_6
46
		else In11_1_6;
47
	Out1_1_1 = SaturationDynamic_1_1;
48
	Out2_2_1 = SaturationDynamic1_1_1;
49
	Out3_3_1 = SaturationDynamic2_1_1;
50
	Out3_3_2 = SaturationDynamic2_1_2;
51
	Out4_4_1 = SaturationDynamic3_1_1;
52
	Out4_4_2 = SaturationDynamic3_1_2;
53
	Out4_4_3 = SaturationDynamic3_1_3;
54
	Out4_4_4 = SaturationDynamic3_1_4;
55
	Out4_4_5 = SaturationDynamic3_1_5;
56
	Out4_4_6 = SaturationDynamic3_1_6;
57
	i_virtual_local= 0.0 -> 1.0;
58
tel
59