Project

General

Profile

Download (1.42 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:29:16
5
node  Delay_Delay1_29_557(u : real;
6
	x0 : real;
7
	reset : bool;)
8
returns(pre_u : real;);
9
var pre_u1 : real;
10
let
11
	pre_u1 = (x0 -> if reset then
12
		x0
13
	    else (pre u));
14
	pre_u = pre_u1;
15
tel
16

    
17
node  Delay_Delay2_30_495(u : real;
18
	x0 : real;
19
	reset : bool;)
20
returns(pre_u : real;);
21
var pre_u1 : real;
22
let
23
	pre_u1 = (x0 -> if reset then
24
		x0
25
	    else (pre u));
26
	pre_u = pre_u1;
27
tel
28

    
29
(*
30
Original block name: Delay6_PP
31
*)
32
node  Delay6_PP(U_1 : real;
33
	U_2 : real;
34
	U1_1 : bool;)
35
returns(Out1_1 : real;
36
	Out1_2 : real;
37
	Out2_1 : real;
38
	Out2_2 : real;);
39
var Delay1_1 : real;
40
	Delay1_2 : real;
41
	Reset_Delay1_29_557 : bool;
42
	Delay2_1 : real;
43
	Delay2_2 : real;
44
	Reset_Delay2_30_495 : bool;
45
	__time_step : real;
46
	__nb_step : int;
47
let
48
	Reset_Delay1_29_557 = (false -> U1_1);
49
	Delay1_1 = Delay_Delay1_29_557(U_1, 1.000000000000000, Reset_Delay1_29_557);
50
	Delay1_2 = Delay_Delay1_29_557(U_2, 1.000000000000000, Reset_Delay1_29_557);
51
	Reset_Delay2_30_495 = (false -> (U1_1 or ((pre U1_1) and (not U1_1))));
52
	Delay2_1 = Delay_Delay2_30_495(U_1, 1.000000000000000, Reset_Delay2_30_495);
53
	Delay2_2 = Delay_Delay2_30_495(U_2, 1.000000000000000, Reset_Delay2_30_495);
54
	Out1_1 = Delay2_1;
55
	Out1_2 = Delay2_2;
56
	Out2_1 = Delay1_1;
57
	Out2_2 = Delay1_2;
58
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
59
	__nb_step = (0 -> ((pre __nb_step) + 1));
60
tel
61

    
(415-415/1153)