Project

General

Profile

Download (1.34 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:01:53
5
(*
6
Original block name: Constant2_PP
7
*)
8
node  Constant2_PP(_virtual : bool;)
9
returns(Out7_1 : real;
10
	Out7_2 : real;
11
	Out7_3 : real;
12
	Out7_4 : real;
13
	Out8_1 : int;
14
	Out8_2 : int;
15
	Out8_3 : int;
16
	Out8_4 : int;
17
	Out9_1 : bool;
18
	Out9_2 : bool;
19
	Out9_3 : bool;
20
	Out9_4 : bool;);
21
var Constant6_1 : real;
22
	Constant6_2 : real;
23
	Constant6_3 : real;
24
	Constant6_4 : real;
25
	Constant7_1 : int;
26
	Constant7_2 : int;
27
	Constant7_3 : int;
28
	Constant7_4 : int;
29
	Constant8_1 : bool;
30
	Constant8_2 : bool;
31
	Constant8_3 : bool;
32
	Constant8_4 : bool;
33
	__time_step : real;
34
	__nb_step : int;
35
let
36
	Constant6_1 = 2.000000000000000;
37
	Constant6_2 = 4.000000000000000;
38
	Constant6_3 = 3.000000000000000;
39
	Constant6_4 = 5.000000000000000;
40
	Constant7_1 = 2;
41
	Constant7_2 = 4;
42
	Constant7_3 = 3;
43
	Constant7_4 = 5;
44
	Constant8_1 = true;
45
	Constant8_2 = true;
46
	Constant8_3 = true;
47
	Constant8_4 = true;
48
	Out7_1 = Constant6_1;
49
	Out7_2 = Constant6_2;
50
	Out7_3 = Constant6_3;
51
	Out7_4 = Constant6_4;
52
	Out8_1 = Constant7_1;
53
	Out8_2 = Constant7_2;
54
	Out8_3 = Constant7_3;
55
	Out8_4 = Constant7_4;
56
	Out9_1 = Constant8_1;
57
	Out9_2 = Constant8_2;
58
	Out9_3 = Constant8_3;
59
	Out9_4 = Constant8_4;
60
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
61
	__nb_step = (0 -> ((pre __nb_step) + 1));
62
tel
63

    
(349-349/1153)