Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.43 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:12:28
5
(*
6
Original block name: flattening_3_test_PP/Atomic
7
*)
8
node  Atomic_94_232(In1_1 : real;
9
	__time_step : real;
10
	__nb_step : int;)
11
returns(Out1_1 : real;);
12
var UnitDelay_1 : real;
13
let
14
	UnitDelay_1 = (0.000000000000000 -> (pre In1_1));
15
	Out1_1 = UnitDelay_1;
16
tel
17
18
(*
19
Original block name: flattening_3_test_PP/SubVirtual/SubAtomic/SubSubVirtua2
20
*)
21
node  SubSubVirtua2_105_017(SubSubIn1_1 : real;
22
	SubSubIn2_1 : real;
23
	SubSubIn3_1 : real;
24
	__time_step : real;
25
	__nb_step : int;)
26
returns(SubSubOut1_1 : real;);
27
var Product2_1 : real;
28
let
29
	Product2_1 = 1.0 * SubSubIn1_1 * SubSubIn2_1 * SubSubIn3_1;
30
	SubSubOut1_1 = Product2_1;
31
tel
32
33
(*
34
Original block name: flattening_3_test_PP/SubVirtual/SubAtomic/SubSubVirtual
35
*)
36
node  SubSubVirtual_115_477(SubSubIn1_1 : real;
37
	SubSubIn2_1 : real;
38
	__time_step : real;
39
	__nb_step : int;)
40
returns(SubSubOut1_1 : real;);
41
var Product2_1 : real;
42
let
43
	Product2_1 = 1.0 * SubSubIn1_1 * SubSubIn2_1;
44
	SubSubOut1_1 = Product2_1;
45
tel
46
47
(*
48
Original block name: flattening_3_test_PP/SubVirtual/SubAtomic/SubSubVirtual1
49
*)
50
node  SubSubVirtual1_123_231(SubSubIn1_1 : real;
51
	__time_step : real;
52
	__nb_step : int;)
53
returns(SubSubOut1_1 : real;);
54
var Product2_1 : real;
55
let
56
	Product2_1 = 1.0 * SubSubIn1_1 * SubSubIn1_1;
57
	SubSubOut1_1 = Product2_1;
58
tel
59
60
(*
61
Original block name: flattening_3_test_PP/SubVirtual/SubAtomic/SubSubVirtual3
62
*)
63
node  SubSubVirtual3_131_023(SubSubIn1_1 : real;
64
	__time_step : real;
65
	__nb_step : int;)
66
returns(SubSubOut1_1 : real;);
67
var Product2_1 : real;
68
let
69
	Product2_1 = 1.0 * SubSubIn1_1 * SubSubIn1_1 * SubSubIn1_1;
70
	SubSubOut1_1 = Product2_1;
71
tel
72
73
(*
74
Original block name: flattening_3_test_PP/SubVirtual/SubAtomic
75
*)
76
node  SubAtomic_102_015(SubIn1_1 : real;
77
	__time_step : real;
78
	__nb_step : int;)
79
returns(SubOut1_1 : real;
80
	SubOut2_1 : real;);
81
var Product_1 : real;
82
	SubSubVirtua2_1 : real;
83
	SubSubVirtual_1 : real;
84
	SubSubVirtual1_1 : real;
85
	SubSubVirtual3_1 : real;
86
let
87
	Product_1 = 1.0 * SubIn1_1 * SubIn1_1;
88
	SubSubVirtua2_1 = SubSubVirtua2_105_017(SubSubVirtual_1, SubSubVirtual_1, SubSubVirtual_1, __time_step, __nb_step);
89
	SubSubVirtual_1 = SubSubVirtual_115_477(Product_1, SubSubVirtual1_1, __time_step, __nb_step);
90
	SubSubVirtual1_1 = SubSubVirtual1_123_231(SubIn1_1, __time_step, __nb_step);
91
	SubSubVirtual3_1 = SubSubVirtual3_131_023(SubSubVirtual_1, __time_step, __nb_step);
92
	SubOut1_1 = SubSubVirtua2_1;
93
	SubOut2_1 = SubSubVirtual3_1;
94
tel
95
96
(*
97
Original block name: flattening_3_test_PP/SubVirtual
98
*)
99
node  SubVirtual_100_016(In1_1 : real;
100
	__time_step : real;
101
	__nb_step : int;)
102
returns(Out1_1 : real;
103
	Out2_1 : real;);
104
var SubAtomic_1 : real;
105
	SubAtomic_2 : real;
106
	Sum_1 : real;
107
let
108
	(SubAtomic_1, SubAtomic_2) = SubAtomic_102_015(Sum_1, __time_step, __nb_step);
109
	Sum_1 = 0.0 + In1_1 + In1_1;
110
	Out1_1 = SubAtomic_1;
111
	Out2_1 = SubAtomic_2;
112
tel
113
114
(*
115
Original block name: flattening_3_test_PP
116
*)
117
node  flattening_3_test_PP(In1_1 : real;
118
	In2_1 : real;)
119
returns(Out1_1 : real;
120
	Out2_1 : real;
121
	Out3_1 : real;);
122
var Atomic_1 : real;
123
	SubVirtual_1 : real;
124
	SubVirtual_2 : real;
125
	__time_step : real;
126
	__nb_step : int;
127
let
128
	Atomic_1 = Atomic_94_232(In2_1, __time_step, __nb_step);
129
	(SubVirtual_1, SubVirtual_2) = SubVirtual_100_016(In1_1, __time_step, __nb_step);
130
	Out1_1 = SubVirtual_1;
131
	Out2_1 = Atomic_1;
132
	Out3_1 = SubVirtual_2;
133
	__time_step = (0.0 -> ((pre __time_step) + 1.000000000000000));
134
	__nb_step = (0 -> ((pre __nb_step) + 1));
135
tel