Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (1.84 KB)

1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 23:09:53
5
(*
6
Original block name: auto_dataType_Error_PP
7
*)
8
node  auto_dataType_Error_PP(_virtual : bool;)
9
returns(Out2_1 : real;
10
	Out2_2 : real;
11
	Out2_3 : real;
12
	Out1_1 : real;
13
	Out1_2 : real;
14
	Out1_3 : real;);
15
var BusCreator1_1 : real;
16
	BusCreator1_2 : real;
17
	BusCreator1_3 : real;
18
	BusCreator1_4 : real;
19
	BusCreator1_5 : real;
20
	BusCreator1_6 : real;
21
	BusSelector_1 : real;
22
	BusSelector_2 : real;
23
	BusSelector_3 : real;
24
	BusSelector_4 : real;
25
	BusSelector_5 : real;
26
	BusSelector_6 : real;
27
	Constant_1 : real;
28
	Gain_1 : real;
29
	Gain1_1 : real;
30
	Gain2_1 : real;
31
	Gain3_1 : real;
32
	Gain4_1 : real;
33
	Gain5_1 : real;
34
	Mux2_1 : real;
35
	Mux2_2 : real;
36
	Mux2_3 : real;
37
	Mux3_1 : real;
38
	Mux3_2 : real;
39
	Mux3_3 : real;
40
	__time_step : real;
41
	__nb_step : int;
42
let
43
	BusCreator1_1 = Mux2_1;
44
	BusCreator1_2 = Mux2_2;
45
	BusCreator1_3 = Mux2_3;
46
	BusCreator1_4 = Mux3_1;
47
	BusCreator1_5 = Mux3_2;
48
	BusCreator1_6 = Mux3_3;
49
	BusSelector_1 = BusCreator1_4;
50
	BusSelector_2 = BusCreator1_5;
51
	BusSelector_3 = BusCreator1_6;
52
	BusSelector_4 = BusCreator1_1;
53
	BusSelector_5 = BusCreator1_2;
54
	BusSelector_6 = BusCreator1_3;
55
	Constant_1 = 1.000000000000000;
56
	Gain_1 = (Constant_1 * 1.000000000000000);
57
	Gain1_1 = (Constant_1 * 2.000000000000000);
58
	Gain2_1 = (Constant_1 * 3.000000000000000);
59
	Gain3_1 = (Constant_1 * 4.000000000000000);
60
	Gain4_1 = (Constant_1 * 5.000000000000000);
61
	Gain5_1 = (Constant_1 * 6.000000000000000);
62
	Mux2_1 = Gain_1;
63
	Mux2_2 = Gain1_1;
64
	Mux2_3 = Gain2_1;
65
	Mux3_1 = Gain3_1;
66
	Mux3_2 = Gain4_1;
67
	Mux3_3 = Gain5_1;
68
	Out2_1 = BusSelector_1;
69
	Out2_2 = BusSelector_2;
70
	Out2_3 = BusSelector_3;
71
	Out1_1 = BusSelector_4;
72
	Out1_2 = BusSelector_5;
73
	Out1_3 = BusSelector_6;
74
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
75
	__nb_step = (0 -> ((pre __nb_step) + 1));
76
tel