Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (814 Bytes)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 23:07:49
5
(*
6
Original block name: TransportDelay_PP
7
*)
8
node  TransportDelay_PP(In4_1 : real;)
9
returns(Out1_1 : real;);
10
var TransportDelay_1 : real;
11
	TransportDelay1_1 : real;
12
	__time_step : real;
13
	__nb_step : int;
14
let
15
	TransportDelay_1 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre (0.000000000000000 -> (pre (0.000000000000000 -> (pre (0.000000000000000 -> (pre In4_1))))))))));
16
	TransportDelay1_1 = (0.000000000000000 -> (pre (0.000000000000000 -> (pre (0.000000000000000 -> (pre (0.000000000000000 -> (pre (0.000000000000000 -> (pre In4_1))))))))));
17
	Out1_1 = TransportDelay_1;
18
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
19
	__nb_step = (0 -> ((pre __nb_step) + 1));
20
tel