Project

General

Profile

Download (905 Bytes) 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 23:06:50
5
(*
6
Original block name: arrow_PP/arrow1
7
*)
8
node  arrow1_95_094(initialvalue_1 : real;
9
	nextvalue_1 : real;
10
	__time_step : real;
11
	__nb_step : int;)
12
returns(output_1 : real;);
13
var Memory_1 : bool;
14
	Switch_1 : real;
15
	false_1 : bool;
16
let
17
	Memory_1 = (true -> (pre false_1));
18
	Switch_1 = if Memory_1 then
19
		initialvalue_1
20
	    else nextvalue_1;
21
	false_1 = false;
22
	output_1 = Switch_1;
23
tel
24

    
25
(*
26
Original block name: arrow_PP
27
*)
28
node  arrow_PP(population0_1 : real;
29
	population1_1 : real;)
30
returns(Out1_1 : real;);
31
var arrow1_1 : real;
32
	__time_step : real;
33
	__nb_step : int;
34
let
35
	arrow1_1 = arrow1_95_094(population0_1, population1_1, __time_step, __nb_step);
36
	Out1_1 = arrow1_1;
37
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
38
	__nb_step = (0 -> ((pre __nb_step) + 1));
39
tel
40

    
(1025-1025/1153)