CristalCaveGem » LustreC

-- This file has been generated by CoCoSim2.

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

-- Time: 06-Apr-2018 19:01:00

--external libraries

#open <conv>

--Round towards minus infinity..

 node _Floor (x: real)

returns(y:int);

let

	y= if x < 0.0 then real_to_int(x) - 1 

	else real_to_int(x);

tel

node int_to_uint32 (x: int)

returns(y:int);

let

	y= if x > 4294967295 then 0 + rem_int_int((x - 4294967295 - 1),4294967296) 

	else if x < 0 then 4294967295 + rem_int_int((x - (0) + 1),4294967296) 

	else x;

tel

node rem_int_int (x, y: int)

returns(z:int);

let

	z= if (x < 0) and (y > 0) then (x mod -y) 

	else (x mod y);

tel

--Simulink code

-- Original block name: datatypeconversion13_PP

node datatypeconversion13_PP (In20_1:real;)

 returns (Out20_1:int;);

-- Contract In progress

var DataTypeConversion21_1:int;

	__time_step:real;

let

	__time_step = 0.0 -> pre __time_step + 0.200000000000000;

	DataTypeConversion21_1 = int_to_uint32(_Floor(In20_1));

	Out20_1 = DataTypeConversion21_1;

tel