Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / CompareTo3_PP.LUSTREC.lusi @ cd1faebc

History | View | Annotate | Download (2.41 KB)

1
(* Generated Lustre Interface file from CompareTo3_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:00 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
function bool_to_int (x: bool) returns (y: int);
6

    
7
function CompareToZero1_167_002 (u_1: int;
8
__time_step: real;
9
__nb_step: int) returns (y_1: bool);
10

    
11
function CompareToZero2_168_002 (u_1: bool;
12
__time_step: real;
13
__nb_step: int) returns (y_1: bool);
14

    
15
function CompareToZero3_169_003 (u_1: real;
16
u_2: real;
17
u_3: real;
18
__time_step: real;
19
__nb_step: int) returns (y_1: bool;
20
y_2: bool;
21
y_3: bool);
22

    
23
function CompareToZero4_170_002 (u_1: int;
24
u_2: int;
25
u_3: int;
26
__time_step: real;
27
__nb_step: int) returns (y_1: bool;
28
y_2: bool;
29
y_3: bool);
30

    
31
function CompareToZero5_171_002 (u_1: bool;
32
u_2: bool;
33
u_3: bool;
34
__time_step: real;
35
__nb_step: int) returns (y_1: bool;
36
y_2: bool;
37
y_3: bool);
38

    
39
function CompareToZero6_172_002 (u_1: real;
40
u_2: real;
41
u_3: real;
42
u_4: real;
43
u_5: real;
44
u_6: real;
45
__time_step: real;
46
__nb_step: int) returns (y_1: bool;
47
y_2: bool;
48
y_3: bool;
49
y_4: bool;
50
y_5: bool;
51
y_6: bool);
52

    
53
function CompareToZero7_173_002 (u_1: int;
54
u_2: int;
55
u_3: int;
56
u_4: int;
57
u_5: int;
58
u_6: int;
59
__time_step: real;
60
__nb_step: int) returns (y_1: bool;
61
y_2: bool;
62
y_3: bool;
63
y_4: bool;
64
y_5: bool;
65
y_6: bool);
66

    
67
function CompareToZero8_174_002 (u_1: bool;
68
u_2: bool;
69
u_3: bool;
70
u_4: bool;
71
u_5: bool;
72
u_6: bool;
73
__time_step: real;
74
__nb_step: int) returns (y_1: bool;
75
y_2: bool;
76
y_3: bool;
77
y_4: bool;
78
y_5: bool;
79
y_6: bool);
80

    
81
function CompareToZero_166_002 (u_1: real;
82
__time_step: real;
83
__nb_step: int) returns (y_1: bool);
84

    
85
node CompareTo3_PP (In1_1: real;
86
In2_1: int;
87
In3_1: bool;
88
In4_1: real;
89
In4_2: real;
90
In4_3: real;
91
In5_1: int;
92
In5_2: int;
93
In5_3: int;
94
In6_1: bool;
95
In6_2: bool;
96
In6_3: bool;
97
In7_1: real;
98
In7_2: real;
99
In7_3: real;
100
In7_4: real;
101
In7_5: real;
102
In7_6: real;
103
In8_1: int;
104
In8_2: int;
105
In8_3: int;
106
In8_4: int;
107
In8_5: int;
108
In8_6: int;
109
In9_1: bool;
110
In9_2: bool;
111
In9_3: bool;
112
In9_4: bool;
113
In9_5: bool;
114
In9_6: bool) returns (Out1_1: bool;
115
Out2_1: bool;
116
Out3_1: bool;
117
Out4_1: bool;
118
Out4_2: bool;
119
Out4_3: bool;
120
Out5_1: bool;
121
Out5_2: bool;
122
Out5_3: bool;
123
Out6_1: bool;
124
Out6_2: bool;
125
Out6_3: bool;
126
Out7_1: bool;
127
Out7_2: bool;
128
Out7_3: bool;
129
Out7_4: bool;
130
Out7_5: bool;
131
Out7_6: bool;
132
Out8_1: bool;
133
Out8_2: bool;
134
Out8_3: bool;
135
Out8_4: bool;
136
Out8_5: bool;
137
Out8_6: bool;
138
Out9_1: bool;
139
Out9_2: bool;
140
Out9_3: bool;
141
Out9_4: bool;
142
Out9_5: bool;
143
Out9_6: bool);
144

    
145