CristalCaveGem » LustreC

-- This file has been generated by CoCoSim

-- System nodes

node safe_1_PP_Subsystem (In1_1_1 : int; In3_1_1 : int)

returns (Out1_1_1 : int;

	Out2_2_1 : int); 

var

	Abs_1_1 : int;

	RelationalOperator_1_1 : bool;

	Switch_1_1 : int;

let 

	Abs_1_1 = if Switch_1_1 >= 0 then Switch_1_1 else -Switch_1_1;

	RelationalOperator_1_1 = In1_1_1 >= In3_1_1;

	Switch_1_1 = if RelationalOperator_1_1 then In1_1_1 else In3_1_1;

	Out1_1_1 = Switch_1_1;

	Out2_2_1 = Abs_1_1;

tel

node safe_1_PP (In1_1_1 : int; In2_1_1 : int; In3_1_1 : real)

returns (Out1_1_1 : int;

	Out2_2_1 : int;

	Out3_3_1 : real); 

var

	Subsystem_1_1 : int; Subsystem_2_1 : int;

	i_virtual_local : real;

let 

	(Subsystem_1_1, Subsystem_2_1) = safe_1_PP_Subsystem(In1_1_1, In2_1_1);

	Out1_1_1 = Subsystem_1_1;

	Out2_2_1 = Subsystem_2_1;

	Out3_3_1 = In3_1_1;

	i_virtual_local= 0.0 -> 1.0;

tel