Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (1.2 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:09:19
5
(*
6
Original block name: Mux2_PP
7
*)
8
node  Mux2_PP(In1_1 : real;
9
	In2_1 : real;
10
	In3_1 : real;
11
	In4_1 : real;
12
	In4_2 : real;
13
	In4_3 : real;
14
	In5_1 : real;
15
	In5_2 : real;
16
	In6_1 : real;
17
	In6_2 : real;
18
	In6_3 : real;)
19
returns(Out1_1 : real;
20
	Out1_2 : real;
21
	Out2_1 : real;
22
	Out2_2 : real;
23
	Out2_3 : real;
24
	Out2_4 : real;
25
	Out3_1 : real;
26
	Out3_2 : real;
27
	Out3_3 : real;
28
	Out3_4 : real;
29
	Out3_5 : real;);
30
var Mux_1 : real;
31
	Mux_2 : real;
32
	Mux1_1 : real;
33
	Mux1_2 : real;
34
	Mux1_3 : real;
35
	Mux1_4 : real;
36
	Mux2_1 : real;
37
	Mux2_2 : real;
38
	Mux2_3 : real;
39
	Mux2_4 : real;
40
	Mux2_5 : real;
41
	__time_step : real;
42
	__nb_step : int;
43
let
44
	Mux_1 = In1_1;
45
	Mux_2 = In2_1;
46
	Mux1_1 = In3_1;
47
	Mux1_2 = In4_1;
48
	Mux1_3 = In4_2;
49
	Mux1_4 = In4_3;
50
	Mux2_1 = In5_1;
51
	Mux2_2 = In5_2;
52
	Mux2_3 = In6_1;
53
	Mux2_4 = In6_2;
54
	Mux2_5 = In6_3;
55
	Out1_1 = Mux_1;
56
	Out1_2 = Mux_2;
57
	Out2_1 = Mux1_1;
58
	Out2_2 = Mux1_2;
59
	Out2_3 = Mux1_3;
60
	Out2_4 = Mux1_4;
61
	Out3_1 = Mux2_1;
62
	Out3_2 = Mux2_2;
63
	Out3_3 = Mux2_3;
64
	Out3_4 = Mux2_4;
65
	Out3_5 = Mux2_5;
66
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
67
	__nb_step = (0 -> ((pre __nb_step) + 1));
68
tel