Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / mpfr / dss_test.lus @ b745c1a8

History | View | Annotate | Download (4.96 KB)

1 7f14b1e1 bourbouh
-- This file has been generated by cocoSim
2
3
4
-- System nodes
5
node dss_test (In1_1_1 : real; In2_1_1 : real; In3_1_1 : real; In4_1_1 : real; In4_1_2 : real; In5_1_1 : real; In5_1_2 : real; In6_1_1 : real; In6_1_2 : real; In7_1_1 : real; )
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : real;
8
	Out3_3_1 : real;
9
	Out4_4_1 : real; Out4_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); 
13
var
14
	DiscreteStateSpace_1_1 : real;
15
	DiscreteStateSpace1_1_1 : real;
16
	DiscreteStateSpace2_1_1 : real;
17
	DiscreteStateSpace3_1_1 : real; DiscreteStateSpace3_1_2 : real;
18
	DiscreteStateSpace4_1_1 : real; DiscreteStateSpace4_1_2 : real;
19
	DiscreteStateSpace5_1_1 : real; DiscreteStateSpace5_1_2 : real;
20
	DiscreteStateSpace6_1_1 : real;
21
	i_virtual_local : real;
22
	DiscreteStateSpace_tmp_1 : real;
23
	DiscreteStateSpace3_tmp_1 , 	DiscreteStateSpace3_tmp_2 , 	DiscreteStateSpace3_tmp_3 : real;
24
	DiscreteStateSpace4_tmp_1 , 	DiscreteStateSpace4_tmp_2 , 	DiscreteStateSpace4_tmp_3 : real;
25
	DiscreteStateSpace5_tmp_1 , 	DiscreteStateSpace5_tmp_2 , 	DiscreteStateSpace5_tmp_3 : real;
26
	DiscreteStateSpace6_tmp_1 , 	DiscreteStateSpace6_tmp_2 : real;
27
let 
28
	DiscreteStateSpace_tmp_1 = ((0.0 -> pre DiscreteStateSpace_tmp_1)) + (In1_1_1);
29
	DiscreteStateSpace_1_1 = (((0.0 -> pre DiscreteStateSpace_tmp_1)) + (In1_1_1));
30
	DiscreteStateSpace1_1_1 = In2_1_1;
31
	DiscreteStateSpace2_1_1 = In3_1_1;
32
	DiscreteStateSpace3_tmp_1 = ((0.0 -> pre DiscreteStateSpace3_tmp_1)+2.0*(0.0 -> pre DiscreteStateSpace3_tmp_2)+3.0*(0.0 -> pre DiscreteStateSpace3_tmp_3)) + (10.0*In4_1_1+11.0*In4_1_2);
33
	DiscreteStateSpace3_tmp_2 = (4.0*(0.0 -> pre DiscreteStateSpace3_tmp_1)+5.0*(0.0 -> pre DiscreteStateSpace3_tmp_2)+6.0*(0.0 -> pre DiscreteStateSpace3_tmp_3)) + (12.0*In4_1_1+13.0*In4_1_2);
34
	DiscreteStateSpace3_tmp_3 = (7.0*(0.0 -> pre DiscreteStateSpace3_tmp_1)+8.0*(0.0 -> pre DiscreteStateSpace3_tmp_2)+9.0*(0.0 -> pre DiscreteStateSpace3_tmp_3)) + (14.0*In4_1_1+15.0*In4_1_2);
35
	DiscreteStateSpace3_1_1 = ((16.0*(0.0 -> pre DiscreteStateSpace3_tmp_1)+17.0*(0.0 -> pre DiscreteStateSpace3_tmp_2)+18.0*(0.0 -> pre DiscreteStateSpace3_tmp_3)) + (22.0*In4_1_1+23.0*In4_1_2));
36
	DiscreteStateSpace3_1_2 = ((19.0*(0.0 -> pre DiscreteStateSpace3_tmp_1)+20.0*(0.0 -> pre DiscreteStateSpace3_tmp_2)+21.0*(0.0 -> pre DiscreteStateSpace3_tmp_3)) + (24.0*In4_1_1+25.0*In4_1_2));
37
	DiscreteStateSpace4_tmp_1 = ((1.0 -> pre DiscreteStateSpace4_tmp_1)+2.0*(1.0 -> pre DiscreteStateSpace4_tmp_2)+3.0*(1.0 -> pre DiscreteStateSpace4_tmp_3)) + (10.0*In5_1_1+11.0*In5_1_2);
38
	DiscreteStateSpace4_tmp_2 = (4.0*(1.0 -> pre DiscreteStateSpace4_tmp_1)+5.0*(1.0 -> pre DiscreteStateSpace4_tmp_2)+6.0*(1.0 -> pre DiscreteStateSpace4_tmp_3)) + (12.0*In5_1_1+13.0*In5_1_2);
39
	DiscreteStateSpace4_tmp_3 = (7.0*(1.0 -> pre DiscreteStateSpace4_tmp_1)+8.0*(1.0 -> pre DiscreteStateSpace4_tmp_2)+9.0*(1.0 -> pre DiscreteStateSpace4_tmp_3)) + (14.0*In5_1_1+15.0*In5_1_2);
40
	DiscreteStateSpace4_1_1 = ((16.0*(1.0 -> pre DiscreteStateSpace4_tmp_1)+17.0*(1.0 -> pre DiscreteStateSpace4_tmp_2)+18.0*(1.0 -> pre DiscreteStateSpace4_tmp_3)) + (22.0*In5_1_1+23.0*In5_1_2));
41
	DiscreteStateSpace4_1_2 = ((19.0*(1.0 -> pre DiscreteStateSpace4_tmp_1)+20.0*(1.0 -> pre DiscreteStateSpace4_tmp_2)+21.0*(1.0 -> pre DiscreteStateSpace4_tmp_3)) + (24.0*In5_1_1+25.0*In5_1_2));
42
	DiscreteStateSpace5_tmp_1 = ((1.0 -> pre DiscreteStateSpace5_tmp_1)+2.0*(2.0 -> pre DiscreteStateSpace5_tmp_2)+3.0*(3.0 -> pre DiscreteStateSpace5_tmp_3)) + (10.0*In6_1_1+11.0*In6_1_2);
43
	DiscreteStateSpace5_tmp_2 = (4.0*(1.0 -> pre DiscreteStateSpace5_tmp_1)+5.0*(2.0 -> pre DiscreteStateSpace5_tmp_2)+6.0*(3.0 -> pre DiscreteStateSpace5_tmp_3)) + (12.0*In6_1_1+13.0*In6_1_2);
44
	DiscreteStateSpace5_tmp_3 = (7.0*(1.0 -> pre DiscreteStateSpace5_tmp_1)+8.0*(2.0 -> pre DiscreteStateSpace5_tmp_2)+9.0*(3.0 -> pre DiscreteStateSpace5_tmp_3)) + (14.0*In6_1_1+15.0*In6_1_2);
45
	DiscreteStateSpace5_1_1 = ((16.0*(1.0 -> pre DiscreteStateSpace5_tmp_1)+17.0*(2.0 -> pre DiscreteStateSpace5_tmp_2)+18.0*(3.0 -> pre DiscreteStateSpace5_tmp_3)) + (22.0*In6_1_1+23.0*In6_1_2));
46
	DiscreteStateSpace5_1_2 = ((19.0*(1.0 -> pre DiscreteStateSpace5_tmp_1)+20.0*(2.0 -> pre DiscreteStateSpace5_tmp_2)+21.0*(3.0 -> pre DiscreteStateSpace5_tmp_3)) + (24.0*In6_1_1+25.0*In6_1_2));
47
	DiscreteStateSpace6_tmp_1 = ((25.0 -> pre DiscreteStateSpace6_tmp_1)+2.0*(25.0 -> pre DiscreteStateSpace6_tmp_2)) + (5.0*In7_1_1);
48
	DiscreteStateSpace6_tmp_2 = (3.0*(25.0 -> pre DiscreteStateSpace6_tmp_1)+4.0*(25.0 -> pre DiscreteStateSpace6_tmp_2)) + (6.0*In7_1_1);
49
	DiscreteStateSpace6_1_1 = ((7.0*(25.0 -> pre DiscreteStateSpace6_tmp_1)+8.0*(25.0 -> pre DiscreteStateSpace6_tmp_2)) + (9.0*In7_1_1));
50
	Out1_1_1 = DiscreteStateSpace_1_1;
51
	Out2_2_1 = DiscreteStateSpace1_1_1;
52
	Out3_3_1 = DiscreteStateSpace2_1_1;
53
	Out4_4_1 = DiscreteStateSpace3_1_1;
54
	Out4_4_2 = DiscreteStateSpace3_1_2;
55
	Out5_5_1 = DiscreteStateSpace4_1_1;
56
	Out5_5_2 = DiscreteStateSpace4_1_2;
57
	Out6_6_1 = DiscreteStateSpace5_1_1;
58
	Out6_6_2 = DiscreteStateSpace5_1_2;
59
	Out7_7_1 = DiscreteStateSpace6_1_1;
60
	i_virtual_local= 0.0 -> 1.0;
61
tel
62