Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_comparetozero_test / comparetozero_test.lus @ 6c3ea955

History | View | Annotate | Download (4.25 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node comparetozero_test (In1_1_1 : real; In2_1_1 : int; In3_1_1 : bool; In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In5_1_1 : int; In5_1_2 : int; In5_1_3 : int; In6_1_1 : bool; In6_1_2 : bool; In6_1_3 : bool; In7_1_1 : real; In7_1_2 : real; In7_1_3 : real; In7_1_4 : real; In7_1_5 : real; In7_1_6 : real; In8_1_1 : int; In8_1_2 : int; In8_1_3 : int; In8_1_4 : int; In8_1_5 : int; In8_1_6 : int; In9_1_1 : bool; In9_1_2 : bool; In9_1_3 : bool; In9_1_4 : bool; In9_1_5 : bool; In9_1_6 : bool)
6
returns (Out1_1_1 : bool;
7
	Out2_2_1 : bool;
8
	Out3_3_1 : bool;
9
	Out4_4_1 : bool; Out4_4_2 : bool; Out4_4_3 : bool;
10
	Out5_5_1 : bool; Out5_5_2 : bool; Out5_5_3 : bool;
11
	Out6_6_1 : bool; Out6_6_2 : bool; Out6_6_3 : bool;
12
	Out7_7_1 : bool; Out7_7_2 : bool; Out7_7_3 : bool; Out7_7_4 : bool; Out7_7_5 : bool; Out7_7_6 : bool;
13
	Out8_8_1 : bool; Out8_8_2 : bool; Out8_8_3 : bool; Out8_8_4 : bool; Out8_8_5 : bool; Out8_8_6 : 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
var
16
	CompareToZero_1_1 : bool;
17
	CompareToZero1_1_1 : bool;
18
	CompareToZero2_1_1 : bool;
19
	CompareToZero3_1_1 : bool; CompareToZero3_1_2 : bool; CompareToZero3_1_3 : bool;
20
	CompareToZero4_1_1 : bool; CompareToZero4_1_2 : bool; CompareToZero4_1_3 : bool;
21
	CompareToZero5_1_1 : bool; CompareToZero5_1_2 : bool; CompareToZero5_1_3 : bool;
22
	CompareToZero6_1_1 : bool; CompareToZero6_1_2 : bool; CompareToZero6_1_3 : bool; CompareToZero6_1_4 : bool; CompareToZero6_1_5 : bool; CompareToZero6_1_6 : bool;
23
	CompareToZero7_1_1 : bool; CompareToZero7_1_2 : bool; CompareToZero7_1_3 : bool; CompareToZero7_1_4 : bool; CompareToZero7_1_5 : bool; CompareToZero7_1_6 : bool;
24
	CompareToZero8_1_1 : bool; CompareToZero8_1_2 : bool; CompareToZero8_1_3 : bool; CompareToZero8_1_4 : bool; CompareToZero8_1_5 : bool; CompareToZero8_1_6 : bool;
25
	i_virtual_local : real;
26
let 
27
	CompareToZero_1_1 = In1_1_1 <= 0.00000000;
28
	CompareToZero1_1_1 = In2_1_1 <= 0;
29
	CompareToZero2_1_1 = (if In3_1_1 then 1.0 else 0.0) <= 0.0;
30
	CompareToZero3_1_1 = In4_1_1 <= 0.00000000;
31
	CompareToZero3_1_2 = In4_1_2 <= 0.00000000;
32
	CompareToZero3_1_3 = In4_1_3 <= 0.00000000;
33
	CompareToZero4_1_1 = In5_1_1 <= 0;
34
	CompareToZero4_1_2 = In5_1_2 <= 0;
35
	CompareToZero4_1_3 = In5_1_3 <= 0;
36
	CompareToZero5_1_1 = (if In6_1_1 then 1.0 else 0.0) <= 0.0;
37
	CompareToZero5_1_2 = (if In6_1_2 then 1.0 else 0.0) <= 0.0;
38
	CompareToZero5_1_3 = (if In6_1_3 then 1.0 else 0.0) <= 0.0;
39
	CompareToZero6_1_1 = In7_1_1 <= 0.00000000;
40
	CompareToZero6_1_2 = In7_1_2 <= 0.00000000;
41
	CompareToZero6_1_3 = In7_1_3 <= 0.00000000;
42
	CompareToZero6_1_4 = In7_1_4 <= 0.00000000;
43
	CompareToZero6_1_5 = In7_1_5 <= 0.00000000;
44
	CompareToZero6_1_6 = In7_1_6 <= 0.00000000;
45
	CompareToZero7_1_1 = In8_1_1 <= 0;
46
	CompareToZero7_1_2 = In8_1_2 <= 0;
47
	CompareToZero7_1_3 = In8_1_3 <= 0;
48
	CompareToZero7_1_4 = In8_1_4 <= 0;
49
	CompareToZero7_1_5 = In8_1_5 <= 0;
50
	CompareToZero7_1_6 = In8_1_6 <= 0;
51
	CompareToZero8_1_1 = (if In9_1_1 then 1.0 else 0.0) <= 0.0;
52
	CompareToZero8_1_2 = (if In9_1_2 then 1.0 else 0.0) <= 0.0;
53
	CompareToZero8_1_3 = (if In9_1_3 then 1.0 else 0.0) <= 0.0;
54
	CompareToZero8_1_4 = (if In9_1_4 then 1.0 else 0.0) <= 0.0;
55
	CompareToZero8_1_5 = (if In9_1_5 then 1.0 else 0.0) <= 0.0;
56
	CompareToZero8_1_6 = (if In9_1_6 then 1.0 else 0.0) <= 0.0;
57
	Out1_1_1 = CompareToZero_1_1;
58
	Out2_2_1 = CompareToZero1_1_1;
59
	Out3_3_1 = CompareToZero2_1_1;
60
	Out4_4_1 = CompareToZero3_1_1;
61
	Out4_4_2 = CompareToZero3_1_2;
62
	Out4_4_3 = CompareToZero3_1_3;
63
	Out5_5_1 = CompareToZero4_1_1;
64
	Out5_5_2 = CompareToZero4_1_2;
65
	Out5_5_3 = CompareToZero4_1_3;
66
	Out6_6_1 = CompareToZero5_1_1;
67
	Out6_6_2 = CompareToZero5_1_2;
68
	Out6_6_3 = CompareToZero5_1_3;
69
	Out7_7_1 = CompareToZero6_1_1;
70
	Out7_7_2 = CompareToZero6_1_2;
71
	Out7_7_3 = CompareToZero6_1_3;
72
	Out7_7_4 = CompareToZero6_1_4;
73
	Out7_7_5 = CompareToZero6_1_5;
74
	Out7_7_6 = CompareToZero6_1_6;
75
	Out8_8_1 = CompareToZero7_1_1;
76
	Out8_8_2 = CompareToZero7_1_2;
77
	Out8_8_3 = CompareToZero7_1_3;
78
	Out8_8_4 = CompareToZero7_1_4;
79
	Out8_8_5 = CompareToZero7_1_5;
80
	Out8_8_6 = CompareToZero7_1_6;
81
	Out9_9_1 = CompareToZero8_1_1;
82
	Out9_9_2 = CompareToZero8_1_2;
83
	Out9_9_3 = CompareToZero8_1_3;
84
	Out9_9_4 = CompareToZero8_1_4;
85
	Out9_9_5 = CompareToZero8_1_5;
86
	Out9_9_6 = CompareToZero8_1_6;
87
	i_virtual_local= 0.0 -> 1.0;
88
tel
89