Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_constant_test / constant_test.lus @ 6c3ea955

History | View | Annotate | Download (3.27 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node constant_test (In1_1_1 : real; In2_1_1 : int; In3_1_1 : bool; In4_1_1 : real; In5_1_1 : int; In6_1_1 : bool)
6
returns (Out1_1_1 : real; Out1_1_2 : real;
7
	Out2_2_1 : int; Out2_2_2 : int;
8
	Out3_3_1 : bool; Out3_3_2 : bool;
9
	Out4_4_1 : real; Out4_4_2 : real; Out4_4_3 : real; Out4_4_4 : real;
10
	Out5_5_1 : int; Out5_5_2 : int; Out5_5_3 : int; Out5_5_4 : int;
11
	Out6_6_1 : bool; Out6_6_2 : bool; Out6_6_3 : bool; Out6_6_4 : bool;
12
	Out7_7_1 : real; Out7_7_2 : real; Out7_7_3 : real; Out7_7_4 : real;
13
	Out8_8_1 : int; Out8_8_2 : int; Out8_8_3 : int; Out8_8_4 : int;
14
	Out9_9_1 : bool; Out9_9_2 : bool; Out9_9_3 : bool; Out9_9_4 : bool); 
15
var
16
	Constant_1_1 : real;
17
	Constant1_1_1 : int;
18
	Constant2_1_1 : bool;
19
	Constant3_1_1 : real; Constant3_1_2 : real; Constant3_1_3 : real;
20
	Constant4_1_1 : int; Constant4_1_2 : int; Constant4_1_3 : int;
21
	Constant5_1_1 : bool; Constant5_1_2 : bool; Constant5_1_3 : bool;
22
	Constant6_1_1 : real; Constant6_1_2 : real; Constant6_1_3 : real; Constant6_1_4 : real;
23
	Constant7_1_1 : int; Constant7_1_2 : int; Constant7_1_3 : int; Constant7_1_4 : int;
24
	Constant8_1_1 : bool; Constant8_1_2 : bool; Constant8_1_3 : bool; Constant8_1_4 : bool;
25
	Mux_1_1 : real; Mux_1_2 : real;
26
	Mux1_1_1 : int; Mux1_1_2 : int;
27
	Mux2_1_1 : bool; Mux2_1_2 : bool;
28
	Mux3_1_1 : real; Mux3_1_2 : real; Mux3_1_3 : real; Mux3_1_4 : real;
29
	Mux4_1_1 : int; Mux4_1_2 : int; Mux4_1_3 : int; Mux4_1_4 : int;
30
	Mux5_1_1 : bool; Mux5_1_2 : bool; Mux5_1_3 : bool; Mux5_1_4 : bool;
31
	i_virtual_local : real;
32
let 
33
	Constant_1_1 = 1.00000000;
34
	Constant1_1_1 = 1;
35
	Constant2_1_1 = true;
36
	Constant3_1_1 = 2.00000000;
37
	Constant3_1_2 = 3.00000000;
38
	Constant3_1_3 = 5.00000000;
39
	Constant4_1_1 = 2;
40
	Constant4_1_2 = 3;
41
	Constant4_1_3 = 5;
42
	Constant5_1_1 = true;
43
	Constant5_1_2 = true;
44
	Constant5_1_3 = true;
45
	Constant6_1_1 = 2.00000000;
46
	Constant6_1_2 = 3.00000000;
47
	Constant6_1_3 = 4.00000000;
48
	Constant6_1_4 = 5.00000000;
49
	Constant7_1_1 = 2;
50
	Constant7_1_2 = 3;
51
	Constant7_1_3 = 4;
52
	Constant7_1_4 = 5;
53
	Constant8_1_1 = true;
54
	Constant8_1_2 = true;
55
	Constant8_1_3 = true;
56
	Constant8_1_4 = true;
57
	Mux_1_1 = In1_1_1 ;
58
	Mux_1_2 = Constant_1_1 ;
59
	Mux1_1_1 = In2_1_1 ;
60
	Mux1_1_2 = Constant1_1_1 ;
61
	Mux2_1_1 = In3_1_1 ;
62
	Mux2_1_2 = Constant2_1_1 ;
63
	Mux3_1_1 = In4_1_1 ;
64
	Mux3_1_2 = Constant3_1_1 ;
65
	Mux3_1_3 = Constant3_1_2 ;
66
	Mux3_1_4 = Constant3_1_3 ;
67
	Mux4_1_1 = In5_1_1 ;
68
	Mux4_1_2 = Constant4_1_1 ;
69
	Mux4_1_3 = Constant4_1_2 ;
70
	Mux4_1_4 = Constant4_1_3 ;
71
	Mux5_1_1 = In6_1_1 ;
72
	Mux5_1_2 = Constant5_1_1 ;
73
	Mux5_1_3 = Constant5_1_2 ;
74
	Mux5_1_4 = Constant5_1_3 ;
75
	Out1_1_1 = Mux_1_1;
76
	Out1_1_2 = Mux_1_2;
77
	Out2_2_1 = Mux1_1_1;
78
	Out2_2_2 = Mux1_1_2;
79
	Out3_3_1 = Mux2_1_1;
80
	Out3_3_2 = Mux2_1_2;
81
	Out4_4_1 = Mux3_1_1;
82
	Out4_4_2 = Mux3_1_2;
83
	Out4_4_3 = Mux3_1_3;
84
	Out4_4_4 = Mux3_1_4;
85
	Out5_5_1 = Mux4_1_1;
86
	Out5_5_2 = Mux4_1_2;
87
	Out5_5_3 = Mux4_1_3;
88
	Out5_5_4 = Mux4_1_4;
89
	Out6_6_1 = Mux5_1_1;
90
	Out6_6_2 = Mux5_1_2;
91
	Out6_6_3 = Mux5_1_3;
92
	Out6_6_4 = Mux5_1_4;
93
	Out7_7_1 = Constant6_1_1;
94
	Out7_7_2 = Constant6_1_2;
95
	Out7_7_3 = Constant6_1_3;
96
	Out7_7_4 = Constant6_1_4;
97
	Out8_8_1 = Constant7_1_1;
98
	Out8_8_2 = Constant7_1_2;
99
	Out8_8_3 = Constant7_1_3;
100
	Out8_8_4 = Constant7_1_4;
101
	Out9_9_1 = Constant8_1_1;
102
	Out9_9_2 = Constant8_1_2;
103
	Out9_9_3 = Constant8_1_3;
104
	Out9_9_4 = Constant8_1_4;
105
	i_virtual_local= 0.0 -> 1.0;
106
tel
107