Project

General

Profile

Download (494 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:27:16
5
(*
6
Original block name: datatypeconversion2_PP
7
*)
8
node  datatypeconversion2_PP(In2_1 : real;)
9
returns(Out2_1 : real;);
10
var DataTypeConversion1_1 : real;
11
	__time_step : real;
12
	__nb_step : int;
13
let
14
	DataTypeConversion1_1 = In2_1;
15
	Out2_1 = DataTypeConversion1_1;
16
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
17
	__nb_step = (0 -> ((pre __nb_step) + 1));
18
tel
19

    
(1038-1038/1153)