Project

General

Profile

Download (1.44 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:28:48
5
node  Delay_Delay_23_074(u : real;
6
	x0 : real;
7
	reset : bool;
8
	enable : bool;)
9
returns(pre_u : real;);
10
var pre_u1 : real;
11
	pre_u2 : real;
12
let
13
	pre_u1 = (x0 -> if enable then
14
		if reset then
15
		x0
16
	    else (pre pre_u2)
17
	    else (0.0 -> (pre pre_u1)));
18
	pre_u2 = (x0 -> if enable then
19
		if reset then
20
		x0
21
	    else (pre u)
22
	    else (0.0 -> (pre pre_u2)));
23
	pre_u = if enable then
24
		pre_u1
25
	    else (0.0 -> (pre pre_u));
26
tel
27

    
28
(*
29
Original block name: Delay3_PP
30
*)
31
node  Delay3_PP(U_1 : real;
32
	U_2 : real;
33
	Enable_1 : real;
34
	Reset_1 : bool;
35
	x0_1 : real;)
36
returns(Out2_1 : real;
37
	Out2_2 : real;);
38
var Delay_1 : real;
39
	Delay_2 : real;
40
	Reset_Delay_23_074 : bool;
41
	U_1_Delay_23_074 : real;
42
	U_2_Delay_23_074 : real;
43
	__time_step : real;
44
	__nb_step : int;
45
let
46
	Reset_Delay_23_074 = (false -> ((not Reset_1) and (pre Reset_1)));
47
	U_1_Delay_23_074 = if (Enable_1 > 0.0) then
48
		U_1
49
	    else (x0_1 -> (pre U_1_Delay_23_074));
50
	U_2_Delay_23_074 = if (Enable_1 > 0.0) then
51
		U_2
52
	    else (x0_1 -> (pre U_2_Delay_23_074));
53
	Delay_1 = Delay_Delay_23_074(U_1_Delay_23_074, x0_1, Reset_Delay_23_074, (Enable_1 > 0.0));
54
	Delay_2 = Delay_Delay_23_074(U_2_Delay_23_074, x0_1, Reset_Delay_23_074, (Enable_1 > 0.0));
55
	Out2_1 = Delay_1;
56
	Out2_2 = Delay_2;
57
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
58
	__nb_step = (0 -> ((pre __nb_step) + 1));
59
tel
60

    
(397-397/1153)