Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (584 Bytes)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:28:15
5
node  real_to_bool(x : real;)
6
returns(y : bool;);
7
let
8
	y = (x <> 0.0);
9
tel
10
11
(*
12
Original block name: datatypeconversion9_PP
13
*)
14
node  datatypeconversion9_PP(In9_1 : real;)
15
returns(Out9_1 : bool;);
16
var DataTypeConversion8_1 : bool;
17
	__time_step : real;
18
	__nb_step : int;
19
let
20
	DataTypeConversion8_1 = real_to_bool(In9_1);
21
	Out9_1 = DataTypeConversion8_1;
22
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
23
	__nb_step = (0 -> ((pre __nb_step) + 1));
24
tel