Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_memory_vect_test / memory_vect_test.lus @ 6c3ea955

History | View | Annotate | Download (4.36 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node memory_vect_test (In1_1_1 : real; In1_1_2 : real; In2_1_1 : real; In2_1_2 : real; In3_1_1 : real; In3_1_2 : real; In4_1_1 : int; In4_1_2 : int; In5_1_1 : int; In5_1_2 : int; In6_1_1 : int; In6_1_2 : int; In7_1_1 : bool; In7_1_2 : bool; In8_1_1 : bool; In8_1_2 : bool; In9_1_1 : bool; In9_1_2 : bool; In10_1_1 : real; In10_1_2 : real; In11_1_1 : real; In11_1_2 : real; In12_1_1 : real; In12_1_2 : real; In13_1_1 : int; In13_1_2 : int; In14_1_1 : int; In14_1_2 : int; In15_1_1 : int; In15_1_2 : int; In16_1_1 : bool; In16_1_2 : bool; In17_1_1 : bool; In17_1_2 : bool; In18_1_1 : bool; In18_1_2 : bool)
6
returns (Out1_1_1 : real; Out1_1_2 : real;
7
	Out2_2_1 : real; Out2_2_2 : real;
8
	Out3_3_1 : real; Out3_3_2 : real;
9
	Out4_4_1 : int; Out4_4_2 : int;
10
	Out5_5_1 : int; Out5_5_2 : int;
11
	Out6_6_1 : int; Out6_6_2 : int;
12
	Out7_7_1 : bool; Out7_7_2 : bool;
13
	Out8_8_1 : bool; Out8_8_2 : bool;
14
	Out9_9_1 : bool; Out9_9_2 : bool;
15
	Out10_10_1 : real; Out10_10_2 : real;
16
	Out11_11_1 : real; Out11_11_2 : real;
17
	Out12_12_1 : real; Out12_12_2 : real;
18
	Out13_13_1 : int; Out13_13_2 : int;
19
	Out14_14_1 : int; Out14_14_2 : int;
20
	Out15_15_1 : int; Out15_15_2 : int;
21
	Out16_16_1 : bool; Out16_16_2 : bool;
22
	Out17_17_1 : bool; Out17_17_2 : bool;
23
	Out18_18_1 : bool; Out18_18_2 : bool); 
24
var
25
	Memory_1_1 : real; Memory_1_2 : real;
26
	Memory1_1_1 : real; Memory1_1_2 : real;
27
	Memory10_1_1 : real; Memory10_1_2 : real;
28
	Memory11_1_1 : real; Memory11_1_2 : real;
29
	Memory12_1_1 : int; Memory12_1_2 : int;
30
	Memory13_1_1 : int; Memory13_1_2 : int;
31
	Memory14_1_1 : int; Memory14_1_2 : int;
32
	Memory15_1_1 : bool; Memory15_1_2 : bool;
33
	Memory16_1_1 : bool; Memory16_1_2 : bool;
34
	Memory17_1_1 : bool; Memory17_1_2 : bool;
35
	Memory2_1_1 : real; Memory2_1_2 : real;
36
	Memory3_1_1 : int; Memory3_1_2 : int;
37
	Memory4_1_1 : int; Memory4_1_2 : int;
38
	Memory5_1_1 : int; Memory5_1_2 : int;
39
	Memory6_1_1 : bool; Memory6_1_2 : bool;
40
	Memory7_1_1 : bool; Memory7_1_2 : bool;
41
	Memory8_1_1 : bool; Memory8_1_2 : bool;
42
	Memory9_1_1 : real; Memory9_1_2 : real;
43
	i_virtual_local : real;
44
let 
45
	Memory_1_1 = 0.00000000 -> pre In1_1_1;
46
	Memory_1_2 = 0.00000000 -> pre In1_1_2;
47
	Memory1_1_1 = 0.00000000 -> pre In2_1_1;
48
	Memory1_1_2 = 0.00000000 -> pre In2_1_2;
49
	Memory10_1_1 = 0.00000000 -> pre In11_1_1;
50
	Memory10_1_2 = 2.00000000 -> pre In11_1_2;
51
	Memory11_1_1 = 1.00000000 -> pre In12_1_1;
52
	Memory11_1_2 = 0.00000000 -> pre In12_1_2;
53
	Memory12_1_1 = 0 -> pre In14_1_1;
54
	Memory12_1_2 = 2 -> pre In14_1_2;
55
	Memory13_1_1 = 1 -> pre In15_1_1;
56
	Memory13_1_2 = 0 -> pre In15_1_2;
57
	Memory14_1_1 = 0 -> pre In13_1_1;
58
	Memory14_1_2 = 2 -> pre In13_1_2;
59
	Memory15_1_1 = false -> pre In17_1_1;
60
	Memory15_1_2 = true -> pre In17_1_2;
61
	Memory16_1_1 = true -> pre In18_1_1;
62
	Memory16_1_2 = false -> pre In18_1_2;
63
	Memory17_1_1 = false -> pre In16_1_1;
64
	Memory17_1_2 = true -> pre In16_1_2;
65
	Memory2_1_1 = 1.00000000 -> pre In3_1_1;
66
	Memory2_1_2 = 1.00000000 -> pre In3_1_2;
67
	Memory3_1_1 = 0 -> pre In4_1_1;
68
	Memory3_1_2 = 0 -> pre In4_1_2;
69
	Memory4_1_1 = 0 -> pre In5_1_1;
70
	Memory4_1_2 = 0 -> pre In5_1_2;
71
	Memory5_1_1 = 1 -> pre In6_1_1;
72
	Memory5_1_2 = 1 -> pre In6_1_2;
73
	Memory6_1_1 = false -> pre In7_1_1;
74
	Memory6_1_2 = false -> pre In7_1_2;
75
	Memory7_1_1 = false -> pre In8_1_1;
76
	Memory7_1_2 = false -> pre In8_1_2;
77
	Memory8_1_1 = true -> pre In9_1_1;
78
	Memory8_1_2 = true -> pre In9_1_2;
79
	Memory9_1_1 = 0.00000000 -> pre In10_1_1;
80
	Memory9_1_2 = 2.00000000 -> pre In10_1_2;
81
	Out1_1_1 = Memory_1_1;
82
	Out1_1_2 = Memory_1_2;
83
	Out2_2_1 = Memory1_1_1;
84
	Out2_2_2 = Memory1_1_2;
85
	Out3_3_1 = Memory2_1_1;
86
	Out3_3_2 = Memory2_1_2;
87
	Out4_4_1 = Memory3_1_1;
88
	Out4_4_2 = Memory3_1_2;
89
	Out5_5_1 = Memory4_1_1;
90
	Out5_5_2 = Memory4_1_2;
91
	Out6_6_1 = Memory5_1_1;
92
	Out6_6_2 = Memory5_1_2;
93
	Out7_7_1 = Memory6_1_1;
94
	Out7_7_2 = Memory6_1_2;
95
	Out8_8_1 = Memory7_1_1;
96
	Out8_8_2 = Memory7_1_2;
97
	Out9_9_1 = Memory8_1_1;
98
	Out9_9_2 = Memory8_1_2;
99
	Out10_10_1 = Memory9_1_1;
100
	Out10_10_2 = Memory9_1_2;
101
	Out11_11_1 = Memory10_1_1;
102
	Out11_11_2 = Memory10_1_2;
103
	Out12_12_1 = Memory11_1_1;
104
	Out12_12_2 = Memory11_1_2;
105
	Out13_13_1 = Memory14_1_1;
106
	Out13_13_2 = Memory14_1_2;
107
	Out14_14_1 = Memory12_1_1;
108
	Out14_14_2 = Memory12_1_2;
109
	Out15_15_1 = Memory13_1_1;
110
	Out15_15_2 = Memory13_1_2;
111
	Out16_16_1 = Memory17_1_1;
112
	Out16_16_2 = Memory17_1_2;
113
	Out17_17_1 = Memory15_1_1;
114
	Out17_17_2 = Memory15_1_2;
115
	Out18_18_1 = Memory16_1_1;
116
	Out18_18_2 = Memory16_1_2;
117
	i_virtual_local= 0.0 -> 1.0;
118
tel
119