Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (1.36 KB)

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

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

    
7
function real_to_bool (x: real) returns (y: bool);
8

    
9
node Logical (In4_1: real;
10
In4_2: real;
11
In4_3: real;
12
In1_1: int;
13
In1_2: int;
14
In1_3: int;
15
In2_1: real;
16
In2_2: real;
17
In2_3: real;
18
In3_1: real;
19
In3_2: real;
20
In3_3: real;
21
In5_1: real;
22
In5_2: real;
23
In5_3: real;
24
In6_1: real;
25
In6_2: real;
26
In6_3: real;
27
In7_1: real;
28
In7_2: real;
29
In7_3: real;
30
In8_1: real;
31
In8_2: real;
32
In8_3: real;
33
In9_1: real;
34
In9_2: real;
35
In9_3: real;
36
In10_1: real;
37
In10_2: real;
38
In10_3: real;
39
In11_1: real;
40
In11_2: real;
41
In11_3: real;
42
In12_1: real;
43
In12_2: real;
44
In12_3: real;
45
In13_1: real;
46
In13_2: real;
47
In13_3: real;
48
In14_1: real;
49
In15_1: int;
50
In15_2: int;
51
In15_3: int;
52
In16_1: real;
53
In17_1: int;
54
In17_2: int;
55
In17_3: int;
56
In18_1: int;
57
In18_2: int;
58
In18_3: int) returns (Out2_1: bool;
59
Out2_2: bool;
60
Out2_3: bool;
61
Out1_1: bool;
62
Out1_2: bool;
63
Out1_3: bool;
64
Out3_1: bool;
65
Out3_2: bool;
66
Out3_3: bool;
67
Out4_1: bool;
68
Out4_2: bool;
69
Out4_3: bool;
70
Out5_1: bool;
71
Out5_2: bool;
72
Out5_3: bool;
73
Out6_1: bool;
74
Out6_2: bool;
75
Out6_3: bool;
76
Out7_1: bool;
77
Out7_2: bool;
78
Out7_3: bool;
79
Out8_1: bool;
80
Out8_2: bool;
81
Out8_3: bool;
82
Out9_1: bool;
83
Out9_2: bool;
84
Out9_3: bool);
85

    
86