Project

General

Profile

Download (877 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 22:28:59
5
node  Delay_Delay0_17_062(u : real;
6
	x0 : real;
7
	reset : bool;)
8
returns(pre_u : real;);
9
var pre_u1 : real;
10
	pre_u2 : real;
11
let
12
	pre_u1 = (x0 -> if reset then
13
		x0
14
	    else (pre pre_u2));
15
	pre_u2 = (x0 -> if reset then
16
		x0
17
	    else (pre u));
18
	pre_u = pre_u1;
19
tel
20

    
21
(*
22
Original block name: Delay4_PP
23
*)
24
node  Delay4_PP(T_U_1 : real;
25
	T_Reset_1 : bool;)
26
returns(Out4_1 : real;);
27
var Delay0_1 : real;
28
	Reset_Delay0_17_062 : bool;
29
	__time_step : real;
30
	__nb_step : int;
31
let
32
	Reset_Delay0_17_062 = (false -> (T_Reset_1 and (not (pre T_Reset_1))));
33
	Delay0_1 = Delay_Delay0_17_062(T_U_1, 0.000000000000000, Reset_Delay0_17_062);
34
	Out4_1 = Delay0_1;
35
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
36
	__nb_step = (0 -> ((pre __nb_step) + 1));
37
tel
38

    
(403-403/1153)