Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_unitdelay_test / unitdelay_test.lus @ 6c3ea955

History | View | Annotate | Download (1.25 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node unitdelay_test (In1_1_1 : real; In2_1_1 : real; In3_1_1 : bool; In4_1_1 : int; In5_1_1 : int; In6_1_1 : int; In7_1_1 : bool; In8_1_1 : bool; In9_1_1 : bool)
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : real;
8
	Out3_3_1 : bool;
9
	Out4_4_1 : int;
10
	Out5_5_1 : int;
11
	Out6_6_1 : int;
12
	Out7_7_1 : bool;
13
	Out8_8_1 : bool;
14
	Out9_9_1 : bool); 
15
var
16
	UnitDelay_1_1 : real;
17
	UnitDelay1_1_1 : real;
18
	UnitDelay2_1_1 : bool;
19
	UnitDelay3_1_1 : int;
20
	UnitDelay4_1_1 : int;
21
	UnitDelay5_1_1 : int;
22
	UnitDelay6_1_1 : bool;
23
	UnitDelay7_1_1 : bool;
24
	UnitDelay8_1_1 : bool;
25
	i_virtual_local : real;
26
let 
27
	UnitDelay_1_1 = 0.00000000 -> pre In1_1_1;
28
	UnitDelay1_1_1 = 0.00000000 -> pre In2_1_1;
29
	UnitDelay2_1_1 = true -> pre In3_1_1;
30
	UnitDelay3_1_1 = 0 -> pre In4_1_1;
31
	UnitDelay4_1_1 = 0 -> pre In5_1_1;
32
	UnitDelay5_1_1 = 1 -> pre In6_1_1;
33
	UnitDelay6_1_1 = false -> pre In7_1_1;
34
	UnitDelay7_1_1 = false -> pre In8_1_1;
35
	UnitDelay8_1_1 = true -> pre In9_1_1;
36
	Out1_1_1 = UnitDelay_1_1;
37
	Out2_2_1 = UnitDelay1_1_1;
38
	Out3_3_1 = UnitDelay2_1_1;
39
	Out4_4_1 = UnitDelay3_1_1;
40
	Out5_5_1 = UnitDelay4_1_1;
41
	Out6_6_1 = UnitDelay5_1_1;
42
	Out7_7_1 = UnitDelay6_1_1;
43
	Out8_8_1 = UnitDelay7_1_1;
44
	Out9_9_1 = UnitDelay8_1_1;
45
	i_virtual_local= 0.0 -> 1.0;
46
tel
47