Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_detect_change_test / detect_change_test.lus @ 6c3ea955

History | View | Annotate | Download (6.03 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node detect_change_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 : real; In8_1_1 : real; In8_1_2 : real; In8_1_3 : real; In8_1_4 : real; In8_1_5 : real; In9_1_1 : int; In9_1_2 : int; In9_1_3 : int; In9_1_4 : int; In9_1_5 : int; In9_1_6 : int; In10_1_1 : bool; In11_1_1 : bool; In12_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; Out8_8_2 : bool; Out8_8_3 : bool; Out8_8_4 : bool; Out8_8_5 : bool;
14
	Out9_9_1 : bool; Out9_9_2 : bool; Out9_9_3 : bool; Out9_9_4 : bool; Out9_9_5 : bool; Out9_9_6 : bool;
15
	Out10_10_1 : bool;
16
	Out11_11_1 : bool;
17
	Out12_12_1 : bool); 
18
var
19
	DetectChange_1_1 : bool;
20
	DetectChange1_1_1 : bool; DetectChange1_1_2 : bool; DetectChange1_1_3 : bool; DetectChange1_1_4 : bool; DetectChange1_1_5 : bool;
21
	DetectChange2_1_1 : bool; DetectChange2_1_2 : bool; DetectChange2_1_3 : bool; DetectChange2_1_4 : bool; DetectChange2_1_5 : bool; DetectChange2_1_6 : bool;
22
	DetectChange3_1_1 : bool;
23
	DetectDecrease_1_1 : bool;
24
	DetectDecrease1_1_1 : bool; DetectDecrease1_1_2 : bool; DetectDecrease1_1_3 : bool; DetectDecrease1_1_4 : bool; DetectDecrease1_1_5 : bool;
25
	DetectDecrease2_1_1 : bool; DetectDecrease2_1_2 : bool; DetectDecrease2_1_3 : bool; DetectDecrease2_1_4 : bool; DetectDecrease2_1_5 : bool; DetectDecrease2_1_6 : bool;
26
	DetectDecrease3_1_1 : bool;
27
	DetectIncrease_1_1 : bool;
28
	DetectIncrease1_1_1 : bool; DetectIncrease1_1_2 : bool; DetectIncrease1_1_3 : bool; DetectIncrease1_1_4 : bool; DetectIncrease1_1_5 : bool;
29
	DetectIncrease2_1_1 : bool; DetectIncrease2_1_2 : bool; DetectIncrease2_1_3 : bool; DetectIncrease2_1_4 : bool; DetectIncrease2_1_5 : bool; DetectIncrease2_1_6 : bool;
30
	DetectIncrease3_1_1 : bool;
31
	i_virtual_local : real;
32
let 
33
	DetectChange_1_1 = not (In1_1_1 = (0.00000000 -> pre (In1_1_1)));
34
	DetectChange1_1_1 = not (In2_1_1 = (0.00000000 -> pre (In2_1_1)));
35
	DetectChange1_1_2 = not (In2_1_2 = (0.00000000 -> pre (In2_1_2)));
36
	DetectChange1_1_3 = not (In2_1_3 = (0.00000000 -> pre (In2_1_3)));
37
	DetectChange1_1_4 = not (In2_1_4 = (0.00000000 -> pre (In2_1_4)));
38
	DetectChange1_1_5 = not (In2_1_5 = (0.00000000 -> pre (In2_1_5)));
39
	DetectChange2_1_1 = not (In3_1_1 = (0 -> pre (In3_1_1)));
40
	DetectChange2_1_2 = not (In3_1_2 = (0 -> pre (In3_1_2)));
41
	DetectChange2_1_3 = not (In3_1_3 = (0 -> pre (In3_1_3)));
42
	DetectChange2_1_4 = not (In3_1_4 = (0 -> pre (In3_1_4)));
43
	DetectChange2_1_5 = not (In3_1_5 = (0 -> pre (In3_1_5)));
44
	DetectChange2_1_6 = not (In3_1_6 = (0 -> pre (In3_1_6)));
45
	DetectChange3_1_1 = not (In10_1_1 = (false -> pre (In10_1_1)));
46
	DetectDecrease_1_1 = In4_1_1 < (0.00000000 -> pre (In4_1_1));
47
	DetectDecrease1_1_1 = In5_1_1 < (0.00000000 -> pre (In5_1_1));
48
	DetectDecrease1_1_2 = In5_1_2 < (0.00000000 -> pre (In5_1_2));
49
	DetectDecrease1_1_3 = In5_1_3 < (0.00000000 -> pre (In5_1_3));
50
	DetectDecrease1_1_4 = In5_1_4 < (0.00000000 -> pre (In5_1_4));
51
	DetectDecrease1_1_5 = In5_1_5 < (0.00000000 -> pre (In5_1_5));
52
	DetectDecrease2_1_1 = In6_1_1 < (0 -> pre (In6_1_1));
53
	DetectDecrease2_1_2 = In6_1_2 < (0 -> pre (In6_1_2));
54
	DetectDecrease2_1_3 = In6_1_3 < (0 -> pre (In6_1_3));
55
	DetectDecrease2_1_4 = In6_1_4 < (0 -> pre (In6_1_4));
56
	DetectDecrease2_1_5 = In6_1_5 < (0 -> pre (In6_1_5));
57
	DetectDecrease2_1_6 = In6_1_6 < (0 -> pre (In6_1_6));
58
	DetectDecrease3_1_1 = not(In11_1_1) and (false -> pre(In11_1_1));
59
	DetectIncrease_1_1 = In7_1_1 > (0.00000000 -> pre (In7_1_1));
60
	DetectIncrease1_1_1 = In8_1_1 > (0.00000000 -> pre (In8_1_1));
61
	DetectIncrease1_1_2 = In8_1_2 > (0.00000000 -> pre (In8_1_2));
62
	DetectIncrease1_1_3 = In8_1_3 > (0.00000000 -> pre (In8_1_3));
63
	DetectIncrease1_1_4 = In8_1_4 > (0.00000000 -> pre (In8_1_4));
64
	DetectIncrease1_1_5 = In8_1_5 > (0.00000000 -> pre (In8_1_5));
65
	DetectIncrease2_1_1 = In9_1_1 > (0 -> pre (In9_1_1));
66
	DetectIncrease2_1_2 = In9_1_2 > (0 -> pre (In9_1_2));
67
	DetectIncrease2_1_3 = In9_1_3 > (0 -> pre (In9_1_3));
68
	DetectIncrease2_1_4 = In9_1_4 > (0 -> pre (In9_1_4));
69
	DetectIncrease2_1_5 = In9_1_5 > (0 -> pre (In9_1_5));
70
	DetectIncrease2_1_6 = In9_1_6 > (0 -> pre (In9_1_6));
71
	DetectIncrease3_1_1 = In12_1_1 and not (false -> pre(In12_1_1));
72
	Out1_1_1 = DetectChange_1_1;
73
	Out2_2_1 = DetectChange1_1_1;
74
	Out2_2_2 = DetectChange1_1_2;
75
	Out2_2_3 = DetectChange1_1_3;
76
	Out2_2_4 = DetectChange1_1_4;
77
	Out2_2_5 = DetectChange1_1_5;
78
	Out3_3_1 = DetectChange2_1_1;
79
	Out3_3_2 = DetectChange2_1_2;
80
	Out3_3_3 = DetectChange2_1_3;
81
	Out3_3_4 = DetectChange2_1_4;
82
	Out3_3_5 = DetectChange2_1_5;
83
	Out3_3_6 = DetectChange2_1_6;
84
	Out4_4_1 = DetectDecrease_1_1;
85
	Out5_5_1 = DetectDecrease1_1_1;
86
	Out5_5_2 = DetectDecrease1_1_2;
87
	Out5_5_3 = DetectDecrease1_1_3;
88
	Out5_5_4 = DetectDecrease1_1_4;
89
	Out5_5_5 = DetectDecrease1_1_5;
90
	Out6_6_1 = DetectDecrease2_1_1;
91
	Out6_6_2 = DetectDecrease2_1_2;
92
	Out6_6_3 = DetectDecrease2_1_3;
93
	Out6_6_4 = DetectDecrease2_1_4;
94
	Out6_6_5 = DetectDecrease2_1_5;
95
	Out6_6_6 = DetectDecrease2_1_6;
96
	Out7_7_1 = DetectIncrease_1_1;
97
	Out8_8_1 = DetectIncrease1_1_1;
98
	Out8_8_2 = DetectIncrease1_1_2;
99
	Out8_8_3 = DetectIncrease1_1_3;
100
	Out8_8_4 = DetectIncrease1_1_4;
101
	Out8_8_5 = DetectIncrease1_1_5;
102
	Out9_9_1 = DetectIncrease2_1_1;
103
	Out9_9_2 = DetectIncrease2_1_2;
104
	Out9_9_3 = DetectIncrease2_1_3;
105
	Out9_9_4 = DetectIncrease2_1_4;
106
	Out9_9_5 = DetectIncrease2_1_5;
107
	Out9_9_6 = DetectIncrease2_1_6;
108
	Out10_10_1 = DetectChange3_1_1;
109
	Out11_11_1 = DetectDecrease3_1_1;
110
	Out12_12_1 = DetectIncrease3_1_1;
111
	i_virtual_local= 0.0 -> 1.0;
112
tel
113