Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_rise_test / detect_rise_test.lus @ 6c3ea955

History | View | Annotate | Download (5.55 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node detect_rise_test (In1_1_1 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In2_1_4 : real; In2_1_5 : real; In3_1_1 : int; In3_1_2 : int; In3_1_3 : int; In3_1_4 : int; In3_1_5 : int; In3_1_6 : int; In4_1_1 : real; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In5_1_4 : real; In5_1_5 : real; In6_1_1 : int; In6_1_2 : int; In6_1_3 : int; In6_1_4 : int; In6_1_5 : int; In6_1_6 : int; In7_1_1 : bool; In8_1_1 : bool)
6
returns (Out1_1_1 : bool;
7
	Out2_2_1 : bool; Out2_2_2 : bool; Out2_2_3 : bool; Out2_2_4 : bool; Out2_2_5 : bool;
8
	Out3_3_1 : bool; Out3_3_2 : bool; Out3_3_3 : bool; Out3_3_4 : bool; Out3_3_5 : bool; Out3_3_6 : bool;
9
	Out4_4_1 : bool;
10
	Out5_5_1 : bool; Out5_5_2 : bool; Out5_5_3 : bool; Out5_5_4 : bool; Out5_5_5 : bool;
11
	Out6_6_1 : bool; Out6_6_2 : bool; Out6_6_3 : bool; Out6_6_4 : bool; Out6_6_5 : bool; Out6_6_6 : bool;
12
	Out7_7_1 : bool;
13
	Out8_8_1 : bool); 
14
var
15
	DetectRiseNonnegative_1_1 : bool;
16
	DetectRiseNonnegative1_1_1 : bool; DetectRiseNonnegative1_1_2 : bool; DetectRiseNonnegative1_1_3 : bool; DetectRiseNonnegative1_1_4 : bool; DetectRiseNonnegative1_1_5 : bool;
17
	DetectRiseNonnegative2_1_1 : bool; DetectRiseNonnegative2_1_2 : bool; DetectRiseNonnegative2_1_3 : bool; DetectRiseNonnegative2_1_4 : bool; DetectRiseNonnegative2_1_5 : bool; DetectRiseNonnegative2_1_6 : bool;
18
	DetectRiseNonnegative3_1_1 : bool;
19
	DetectRisePositive_1_1 : bool;
20
	DetectRisePositive1_1_1 : bool; DetectRisePositive1_1_2 : bool; DetectRisePositive1_1_3 : bool; DetectRisePositive1_1_4 : bool; DetectRisePositive1_1_5 : bool;
21
	DetectRisePositive2_1_1 : bool; DetectRisePositive2_1_2 : bool; DetectRisePositive2_1_3 : bool; DetectRisePositive2_1_4 : bool; DetectRisePositive2_1_5 : bool; DetectRisePositive2_1_6 : bool;
22
	DetectRisePositive3_1_1 : bool;
23
	i_virtual_local : real;
24
let 
25
	DetectRiseNonnegative_1_1 = In4_1_1 >= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In4_1_1) >= 0.0);
26
	DetectRiseNonnegative1_1_1 = In5_1_1 >= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_1) >= 0.0);
27
	DetectRiseNonnegative1_1_2 = In5_1_2 >= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_2) >= 0.0);
28
	DetectRiseNonnegative1_1_3 = In5_1_3 >= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_3) >= 0.0);
29
	DetectRiseNonnegative1_1_4 = In5_1_4 >= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_4) >= 0.0);
30
	DetectRiseNonnegative1_1_5 = In5_1_5 >= 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In5_1_5) >= 0.0);
31
	DetectRiseNonnegative2_1_1 = In6_1_1 >= 0 and not ((if 0=0 then false else true) -> pre (In6_1_1) >= 0);
32
	DetectRiseNonnegative2_1_2 = In6_1_2 >= 0 and not ((if 0=0 then false else true) -> pre (In6_1_2) >= 0);
33
	DetectRiseNonnegative2_1_3 = In6_1_3 >= 0 and not ((if 0=0 then false else true) -> pre (In6_1_3) >= 0);
34
	DetectRiseNonnegative2_1_4 = In6_1_4 >= 0 and not ((if 0=0 then false else true) -> pre (In6_1_4) >= 0);
35
	DetectRiseNonnegative2_1_5 = In6_1_5 >= 0 and not ((if 0=0 then false else true) -> pre (In6_1_5) >= 0);
36
	DetectRiseNonnegative2_1_6 = In6_1_6 >= 0 and not ((if 0=0 then false else true) -> pre (In6_1_6) >= 0);
37
	DetectRiseNonnegative3_1_1 = true and not (false -> true);
38
	DetectRisePositive_1_1 = In1_1_1 > 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In1_1_1) > 0.0);
39
	DetectRisePositive1_1_1 = In2_1_1 > 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_1) > 0.0);
40
	DetectRisePositive1_1_2 = In2_1_2 > 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_2) > 0.0);
41
	DetectRisePositive1_1_3 = In2_1_3 > 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_3) > 0.0);
42
	DetectRisePositive1_1_4 = In2_1_4 > 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_4) > 0.0);
43
	DetectRisePositive1_1_5 = In2_1_5 > 0.0 and not ((if 0.00000000=0.0 then false else true) -> pre (In2_1_5) > 0.0);
44
	DetectRisePositive2_1_1 = In3_1_1 > 0 and not ((if 0=0 then false else true) -> pre (In3_1_1) > 0);
45
	DetectRisePositive2_1_2 = In3_1_2 > 0 and not ((if 0=0 then false else true) -> pre (In3_1_2) > 0);
46
	DetectRisePositive2_1_3 = In3_1_3 > 0 and not ((if 0=0 then false else true) -> pre (In3_1_3) > 0);
47
	DetectRisePositive2_1_4 = In3_1_4 > 0 and not ((if 0=0 then false else true) -> pre (In3_1_4) > 0);
48
	DetectRisePositive2_1_5 = In3_1_5 > 0 and not ((if 0=0 then false else true) -> pre (In3_1_5) > 0);
49
	DetectRisePositive2_1_6 = In3_1_6 > 0 and not ((if 0=0 then false else true) -> pre (In3_1_6) > 0);
50
	DetectRisePositive3_1_1 = In7_1_1 and not (false -> pre (In7_1_1));
51
	Out1_1_1 = DetectRisePositive_1_1;
52
	Out2_2_1 = DetectRisePositive1_1_1;
53
	Out2_2_2 = DetectRisePositive1_1_2;
54
	Out2_2_3 = DetectRisePositive1_1_3;
55
	Out2_2_4 = DetectRisePositive1_1_4;
56
	Out2_2_5 = DetectRisePositive1_1_5;
57
	Out3_3_1 = DetectRisePositive2_1_1;
58
	Out3_3_2 = DetectRisePositive2_1_2;
59
	Out3_3_3 = DetectRisePositive2_1_3;
60
	Out3_3_4 = DetectRisePositive2_1_4;
61
	Out3_3_5 = DetectRisePositive2_1_5;
62
	Out3_3_6 = DetectRisePositive2_1_6;
63
	Out4_4_1 = DetectRiseNonnegative_1_1;
64
	Out5_5_1 = DetectRiseNonnegative1_1_1;
65
	Out5_5_2 = DetectRiseNonnegative1_1_2;
66
	Out5_5_3 = DetectRiseNonnegative1_1_3;
67
	Out5_5_4 = DetectRiseNonnegative1_1_4;
68
	Out5_5_5 = DetectRiseNonnegative1_1_5;
69
	Out6_6_1 = DetectRiseNonnegative2_1_1;
70
	Out6_6_2 = DetectRiseNonnegative2_1_2;
71
	Out6_6_3 = DetectRiseNonnegative2_1_3;
72
	Out6_6_4 = DetectRiseNonnegative2_1_4;
73
	Out6_6_5 = DetectRiseNonnegative2_1_5;
74
	Out6_6_6 = DetectRiseNonnegative2_1_6;
75
	Out7_7_1 = DetectRisePositive3_1_1;
76
	Out8_8_1 = DetectRiseNonnegative3_1_1;
77
	i_virtual_local= 0.0 -> 1.0;
78
tel
79