Project

General

Profile

Download (1.09 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:02:01
5
(*
6
Original block name: Constant3_PP
7
*)
8
node  Constant3_PP(_virtual : bool;)
9
returns(Out7_1 : real;
10
	Out7_2 : real;
11
	Out7_3 : real;
12
	Out7_4 : real;
13
	Out7_5 : real;
14
	Out7_6 : real;
15
	Out1_1 : real;
16
	Out1_2 : real;);
17
var Constant1_1 : real;
18
	Constant1_2 : real;
19
	Constant6_1 : real;
20
	Constant6_2 : real;
21
	Constant6_3 : real;
22
	Constant6_4 : real;
23
	Constant6_5 : real;
24
	Constant6_6 : real;
25
	__time_step : real;
26
	__nb_step : int;
27
let
28
	Constant1_1 = 1.000000000000000;
29
	Constant1_2 = 2.000000000000000;
30
	Constant6_1 = 1.000000000000000;
31
	Constant6_2 = 3.000000000000000;
32
	Constant6_3 = 5.000000000000000;
33
	Constant6_4 = 2.000000000000000;
34
	Constant6_5 = 4.000000000000000;
35
	Constant6_6 = 6.000000000000000;
36
	Out7_1 = Constant6_1;
37
	Out7_2 = Constant6_2;
38
	Out7_3 = Constant6_3;
39
	Out7_4 = Constant6_4;
40
	Out7_5 = Constant6_5;
41
	Out7_6 = Constant6_6;
42
	Out1_1 = Constant1_1;
43
	Out1_2 = Constant1_2;
44
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
45
	__nb_step = (0 -> ((pre __nb_step) + 1));
46
tel