Project

General

Profile

Revision b58cc410 regression_tests/lustre_files/success/Simulink/src_many_files/EnableBio1_PP.LUSTREC.lus

View differences:

regression_tests/lustre_files/success/Simulink/src_many_files/EnableBio1_PP.LUSTREC.lus
1 1
-- This file has been generated by CoCoSim2.
2 2

  
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:33:42
3
-- Compiler: Lustre compiler 2 (nasa_toLustre.ToLustre.m)
4
-- Time: 20-Mar-2019 13:38:55
5 5
node  abs_int(x : int;)
6 6
returns(y : int;);
7 7
let
......
30 30
tel
31 31

  
32 32
(*
33
Original block name: EnableBio1_PP/ChangeMode_equal_MMAddtosequence/IncrementStoredInteger
33
Original block name: EnableBio1_PP/ChangeMode_equal_MMAddtosequence/Increment
34
Stored Integer
34 35
*)
35
node  IncrementStoredInteger_108_047(u_1 : int;
36
node  IncrementStoredInteger_48_386(u_1 : int;
36 37
	__time_step : real;
37 38
	__nb_step : int;)
38 39
returns(y_1 : int;);
......
49 50
(*
50 51
Original block name: EnableBio1_PP/ChangeMode_equal_MMAddtosequence
51 52
*)
52
node  ChangeMode_equal_MMAddtosequence_96_045_automaton(mm_flag_1 : int;
53
node  ChangeMode_equal_MMAddtosequence_20_350_condExecSS(mm_flag_1 : int;
53 54
	cmp_cmd_msg_1_BusElem1 : int;
54 55
	cmp_cmd_msg_1_BusElem2 : int;
55 56
	cmp_cmd_msg_1_BusElem3 : int;
......
170 171
	pre_fm_command_1_BusElem37 : int;
171 172
	pre_fm_command_1_BusElem38 : int;
172 173
	pre_fm_command_1_BusElem39 : int;
174
	_isEnabled_clock : bool clock;
173 175
let
174 176
	pre_fm_command_1_BusElem1 = if (__nb_step > 0) then
175 177
		(pre fm_command_1_BusElem1)
......
288 290
	pre_fm_command_1_BusElem39 = if (__nb_step > 0) then
289 291
		(pre fm_command_1_BusElem39)
290 292
	    else 0;
291
	automaton enabled_ChangeMode_equal_MMAddtosequence_96_045
292
	state Active_ChangeMode_equal_MMAddtosequence_96_045:
293
	unless (not _isEnabled) restart Inactive_ChangeMode_equal_MMAddtosequence_96_045
294
	let
295
		(fm_command_1_BusElem1, fm_command_1_BusElem2, fm_command_1_BusElem3, fm_command_1_BusElem4, fm_command_1_BusElem5, fm_command_1_BusElem6, fm_command_1_BusElem7, fm_command_1_BusElem8, fm_command_1_BusElem9, fm_command_1_BusElem10, fm_command_1_BusElem11, fm_command_1_BusElem12, fm_command_1_BusElem13, fm_command_1_BusElem14, fm_command_1_BusElem15, fm_command_1_BusElem16, fm_command_1_BusElem17, fm_command_1_BusElem18, fm_command_1_BusElem19, fm_command_1_BusElem20, fm_command_1_BusElem21, fm_command_1_BusElem22, fm_command_1_BusElem23, fm_command_1_BusElem24, fm_command_1_BusElem25, fm_command_1_BusElem26, fm_command_1_BusElem27, fm_command_1_BusElem28, fm_command_1_BusElem29, fm_command_1_BusElem30, fm_command_1_BusElem31, fm_command_1_BusElem32, fm_command_1_BusElem33, fm_command_1_BusElem34, fm_command_1_BusElem35, fm_command_1_BusElem36, fm_command_1_BusElem37, fm_command_1_BusElem38, fm_command_1_BusElem39) = ChangeMode_equal_MMAddtosequence_96_045(mm_flag_1, cmp_cmd_msg_1_BusElem1, cmp_cmd_msg_1_BusElem2, cmp_cmd_msg_1_BusElem3, cmp_cmd_msg_1_BusElem4, cmp_cmd_msg_1_BusElem5, cmp_cmd_msg_1_BusElem6, cmp_cmd_msg_1_BusElem7, cmp_cmd_msg_1_BusElem8, cmp_cmd_msg_1_BusElem9, cmp_cmd_msg_1_BusElem10, cmp_cmd_msg_1_BusElem11, cmp_cmd_msg_1_BusElem12, cmp_cmd_msg_1_BusElem13, cmp_cmd_msg_1_BusElem14, cmp_cmd_msg_1_BusElem15, cmp_cmd_msg_1_BusElem16, cmp_cmd_msg_1_BusElem17, cmp_cmd_msg_1_BusElem18, cmp_cmd_msg_1_BusElem19, cmp_cmd_msg_1_BusElem20, cmp_cmd_msg_1_BusElem21, cmp_cmd_msg_1_BusElem22, cmp_cmd_msg_1_BusElem23, cmp_cmd_msg_1_BusElem24, cmp_cmd_msg_1_BusElem25, cmp_cmd_msg_1_BusElem26, cmp_cmd_msg_1_BusElem27, cmp_cmd_msg_1_BusElem28, cmp_cmd_msg_1_BusElem29, cmp_cmd_msg_1_BusElem30, cmp_cmd_msg_1_BusElem31, cmp_cmd_msg_1_BusElem32, cmp_cmd_msg_1_BusElem33, cmp_cmd_msg_1_BusElem34, cmp_cmd_msg_1_BusElem35, cmp_cmd_msg_1_BusElem36, cmp_cmd_msg_1_BusElem37, cmp_cmd_msg_1_BusElem38, cmp_cmd_msg_1_BusElem39, __time_step, __nb_step);
296
	tel
297

  
298
	state Inactive_ChangeMode_equal_MMAddtosequence_96_045:
299
	unless _isEnabled resume Active_ChangeMode_equal_MMAddtosequence_96_045
300
	let
301
		fm_command_1_BusElem1 = pre_fm_command_1_BusElem1;
302
		fm_command_1_BusElem2 = pre_fm_command_1_BusElem2;
303
		fm_command_1_BusElem3 = pre_fm_command_1_BusElem3;
304
		fm_command_1_BusElem4 = pre_fm_command_1_BusElem4;
305
		fm_command_1_BusElem5 = pre_fm_command_1_BusElem5;
306
		fm_command_1_BusElem6 = pre_fm_command_1_BusElem6;
307
		fm_command_1_BusElem7 = pre_fm_command_1_BusElem7;
308
		fm_command_1_BusElem8 = pre_fm_command_1_BusElem8;
309
		fm_command_1_BusElem9 = pre_fm_command_1_BusElem9;
310
		fm_command_1_BusElem10 = pre_fm_command_1_BusElem10;
311
		fm_command_1_BusElem11 = pre_fm_command_1_BusElem11;
312
		fm_command_1_BusElem12 = pre_fm_command_1_BusElem12;
313
		fm_command_1_BusElem13 = pre_fm_command_1_BusElem13;
314
		fm_command_1_BusElem14 = pre_fm_command_1_BusElem14;
315
		fm_command_1_BusElem15 = pre_fm_command_1_BusElem15;
316
		fm_command_1_BusElem16 = pre_fm_command_1_BusElem16;
317
		fm_command_1_BusElem17 = pre_fm_command_1_BusElem17;
318
		fm_command_1_BusElem18 = pre_fm_command_1_BusElem18;
319
		fm_command_1_BusElem19 = pre_fm_command_1_BusElem19;
320
		fm_command_1_BusElem20 = pre_fm_command_1_BusElem20;
321
		fm_command_1_BusElem21 = pre_fm_command_1_BusElem21;
322
		fm_command_1_BusElem22 = pre_fm_command_1_BusElem22;
323
		fm_command_1_BusElem23 = pre_fm_command_1_BusElem23;
324
		fm_command_1_BusElem24 = pre_fm_command_1_BusElem24;
325
		fm_command_1_BusElem25 = pre_fm_command_1_BusElem25;
326
		fm_command_1_BusElem26 = pre_fm_command_1_BusElem26;
327
		fm_command_1_BusElem27 = pre_fm_command_1_BusElem27;
328
		fm_command_1_BusElem28 = pre_fm_command_1_BusElem28;
329
		fm_command_1_BusElem29 = pre_fm_command_1_BusElem29;
330
		fm_command_1_BusElem30 = pre_fm_command_1_BusElem30;
331
		fm_command_1_BusElem31 = pre_fm_command_1_BusElem31;
332
		fm_command_1_BusElem32 = pre_fm_command_1_BusElem32;
333
		fm_command_1_BusElem33 = pre_fm_command_1_BusElem33;
334
		fm_command_1_BusElem34 = pre_fm_command_1_BusElem34;
335
		fm_command_1_BusElem35 = pre_fm_command_1_BusElem35;
336
		fm_command_1_BusElem36 = pre_fm_command_1_BusElem36;
337
		fm_command_1_BusElem37 = pre_fm_command_1_BusElem37;
338
		fm_command_1_BusElem38 = pre_fm_command_1_BusElem38;
339
		fm_command_1_BusElem39 = pre_fm_command_1_BusElem39;
340
	tel
341

  
342

  
293
	_isEnabled_clock = _isEnabled;
294
	(fm_command_1_BusElem1, fm_command_1_BusElem2, fm_command_1_BusElem3, fm_command_1_BusElem4, fm_command_1_BusElem5, fm_command_1_BusElem6, fm_command_1_BusElem7, fm_command_1_BusElem8, fm_command_1_BusElem9, fm_command_1_BusElem10, fm_command_1_BusElem11, fm_command_1_BusElem12, fm_command_1_BusElem13, fm_command_1_BusElem14, fm_command_1_BusElem15, fm_command_1_BusElem16, fm_command_1_BusElem17, fm_command_1_BusElem18, fm_command_1_BusElem19, fm_command_1_BusElem20, fm_command_1_BusElem21, fm_command_1_BusElem22, fm_command_1_BusElem23, fm_command_1_BusElem24, fm_command_1_BusElem25, fm_command_1_BusElem26, fm_command_1_BusElem27, fm_command_1_BusElem28, fm_command_1_BusElem29, fm_command_1_BusElem30, fm_command_1_BusElem31, fm_command_1_BusElem32, fm_command_1_BusElem33, fm_command_1_BusElem34, fm_command_1_BusElem35, fm_command_1_BusElem36, fm_command_1_BusElem37, fm_command_1_BusElem38, fm_command_1_BusElem39) = (merge _isEnabled_clock 
295
		(true -> ChangeMode_equal_MMAddtosequence_20_350((mm_flag_1 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem1 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem2 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem3 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem4 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem5 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem6 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem7 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem8 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem9 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem10 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem11 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem12 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem13 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem14 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem15 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem16 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem17 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem18 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem19 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem20 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem21 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem22 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem23 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem24 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem25 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem26 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem27 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem28 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem29 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem30 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem31 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem32 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem33 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem34 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem35 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem36 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem37 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem38 when _isEnabled_clock), (cmp_cmd_msg_1_BusElem39 when _isEnabled_clock), (__time_step when _isEnabled_clock), (__nb_step when _isEnabled_clock))) 
296
		(false -> (pre_fm_command_1_BusElem1, pre_fm_command_1_BusElem2, pre_fm_command_1_BusElem3, pre_fm_command_1_BusElem4, pre_fm_command_1_BusElem5, pre_fm_command_1_BusElem6, pre_fm_command_1_BusElem7, pre_fm_command_1_BusElem8, pre_fm_command_1_BusElem9, pre_fm_command_1_BusElem10, pre_fm_command_1_BusElem11, pre_fm_command_1_BusElem12, pre_fm_command_1_BusElem13, pre_fm_command_1_BusElem14, pre_fm_command_1_BusElem15, pre_fm_command_1_BusElem16, pre_fm_command_1_BusElem17, pre_fm_command_1_BusElem18, pre_fm_command_1_BusElem19, pre_fm_command_1_BusElem20, pre_fm_command_1_BusElem21, pre_fm_command_1_BusElem22, pre_fm_command_1_BusElem23, pre_fm_command_1_BusElem24, pre_fm_command_1_BusElem25, pre_fm_command_1_BusElem26, pre_fm_command_1_BusElem27, pre_fm_command_1_BusElem28, pre_fm_command_1_BusElem29, pre_fm_command_1_BusElem30, pre_fm_command_1_BusElem31, pre_fm_command_1_BusElem32, pre_fm_command_1_BusElem33, pre_fm_command_1_BusElem34, pre_fm_command_1_BusElem35, pre_fm_command_1_BusElem36, pre_fm_command_1_BusElem37, pre_fm_command_1_BusElem38, pre_fm_command_1_BusElem39) when false(_isEnabled_clock)));
343 297
tel
344 298

  
345 299
(*
346 300
Original block name: EnableBio1_PP/ChangeMode_equal_MMAddtosequence
347 301
*)
348
node  ChangeMode_equal_MMAddtosequence_96_045(mm_flag_1 : int;
302
node  ChangeMode_equal_MMAddtosequence_20_350(mm_flag_1 : int;
349 303
	cmp_cmd_msg_1_BusElem1 : int;
350 304
	cmp_cmd_msg_1_BusElem2 : int;
351 305
	cmp_cmd_msg_1_BusElem3 : int;
......
617 571
	Constant2_1 = 1;
618 572
	Constant6_1 = 3;
619 573
	Constant7_1 = 4;
620
	IncrementStoredInteger_1 = IncrementStoredInteger_108_047(BusSelector_1, __time_step, __nb_step);
574
	IncrementStoredInteger_1 = IncrementStoredInteger_48_386(BusSelector_1, __time_step, __nb_step);
621 575
	SetParams_1 = Switch_1;
622 576
	SetParams_2 = Constant1_2;
623 577
	SetParams_3 = Constant1_3;
......
810 764
	BusSelector_33 : int;
811 765
	BusSelector_34 : int;
812 766
	BusSelector_35 : int;
813
	ExecutionCond_of_ChangeMode_equal_MMAddtosequence_96_045 : bool;
767
	ExecutionCond_of_ChangeMode_equal_MMAddtosequence_20_350 : bool;
814 768
	ChangeMode_equal_MMAddtosequence_1_BusElem1 : int;
815 769
	ChangeMode_equal_MMAddtosequence_1_BusElem2 : int;
816 770
	ChangeMode_equal_MMAddtosequence_1_BusElem3 : int;
......
966 920
	BusSelector_33 = ChangeMode_equal_MMAddtosequence_1_BusElem37;
967 921
	BusSelector_34 = ChangeMode_equal_MMAddtosequence_1_BusElem38;
968 922
	BusSelector_35 = ChangeMode_equal_MMAddtosequence_1_BusElem39;
969
	ExecutionCond_of_ChangeMode_equal_MMAddtosequence_96_045 = Enable_1;
970
	(ChangeMode_equal_MMAddtosequence_1_BusElem1, ChangeMode_equal_MMAddtosequence_1_BusElem2, ChangeMode_equal_MMAddtosequence_1_BusElem3, ChangeMode_equal_MMAddtosequence_1_BusElem4, ChangeMode_equal_MMAddtosequence_1_BusElem5, ChangeMode_equal_MMAddtosequence_1_BusElem6, ChangeMode_equal_MMAddtosequence_1_BusElem7, ChangeMode_equal_MMAddtosequence_1_BusElem8, ChangeMode_equal_MMAddtosequence_1_BusElem9, ChangeMode_equal_MMAddtosequence_1_BusElem10, ChangeMode_equal_MMAddtosequence_1_BusElem11, ChangeMode_equal_MMAddtosequence_1_BusElem12, ChangeMode_equal_MMAddtosequence_1_BusElem13, ChangeMode_equal_MMAddtosequence_1_BusElem14, ChangeMode_equal_MMAddtosequence_1_BusElem15, ChangeMode_equal_MMAddtosequence_1_BusElem16, ChangeMode_equal_MMAddtosequence_1_BusElem17, ChangeMode_equal_MMAddtosequence_1_BusElem18, ChangeMode_equal_MMAddtosequence_1_BusElem19, ChangeMode_equal_MMAddtosequence_1_BusElem20, ChangeMode_equal_MMAddtosequence_1_BusElem21, ChangeMode_equal_MMAddtosequence_1_BusElem22, ChangeMode_equal_MMAddtosequence_1_BusElem23, ChangeMode_equal_MMAddtosequence_1_BusElem24, ChangeMode_equal_MMAddtosequence_1_BusElem25, ChangeMode_equal_MMAddtosequence_1_BusElem26, ChangeMode_equal_MMAddtosequence_1_BusElem27, ChangeMode_equal_MMAddtosequence_1_BusElem28, ChangeMode_equal_MMAddtosequence_1_BusElem29, ChangeMode_equal_MMAddtosequence_1_BusElem30, ChangeMode_equal_MMAddtosequence_1_BusElem31, ChangeMode_equal_MMAddtosequence_1_BusElem32, ChangeMode_equal_MMAddtosequence_1_BusElem33, ChangeMode_equal_MMAddtosequence_1_BusElem34, ChangeMode_equal_MMAddtosequence_1_BusElem35, ChangeMode_equal_MMAddtosequence_1_BusElem36, ChangeMode_equal_MMAddtosequence_1_BusElem37, ChangeMode_equal_MMAddtosequence_1_BusElem38, ChangeMode_equal_MMAddtosequence_1_BusElem39) = ChangeMode_equal_MMAddtosequence_96_045_automaton(In1_1, BusCreator_1_BusElem1, BusCreator_1_BusElem2, BusCreator_1_BusElem3, BusCreator_1_BusElem4, BusCreator_1_BusElem5, BusCreator_1_BusElem6, BusCreator_1_BusElem7, BusCreator_1_BusElem8, BusCreator_1_BusElem9, BusCreator_1_BusElem10, BusCreator_1_BusElem11, BusCreator_1_BusElem12, BusCreator_1_BusElem13, BusCreator_1_BusElem14, BusCreator_1_BusElem15, BusCreator_1_BusElem16, BusCreator_1_BusElem17, BusCreator_1_BusElem18, BusCreator_1_BusElem19, BusCreator_1_BusElem20, BusCreator_1_BusElem21, BusCreator_1_BusElem22, BusCreator_1_BusElem23, BusCreator_1_BusElem24, BusCreator_1_BusElem25, BusCreator_1_BusElem26, BusCreator_1_BusElem27, BusCreator_1_BusElem28, BusCreator_1_BusElem29, BusCreator_1_BusElem30, BusCreator_1_BusElem31, BusCreator_1_BusElem32, BusCreator_1_BusElem33, BusCreator_1_BusElem34, BusCreator_1_BusElem35, BusCreator_1_BusElem36, BusCreator_1_BusElem37, BusCreator_1_BusElem38, BusCreator_1_BusElem39, ExecutionCond_of_ChangeMode_equal_MMAddtosequence_96_045, __time_step, __nb_step);
923
	ExecutionCond_of_ChangeMode_equal_MMAddtosequence_20_350 = Enable_1;
924
	(ChangeMode_equal_MMAddtosequence_1_BusElem1, ChangeMode_equal_MMAddtosequence_1_BusElem2, ChangeMode_equal_MMAddtosequence_1_BusElem3, ChangeMode_equal_MMAddtosequence_1_BusElem4, ChangeMode_equal_MMAddtosequence_1_BusElem5, ChangeMode_equal_MMAddtosequence_1_BusElem6, ChangeMode_equal_MMAddtosequence_1_BusElem7, ChangeMode_equal_MMAddtosequence_1_BusElem8, ChangeMode_equal_MMAddtosequence_1_BusElem9, ChangeMode_equal_MMAddtosequence_1_BusElem10, ChangeMode_equal_MMAddtosequence_1_BusElem11, ChangeMode_equal_MMAddtosequence_1_BusElem12, ChangeMode_equal_MMAddtosequence_1_BusElem13, ChangeMode_equal_MMAddtosequence_1_BusElem14, ChangeMode_equal_MMAddtosequence_1_BusElem15, ChangeMode_equal_MMAddtosequence_1_BusElem16, ChangeMode_equal_MMAddtosequence_1_BusElem17, ChangeMode_equal_MMAddtosequence_1_BusElem18, ChangeMode_equal_MMAddtosequence_1_BusElem19, ChangeMode_equal_MMAddtosequence_1_BusElem20, ChangeMode_equal_MMAddtosequence_1_BusElem21, ChangeMode_equal_MMAddtosequence_1_BusElem22, ChangeMode_equal_MMAddtosequence_1_BusElem23, ChangeMode_equal_MMAddtosequence_1_BusElem24, ChangeMode_equal_MMAddtosequence_1_BusElem25, ChangeMode_equal_MMAddtosequence_1_BusElem26, ChangeMode_equal_MMAddtosequence_1_BusElem27, ChangeMode_equal_MMAddtosequence_1_BusElem28, ChangeMode_equal_MMAddtosequence_1_BusElem29, ChangeMode_equal_MMAddtosequence_1_BusElem30, ChangeMode_equal_MMAddtosequence_1_BusElem31, ChangeMode_equal_MMAddtosequence_1_BusElem32, ChangeMode_equal_MMAddtosequence_1_BusElem33, ChangeMode_equal_MMAddtosequence_1_BusElem34, ChangeMode_equal_MMAddtosequence_1_BusElem35, ChangeMode_equal_MMAddtosequence_1_BusElem36, ChangeMode_equal_MMAddtosequence_1_BusElem37, ChangeMode_equal_MMAddtosequence_1_BusElem38, ChangeMode_equal_MMAddtosequence_1_BusElem39) = ChangeMode_equal_MMAddtosequence_20_350_condExecSS(In1_1, BusCreator_1_BusElem1, BusCreator_1_BusElem2, BusCreator_1_BusElem3, BusCreator_1_BusElem4, BusCreator_1_BusElem5, BusCreator_1_BusElem6, BusCreator_1_BusElem7, BusCreator_1_BusElem8, BusCreator_1_BusElem9, BusCreator_1_BusElem10, BusCreator_1_BusElem11, BusCreator_1_BusElem12, BusCreator_1_BusElem13, BusCreator_1_BusElem14, BusCreator_1_BusElem15, BusCreator_1_BusElem16, BusCreator_1_BusElem17, BusCreator_1_BusElem18, BusCreator_1_BusElem19, BusCreator_1_BusElem20, BusCreator_1_BusElem21, BusCreator_1_BusElem22, BusCreator_1_BusElem23, BusCreator_1_BusElem24, BusCreator_1_BusElem25, BusCreator_1_BusElem26, BusCreator_1_BusElem27, BusCreator_1_BusElem28, BusCreator_1_BusElem29, BusCreator_1_BusElem30, BusCreator_1_BusElem31, BusCreator_1_BusElem32, BusCreator_1_BusElem33, BusCreator_1_BusElem34, BusCreator_1_BusElem35, BusCreator_1_BusElem36, BusCreator_1_BusElem37, BusCreator_1_BusElem38, BusCreator_1_BusElem39, ExecutionCond_of_ChangeMode_equal_MMAddtosequence_20_350, __time_step, __nb_step);
971 925
	Constant_1 = 0;
972 926
	Constant1_1 = 1;
973 927
	Constant2_1 = 1;
......
1042 996
	Out2_32 = BusSelector_33;
1043 997
	Out2_33 = BusSelector_34;
1044 998
	Out2_34 = BusSelector_35;
1045
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
999
	__time_step = (0.0 -> ((pre __time_step) + 0.20));
1046 1000
	__nb_step = (0 -> ((pre __nb_step) + 1));
1047 1001
tel
1048 1002

  

Also available in: Unified diff