Project

General

Profile

Download (5.42 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:35:01
5
(*
6
Original block name: enable_test1_PP/Enabledheld
7
*)
8
node  Enabledheld_70_296_automaton(In1_1 : real;
9
	_isEnabled : bool;
10
	__time_step : real;
11
	__nb_step : int;)
12
returns(Out1_1 : real;);
13
var pre_Out1_1 : real;
14
let
15
	pre_Out1_1 = if (__nb_step > 0) then
16
		(pre Out1_1)
17
	    else 0.000000000000000;
18
	automaton enabled_Enabledheld_70_296
19
	state Active_Enabledheld_70_296:
20
	unless (not _isEnabled) restart Inactive_Enabledheld_70_296
21
	let
22
		Out1_1 = Enabledheld_70_296(In1_1, __time_step, __nb_step);
23
	tel
24

    
25
	state Inactive_Enabledheld_70_296:
26
	unless _isEnabled resume Active_Enabledheld_70_296
27
	let
28
		Out1_1 = pre_Out1_1;
29
	tel
30

    
31

    
32
tel
33

    
34
(*
35
Original block name: enable_test1_PP/Enabledheld
36
*)
37
node  Enabledheld_70_296(In1_1 : real;
38
	__time_step : real;
39
	__nb_step : int;)
40
returns(Out1_1 : real;);
41
let
42
	Out1_1 = In1_1;
43
tel
44

    
45
(*
46
Original block name: enable_test1_PP/Enabledheld2
47
*)
48
node  Enabledheld2_76_056_automaton(In1_1 : real;
49
	In1_2 : real;
50
	_isEnabled : bool;
51
	__time_step : real;
52
	__nb_step : int;)
53
returns(Out1_1 : real;
54
	Out1_2 : real;);
55
var pre_Out1_1 : real;
56
	pre_Out1_2 : real;
57
let
58
	pre_Out1_1 = if (__nb_step > 0) then
59
		(pre Out1_1)
60
	    else 0.000000000000000;
61
	pre_Out1_2 = if (__nb_step > 0) then
62
		(pre Out1_2)
63
	    else 0.000000000000000;
64
	automaton enabled_Enabledheld2_76_056
65
	state Active_Enabledheld2_76_056:
66
	unless (not _isEnabled) restart Inactive_Enabledheld2_76_056
67
	let
68
		(Out1_1, Out1_2) = Enabledheld2_76_056(In1_1, In1_2, __time_step, __nb_step);
69
	tel
70

    
71
	state Inactive_Enabledheld2_76_056:
72
	unless _isEnabled resume Active_Enabledheld2_76_056
73
	let
74
		Out1_1 = pre_Out1_1;
75
		Out1_2 = pre_Out1_2;
76
	tel
77

    
78

    
79
tel
80

    
81
(*
82
Original block name: enable_test1_PP/Enabledheld2
83
*)
84
node  Enabledheld2_76_056(In1_1 : real;
85
	In1_2 : real;
86
	__time_step : real;
87
	__nb_step : int;)
88
returns(Out1_1 : real;
89
	Out1_2 : real;);
90
let
91
	Out1_1 = In1_1;
92
	Out1_2 = In1_2;
93
tel
94

    
95
(*
96
Original block name: enable_test1_PP/Enabledreset
97
*)
98
node  Enabledreset_81_945_automaton(In1_1 : real;
99
	_isEnabled : bool;
100
	__time_step : real;
101
	__nb_step : int;)
102
returns(Out1_1 : real;);
103
var pre_Out1_1 : real;
104
let
105
	pre_Out1_1 = if (__nb_step > 0) then
106
		(pre Out1_1)
107
	    else 0.000000000000000;
108
	automaton enabled_Enabledreset_81_945
109
	state Active_Enabledreset_81_945:
110
	unless (not _isEnabled) restart Inactive_Enabledreset_81_945
111
	let
112
		Out1_1 = Enabledreset_81_945(In1_1, __time_step, __nb_step);
113
	tel
114

    
115
	state Inactive_Enabledreset_81_945:
116
	unless _isEnabled restart Active_Enabledreset_81_945
117
	let
118
		Out1_1 = pre_Out1_1;
119
	tel
120

    
121

    
122
tel
123

    
124
(*
125
Original block name: enable_test1_PP/Enabledreset
126
*)
127
node  Enabledreset_81_945(In1_1 : real;
128
	__time_step : real;
129
	__nb_step : int;)
130
returns(Out1_1 : real;);
131
let
132
	Out1_1 = In1_1;
133
tel
134

    
135
(*
136
Original block name: enable_test1_PP/Enabledreset2
137
*)
138
node  Enabledreset2_86_270_automaton(In1_1 : real;
139
	In1_2 : real;
140
	_isEnabled : bool;
141
	__time_step : real;
142
	__nb_step : int;)
143
returns(Out1_1 : real;
144
	Out1_2 : real;);
145
var pre_Out1_1 : real;
146
	pre_Out1_2 : real;
147
let
148
	pre_Out1_1 = if (__nb_step > 0) then
149
		(pre Out1_1)
150
	    else 0.000000000000000;
151
	pre_Out1_2 = if (__nb_step > 0) then
152
		(pre Out1_2)
153
	    else 0.000000000000000;
154
	automaton enabled_Enabledreset2_86_270
155
	state Active_Enabledreset2_86_270:
156
	unless (not _isEnabled) restart Inactive_Enabledreset2_86_270
157
	let
158
		(Out1_1, Out1_2) = Enabledreset2_86_270(In1_1, In1_2, __time_step, __nb_step);
159
	tel
160

    
161
	state Inactive_Enabledreset2_86_270:
162
	unless _isEnabled restart Active_Enabledreset2_86_270
163
	let
164
		Out1_1 = pre_Out1_1;
165
		Out1_2 = pre_Out1_2;
166
	tel
167

    
168

    
169
tel
170

    
171
(*
172
Original block name: enable_test1_PP/Enabledreset2
173
*)
174
node  Enabledreset2_86_270(In1_1 : real;
175
	In1_2 : real;
176
	__time_step : real;
177
	__nb_step : int;)
178
returns(Out1_1 : real;
179
	Out1_2 : real;);
180
let
181
	Out1_1 = In1_1;
182
	Out1_2 = In1_2;
183
tel
184

    
185
(*
186
Original block name: enable_test1_PP
187
*)
188
node  enable_test1_PP(In2_1 : bool;
189
	In1_1 : real;
190
	In3_1 : bool;
191
	In4_1 : real;
192
	In4_2 : real;
193
	In5_1 : bool;
194
	In6_1 : real;
195
	In7_1 : int;
196
	In8_1 : real;
197
	In8_2 : real;)
198
returns(Out3_1 : real;
199
	Out1_1 : real;
200
	Out1_2 : real;
201
	Out2_1 : real;
202
	Out4_1 : real;
203
	Out4_2 : real;);
204
var ExecutionCond_of_Enabledheld_70_296 : bool;
205
	Enabledheld_1 : real;
206
	ExecutionCond_of_Enabledheld2_76_056 : bool;
207
	Enabledheld2_1 : real;
208
	Enabledheld2_2 : real;
209
	ExecutionCond_of_Enabledreset_81_945 : bool;
210
	Enabledreset_1 : real;
211
	ExecutionCond_of_Enabledreset2_86_270 : bool;
212
	Enabledreset2_1 : real;
213
	Enabledreset2_2 : real;
214
	__time_step : real;
215
	__nb_step : int;
216
let
217
	ExecutionCond_of_Enabledheld_70_296 = In2_1;
218
	Enabledheld_1 = Enabledheld_70_296_automaton(In1_1, ExecutionCond_of_Enabledheld_70_296, __time_step, __nb_step);
219
	ExecutionCond_of_Enabledheld2_76_056 = In3_1;
220
	(Enabledheld2_1, Enabledheld2_2) = Enabledheld2_76_056_automaton(In4_1, In4_2, ExecutionCond_of_Enabledheld2_76_056, __time_step, __nb_step);
221
	ExecutionCond_of_Enabledreset_81_945 = In5_1;
222
	Enabledreset_1 = Enabledreset_81_945_automaton(In6_1, ExecutionCond_of_Enabledreset_81_945, __time_step, __nb_step);
223
	ExecutionCond_of_Enabledreset2_86_270 = (In7_1 > 0);
224
	(Enabledreset2_1, Enabledreset2_2) = Enabledreset2_86_270_automaton(In8_1, In8_2, ExecutionCond_of_Enabledreset2_86_270, __time_step, __nb_step);
225
	Out3_1 = Enabledheld_1;
226
	Out1_1 = Enabledheld2_1;
227
	Out1_2 = Enabledheld2_2;
228
	Out2_1 = Enabledreset_1;
229
	Out4_1 = Enabledreset2_1;
230
	Out4_2 = Enabledreset2_2;
231
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
232
	__nb_step = (0 -> ((pre __nb_step) + 1));
233
tel
234

    
(1053-1053/1153)