Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_relop_multi_test / relop_multi_test.lus @ 6c3ea955

History | View | Annotate | Download (4.73 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node relop_multi_test (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In3_1_1 : int; In3_1_2 : int; In3_1_3 : int; In4_1_1 : int; In5_1_1 : bool; In6_1_1 : bool; In6_1_2 : bool; In6_1_3 : bool; In19_1_1 : real; In19_1_2 : real; In19_1_3 : real; In19_1_4 : real; In19_1_5 : real; In19_1_6 : real; In20_1_1 : real; In21_1_1 : int; In22_1_1 : int; In22_1_2 : int; In22_1_3 : int; In22_1_4 : int; In22_1_5 : int; In22_1_6 : int; In23_1_1 : bool; In23_1_2 : bool; In23_1_3 : bool; In23_1_4 : bool; In23_1_5 : bool; In23_1_6 : bool; In24_1_1 : bool; In24_1_2 : bool; In24_1_3 : bool; In24_1_4 : bool; In24_1_5 : bool; In24_1_6 : bool)
6
returns (Out1_1_1 : bool; Out1_1_2 : bool; Out1_1_3 : bool;
7
	Out2_2_1 : bool; Out2_2_2 : bool; Out2_2_3 : bool;
8
	Out3_3_1 : bool; Out3_3_2 : bool; Out3_3_3 : bool;
9
	Out10_4_1 : bool; Out10_4_2 : bool; Out10_4_3 : bool; Out10_4_4 : bool; Out10_4_5 : bool; Out10_4_6 : bool;
10
	Out11_5_1 : bool; Out11_5_2 : bool; Out11_5_3 : bool; Out11_5_4 : bool; Out11_5_5 : bool; Out11_5_6 : bool;
11
	Out12_6_1 : bool; Out12_6_2 : bool; Out12_6_3 : bool; Out12_6_4 : bool; Out12_6_5 : bool; Out12_6_6 : bool); 
12
var
13
	RelationalOperator_1_1 : bool; RelationalOperator_1_2 : bool; RelationalOperator_1_3 : bool;
14
	RelationalOperator1_1_1 : bool; RelationalOperator1_1_2 : bool; RelationalOperator1_1_3 : bool;
15
	RelationalOperator10_1_1 : bool; RelationalOperator10_1_2 : bool; RelationalOperator10_1_3 : bool; RelationalOperator10_1_4 : bool; RelationalOperator10_1_5 : bool; RelationalOperator10_1_6 : bool;
16
	RelationalOperator11_1_1 : bool; RelationalOperator11_1_2 : bool; RelationalOperator11_1_3 : bool; RelationalOperator11_1_4 : bool; RelationalOperator11_1_5 : bool; RelationalOperator11_1_6 : bool;
17
	RelationalOperator2_1_1 : bool; RelationalOperator2_1_2 : bool; RelationalOperator2_1_3 : bool;
18
	RelationalOperator9_1_1 : bool; RelationalOperator9_1_2 : bool; RelationalOperator9_1_3 : bool; RelationalOperator9_1_4 : bool; RelationalOperator9_1_5 : bool; RelationalOperator9_1_6 : bool;
19
	i_virtual_local : real;
20
let 
21
	RelationalOperator_1_1 = In1_1_1 <= In2_1_1;
22
	RelationalOperator_1_2 = In1_1_2 <= In2_1_2;
23
	RelationalOperator_1_3 = In1_1_3 <= In2_1_3;
24
	RelationalOperator1_1_1 = In3_1_1 <= In4_1_1;
25
	RelationalOperator1_1_2 = In3_1_2 <= In4_1_1;
26
	RelationalOperator1_1_3 = In3_1_3 <= In4_1_1;
27
	RelationalOperator10_1_1 = In21_1_1 < In22_1_1;
28
	RelationalOperator10_1_2 = In21_1_1 < In22_1_2;
29
	RelationalOperator10_1_3 = In21_1_1 < In22_1_3;
30
	RelationalOperator10_1_4 = In21_1_1 < In22_1_4;
31
	RelationalOperator10_1_5 = In21_1_1 < In22_1_5;
32
	RelationalOperator10_1_6 = In21_1_1 < In22_1_6;
33
	RelationalOperator11_1_1 = (if In23_1_1 then 1 else 0) < (if In24_1_1 then 1 else 0);
34
	RelationalOperator11_1_2 = (if In23_1_2 then 1 else 0) < (if In24_1_2 then 1 else 0);
35
	RelationalOperator11_1_3 = (if In23_1_3 then 1 else 0) < (if In24_1_3 then 1 else 0);
36
	RelationalOperator11_1_4 = (if In23_1_4 then 1 else 0) < (if In24_1_4 then 1 else 0);
37
	RelationalOperator11_1_5 = (if In23_1_5 then 1 else 0) < (if In24_1_5 then 1 else 0);
38
	RelationalOperator11_1_6 = (if In23_1_6 then 1 else 0) < (if In24_1_6 then 1 else 0);
39
	RelationalOperator2_1_1 = (if In5_1_1 then 1 else 0) <= (if In6_1_1 then 1 else 0);
40
	RelationalOperator2_1_2 = (if In5_1_1 then 1 else 0) <= (if In6_1_2 then 1 else 0);
41
	RelationalOperator2_1_3 = (if In5_1_1 then 1 else 0) <= (if In6_1_3 then 1 else 0);
42
	RelationalOperator9_1_1 = In19_1_1 < In20_1_1;
43
	RelationalOperator9_1_2 = In19_1_2 < In20_1_1;
44
	RelationalOperator9_1_3 = In19_1_3 < In20_1_1;
45
	RelationalOperator9_1_4 = In19_1_4 < In20_1_1;
46
	RelationalOperator9_1_5 = In19_1_5 < In20_1_1;
47
	RelationalOperator9_1_6 = In19_1_6 < In20_1_1;
48
	Out1_1_1 = RelationalOperator_1_1;
49
	Out1_1_2 = RelationalOperator_1_2;
50
	Out1_1_3 = RelationalOperator_1_3;
51
	Out2_2_1 = RelationalOperator1_1_1;
52
	Out2_2_2 = RelationalOperator1_1_2;
53
	Out2_2_3 = RelationalOperator1_1_3;
54
	Out3_3_1 = RelationalOperator2_1_1;
55
	Out3_3_2 = RelationalOperator2_1_2;
56
	Out3_3_3 = RelationalOperator2_1_3;
57
	Out10_4_1 = RelationalOperator9_1_1;
58
	Out10_4_2 = RelationalOperator9_1_2;
59
	Out10_4_3 = RelationalOperator9_1_3;
60
	Out10_4_4 = RelationalOperator9_1_4;
61
	Out10_4_5 = RelationalOperator9_1_5;
62
	Out10_4_6 = RelationalOperator9_1_6;
63
	Out11_5_1 = RelationalOperator10_1_1;
64
	Out11_5_2 = RelationalOperator10_1_2;
65
	Out11_5_3 = RelationalOperator10_1_3;
66
	Out11_5_4 = RelationalOperator10_1_4;
67
	Out11_5_5 = RelationalOperator10_1_5;
68
	Out11_5_6 = RelationalOperator10_1_6;
69
	Out12_6_1 = RelationalOperator11_1_1;
70
	Out12_6_2 = RelationalOperator11_1_2;
71
	Out12_6_3 = RelationalOperator11_1_3;
72
	Out12_6_4 = RelationalOperator11_1_4;
73
	Out12_6_5 = RelationalOperator11_1_5;
74
	Out12_6_6 = RelationalOperator11_1_6;
75
	i_virtual_local= 0.0 -> 1.0;
76
tel
77