Project

General

Profile

Download (1.46 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:12:47
5
node  _max_real(x : real;
6
	y : real;)
7
returns(z : real;);
8
let
9
	z = if (x > y) then
10
		x
11
	    else y;
12
tel
13

    
14
node  _min_real(x : real;
15
	y : real;)
16
returns(z : real;);
17
let
18
	z = if (x < y) then
19
		x
20
	    else y;
21
tel
22

    
23
(*
24
Original block name: flattening_test_PP/Saturation
25
Dynamic
26
*)
27
node  SaturationDynamic_125_016(up_1 : real;
28
	In_1 : real;
29
	low_1 : real;
30
	__time_step : real;
31
	__nb_step : int;)
32
returns(Out_1 : real;);
33
var lower_1 : real;
34
	upper_1 : real;
35
let
36
	lower_1 = _max_real(upper_1, low_1);
37
	upper_1 = _min_real(up_1, In_1);
38
	Out_1 = lower_1;
39
tel
40

    
41
(*
42
Original block name: flattening_test_PP/Subsystem
43
*)
44
node  Subsystem_161_016(In1_1 : real;
45
	__time_step : real;
46
	__nb_step : int;)
47
returns(Out1_1 : real;);
48
let
49
	Out1_1 = In1_1;
50
tel
51

    
52
(*
53
Original block name: flattening_test_PP
54
*)
55
node  flattening_test_PP(In1_1 : real;)
56
returns(Out1_1 : real;);
57
var Constant_1 : real;
58
	Constant1_1 : real;
59
	SaturationDynamic_1 : real;
60
	Subsystem_1 : real;
61
	__time_step : real;
62
	__nb_step : int;
63
let
64
	Constant_1 = 1.000000000000000;
65
	Constant1_1 = 1.000000000000000;
66
	SaturationDynamic_1 = SaturationDynamic_125_016(Constant_1, In1_1, Constant1_1, __time_step, __nb_step);
67
	Subsystem_1 = Subsystem_161_016(SaturationDynamic_1, __time_step, __nb_step);
68
	Out1_1 = Subsystem_1;
69
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
70
	__nb_step = (0 -> ((pre __nb_step) + 1));
71
tel
72

    
(1063-1063/1153)