Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (716 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:25:10
5
(*
6
Original block name: Concatenate4_PP
7
*)
8
node  Concatenate4_PP(In1_1 : real;
9
	In2_1 : real;
10
	In3_1 : real;)
11
returns(Out2_1 : real;
12
	Out2_2 : real;
13
	Out2_3 : real;);
14
var VectorConcatenate_1 : real;
15
	VectorConcatenate_2 : real;
16
	VectorConcatenate_3 : real;
17
	__time_step : real;
18
	__nb_step : int;
19
let
20
	VectorConcatenate_1 = In1_1;
21
	VectorConcatenate_2 = In2_1;
22
	VectorConcatenate_3 = In3_1;
23
	Out2_1 = VectorConcatenate_1;
24
	Out2_2 = VectorConcatenate_2;
25
	Out2_3 = VectorConcatenate_3;
26
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
27
	__nb_step = (0 -> ((pre __nb_step) + 1));
28
tel