Project

General

Profile

Download (584 Bytes) Statistics
| Branch: | Tag: | Revision:
1
-- 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
25

    
(1045-1045/1153)