CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by CoCoSim2.

-- Compiler: Lustre compiler 2 (ToLustre.m)

-- Time: 03-Dec-2018 22:26:37

(*

Original block name: Constant4/Detector5

*)

node  Detector5_7_035(In_1 : bool;

	__time_step : real;

	__nb_step : int;)

returns(Out_1 : int;

	Out1_1 : int;

	Out2_1 : int;);

var Constant1_1 : int;

	Constant2_1 : int;

	Constant3_1 : int;

let

	Constant1_1 = 1;

	Constant2_1 = 3;

	Constant3_1 = 6;

	Out_1 = Constant1_1;

	Out1_1 = Constant2_1;

	Out2_1 = Constant3_1;

tel

(*

Original block name: Constant4

*)

node  Constant4(In5_1 : bool;)

returns(Out_1 : int;

	Out1_1 : int;

	Out2_1 : int;);

var Detector5_1 : int;

	Detector5_2 : int;

	Detector5_3 : int;

	__time_step : real;

	__nb_step : int;

let

	(Detector5_1, Detector5_2, Detector5_3) = Detector5_7_035(In5_1, __time_step, __nb_step);

	Out_1 = Detector5_1;

	Out1_1 = Detector5_2;

	Out2_1 = Detector5_3;

	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));

	__nb_step = (0 -> ((pre __nb_step) + 1));

tel