Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_relop_test / relop_test.lus @ 6c3ea955

History | View | Annotate | Download (3.4 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node relop_test (In1_1_1 : real; In2_1_1 : real; In3_1_1 : int; In4_1_1 : int; In5_1_1 : bool; In6_1_1 : real; In7_1_1 : real; In8_1_1 : real; In9_1_1 : int; In10_1_1 : int; In11_1_1 : bool; In12_1_1 : bool; In13_1_1 : real; In14_1_1 : real; In15_1_1 : int; In16_1_1 : int; In17_1_1 : bool; In18_1_1 : bool; In19_1_1 : real; In20_1_1 : real; In21_1_1 : int; In22_1_1 : int; In23_1_1 : bool; In24_1_1 : bool; In25_1_1 : real; In26_1_1 : real; In27_1_1 : int; In28_1_1 : int; In29_1_1 : bool; In30_1_1 : bool; In31_1_1 : real; In32_1_1 : real; In33_1_1 : int; In34_1_1 : int; In35_1_1 : bool; In36_1_1 : bool)
6
returns (Out1_1_1 : bool;
7
	Out2_2_1 : bool;
8
	Out3_3_1 : bool;
9
	Out4_4_1 : bool;
10
	Out5_5_1 : bool;
11
	Out6_6_1 : bool;
12
	Out7_7_1 : bool;
13
	Out8_8_1 : bool;
14
	Out9_9_1 : bool;
15
	Out10_10_1 : bool;
16
	Out11_11_1 : bool;
17
	Out12_12_1 : bool;
18
	Out13_13_1 : bool;
19
	Out14_14_1 : bool;
20
	Out15_15_1 : bool;
21
	Out16_16_1 : bool;
22
	Out17_17_1 : bool;
23
	Out18_18_1 : bool); 
24
var
25
	RelationalOperator_1_1 : bool;
26
	RelationalOperator1_1_1 : bool;
27
	RelationalOperator10_1_1 : bool;
28
	RelationalOperator11_1_1 : bool;
29
	RelationalOperator12_1_1 : bool;
30
	RelationalOperator13_1_1 : bool;
31
	RelationalOperator14_1_1 : bool;
32
	RelationalOperator15_1_1 : bool;
33
	RelationalOperator16_1_1 : bool;
34
	RelationalOperator17_1_1 : bool;
35
	RelationalOperator2_1_1 : bool;
36
	RelationalOperator3_1_1 : bool;
37
	RelationalOperator4_1_1 : bool;
38
	RelationalOperator5_1_1 : bool;
39
	RelationalOperator6_1_1 : bool;
40
	RelationalOperator7_1_1 : bool;
41
	RelationalOperator8_1_1 : bool;
42
	RelationalOperator9_1_1 : bool;
43
	i_virtual_local : real;
44
let 
45
	RelationalOperator_1_1 = In1_1_1 <= In2_1_1;
46
	RelationalOperator1_1_1 = In3_1_1 <= In4_1_1;
47
	RelationalOperator10_1_1 = In21_1_1 < In22_1_1;
48
	RelationalOperator11_1_1 = (if In23_1_1 then 1 else 0) < (if In24_1_1 then 1 else 0);
49
	RelationalOperator12_1_1 = In25_1_1 >= In26_1_1;
50
	RelationalOperator13_1_1 = In27_1_1 >= In28_1_1;
51
	RelationalOperator14_1_1 = (if In29_1_1 then 1 else 0) >= (if In30_1_1 then 1 else 0);
52
	RelationalOperator15_1_1 = In31_1_1 > In32_1_1;
53
	RelationalOperator16_1_1 = In33_1_1 > In34_1_1;
54
	RelationalOperator17_1_1 = (if In35_1_1 then 1 else 0) > (if In36_1_1 then 1 else 0);
55
	RelationalOperator2_1_1 = (if In5_1_1 then 1.0 else 0.0) <= In6_1_1;
56
	RelationalOperator3_1_1 = In7_1_1 = In8_1_1;
57
	RelationalOperator4_1_1 = In9_1_1 = In10_1_1;
58
	RelationalOperator5_1_1 = (if In11_1_1 then 1 else 0) = (if In12_1_1 then 1 else 0);
59
	RelationalOperator6_1_1 = not(In13_1_1 = In14_1_1);
60
	RelationalOperator7_1_1 = not(In15_1_1 = In16_1_1);
61
	RelationalOperator8_1_1 = not((if In17_1_1 then 1 else 0) = (if In18_1_1 then 1 else 0));
62
	RelationalOperator9_1_1 = In19_1_1 < In20_1_1;
63
	Out1_1_1 = RelationalOperator_1_1;
64
	Out2_2_1 = RelationalOperator1_1_1;
65
	Out3_3_1 = RelationalOperator2_1_1;
66
	Out4_4_1 = RelationalOperator3_1_1;
67
	Out5_5_1 = RelationalOperator4_1_1;
68
	Out6_6_1 = RelationalOperator5_1_1;
69
	Out7_7_1 = RelationalOperator6_1_1;
70
	Out8_8_1 = RelationalOperator7_1_1;
71
	Out9_9_1 = RelationalOperator8_1_1;
72
	Out10_10_1 = RelationalOperator9_1_1;
73
	Out11_11_1 = RelationalOperator10_1_1;
74
	Out12_12_1 = RelationalOperator11_1_1;
75
	Out13_13_1 = RelationalOperator12_1_1;
76
	Out14_14_1 = RelationalOperator13_1_1;
77
	Out15_15_1 = RelationalOperator14_1_1;
78
	Out16_16_1 = RelationalOperator15_1_1;
79
	Out17_17_1 = RelationalOperator16_1_1;
80
	Out18_18_1 = RelationalOperator17_1_1;
81
	i_virtual_local= 0.0 -> 1.0;
82
tel
83