Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / Resetable_Subsystem_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (5.51 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:58:20
5
(*
6
Original block name: Resetable_Subsystem_PP/Enabled_Counter/Subsystem
7
*)
8
node  Subsystem_204_076(In1_1 : real;
9
	__time_step : real;
10
	__nb_step : int;)
11
returns(Out1_1 : real;);
12
var Add_1 : real;
13
	UnitDelay_1 : real;
14
let
15
	Add_1 = 0.0 + In1_1 + UnitDelay_1;
16
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
17
	Out1_1 = Add_1;
18
tel
19
20
(*
21
Original block name: Resetable_Subsystem_PP/Enabled_Counter
22
*)
23
node  Enabled_Counter_199_079(In1_1 : real;
24
	__time_step : real;
25
	__nb_step : int;)
26
returns(Out1_1 : real;
27
	Out2_1 : real;);
28
var Add_1 : real;
29
	ResetCond_of_Subsystem_204_076 : bool;
30
	Subsystem_1 : real;
31
	UnitDelay_1 : real;
32
let
33
	Add_1 = 0.0 + In1_1 + UnitDelay_1;
34
	ResetCond_of_Subsystem_204_076 = (false -> ((In1_1 > 0.0) and (not (pre (In1_1 > 0.0)))));
35
	Subsystem_1 = (Subsystem_204_076(In1_1, __time_step, __nb_step) every ResetCond_of_Subsystem_204_076);
36
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
37
	Out1_1 = Add_1;
38
	Out2_1 = Subsystem_1;
39
tel
40
41
(*
42
Original block name: Resetable_Subsystem_PP/Enabled_withNoMemory/Subsystem
43
*)
44
node  Subsystem_241_094(In1_1 : real;
45
	__time_step : real;
46
	__nb_step : int;)
47
returns(Out1_1 : real;);
48
var Add_1 : real;
49
	UnitDelay_1 : real;
50
let
51
	Add_1 = 0.0 + In1_1 + UnitDelay_1;
52
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
53
	Out1_1 = Add_1;
54
tel
55
56
(*
57
Original block name: Resetable_Subsystem_PP/Enabled_withNoMemory
58
*)
59
node  Enabled_withNoMemory_235_095(In1_1 : real;
60
	__time_step : real;
61
	__nb_step : int;)
62
returns(Out1_1 : real;
63
	Out2_1 : real;);
64
var Add_1 : real;
65
	Constant_1 : real;
66
	ResetCond_of_Subsystem_241_094 : bool;
67
	Subsystem_1 : real;
68
let
69
	Add_1 = 0.0 + In1_1 + Constant_1;
70
	Constant_1 = 1.000000000000000;
71
	ResetCond_of_Subsystem_241_094 = (false -> ((In1_1 > 0.0) and (not (pre (In1_1 > 0.0)))));
72
	Subsystem_1 = (Subsystem_241_094(In1_1, __time_step, __nb_step) every ResetCond_of_Subsystem_241_094);
73
	Out1_1 = Add_1;
74
	Out2_1 = Subsystem_1;
75
tel
76
77
(*
78
Original block name: Resetable_Subsystem_PP/case_either
79
*)
80
node  case_either_269_082(Cpre_compx_1 : real;
81
	__time_step : real;
82
	__nb_step : int;)
83
returns(Ccor_x_1 : real;
84
	pre_x_1 : real;);
85
var Add_1 : real;
86
	UnitDelay_1 : real;
87
let
88
	Add_1 = 0.0 + Cpre_compx_1 + UnitDelay_1;
89
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
90
	Ccor_x_1 = Add_1;
91
	pre_x_1 = UnitDelay_1;
92
tel
93
94
(*
95
Original block name: Resetable_Subsystem_PP/case_falling
96
*)
97
node  case_falling_283_085(Cpre_compx_1 : real;
98
	__time_step : real;
99
	__nb_step : int;)
100
returns(Ccor_x_1 : real;
101
	pre_x_1 : real;);
102
var Add_1 : real;
103
	UnitDelay_1 : real;
104
let
105
	Add_1 = 0.0 + Cpre_compx_1 + UnitDelay_1;
106
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
107
	Ccor_x_1 = Add_1;
108
	pre_x_1 = UnitDelay_1;
109
tel
110
111
(*
112
Original block name: Resetable_Subsystem_PP/case_rising
113
*)
114
node  case_rising_297_118(Cpre_compx_1 : real;
115
	__time_step : real;
116
	__nb_step : int;)
117
returns(Ccor_x_1 : real;
118
	pre_x_1 : real;);
119
var Add_1 : real;
120
	UnitDelay_1 : real;
121
let
122
	Add_1 = 0.0 + Cpre_compx_1 + UnitDelay_1;
123
	UnitDelay_1 = (0.000000000000000 -> (pre Add_1));
124
	Ccor_x_1 = Add_1;
125
	pre_x_1 = UnitDelay_1;
126
tel
127
128
(*
129
Original block name: Resetable_Subsystem_PP
130
*)
131
node  Resetable_Subsystem_PP(In1_1 : real;
132
	Enable_1 : real;)
133
returns(Out1_1 : real;
134
	Out2_1 : real;
135
	Out4_1 : real;
136
	Out5_1 : real;
137
	Out6_1 : real;
138
	pre_Out1_1 : real;
139
	pre_Out2_1 : real;
140
	pre_Out3_1 : real;
141
	Out3_1 : real;
142
	Out7_1 : real;);
143
var ResetCond_of_Enabled_Counter_199_079 : bool;
144
	Enabled_Counter_1 : real;
145
	Enabled_Counter_2 : real;
146
	ResetCond_of_Enabled_withNoMemory_235_095 : bool;
147
	Enabled_withNoMemory_1 : real;
148
	Enabled_withNoMemory_2 : real;
149
	ResetCond_of_case_either_269_082 : bool;
150
	case_either_1 : real;
151
	case_either_2 : real;
152
	ResetCond_of_case_falling_283_085 : bool;
153
	case_falling_1 : real;
154
	case_falling_2 : real;
155
	ResetCond_of_case_rising_297_118 : bool;
156
	case_rising_1 : real;
157
	case_rising_2 : real;
158
	__time_step : real;
159
	__nb_step : int;
160
let
161
	ResetCond_of_Enabled_Counter_199_079 = (false -> ((Enable_1 > 0.0) and (not (pre (Enable_1 > 0.0)))));
162
	(Enabled_Counter_1, Enabled_Counter_2) = (Enabled_Counter_199_079(In1_1, __time_step, __nb_step) every ResetCond_of_Enabled_Counter_199_079);
163
	ResetCond_of_Enabled_withNoMemory_235_095 = (false -> ((Enable_1 > 0.0) and (not (pre (Enable_1 > 0.0)))));
164
	(Enabled_withNoMemory_1, Enabled_withNoMemory_2) = (Enabled_withNoMemory_235_095(In1_1, __time_step, __nb_step) every ResetCond_of_Enabled_withNoMemory_235_095);
165
	ResetCond_of_case_either_269_082 = (false -> (((Enable_1 > 0.0) and (not (pre (Enable_1 > 0.0)))) or ((not (Enable_1 > 0.0)) and (pre (Enable_1 > 0.0)))));
166
	(case_either_1, case_either_2) = (case_either_269_082(In1_1, __time_step, __nb_step) every ResetCond_of_case_either_269_082);
167
	ResetCond_of_case_falling_283_085 = (false -> ((not (Enable_1 > 0.0)) and (pre (Enable_1 > 0.0))));
168
	(case_falling_1, case_falling_2) = (case_falling_283_085(In1_1, __time_step, __nb_step) every ResetCond_of_case_falling_283_085);
169
	ResetCond_of_case_rising_297_118 = (false -> ((Enable_1 > 0.0) and (not (pre (Enable_1 > 0.0)))));
170
	(case_rising_1, case_rising_2) = (case_rising_297_118(In1_1, __time_step, __nb_step) every ResetCond_of_case_rising_297_118);
171
	Out1_1 = Enabled_Counter_1;
172
	Out2_1 = Enabled_Counter_2;
173
	Out4_1 = case_rising_1;
174
	Out5_1 = case_falling_1;
175
	Out6_1 = case_either_1;
176
	pre_Out1_1 = case_rising_2;
177
	pre_Out2_1 = case_falling_2;
178
	pre_Out3_1 = case_either_2;
179
	Out3_1 = Enabled_withNoMemory_1;
180
	Out7_1 = Enabled_withNoMemory_2;
181
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
182
	__nb_step = (0 -> ((pre __nb_step) + 1));
183
tel