Project

General

Profile

Download (2.25 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
(* Generated Lustre Interface file from Detector1_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:06 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
function abs_int (x: int) returns (y: int);
6
7
function rem_int_int (x: int;
8
y: int) returns (z: int);
9
10
function int_to_uint16 (x: int) returns (y: int);
11
12
node DetectorDelayedFixedDurationResetFalse_495_049 (u_1: bool;
13
reset_1: bool;
14
w_1: int;
15
d_1: int;
16
r_1: int;
17
__time_step: real;
18
__nb_step: int) returns (Out1_1: bool);
19
20
node DetectorDelayedFixedDurationResetFalse_15377_476 (u_1: bool;
21
reset_1: bool;
22
w_1: int;
23
d_1: int;
24
r_1: int;
25
__time_step: real;
26
__nb_step: int) returns (Out1_1: bool);
27
28
node DetectorSynchronizedResetFalse_15410_476 (u_1: bool;
29
reset_1: bool;
30
inW_1: int;
31
__time_step: real;
32
__nb_step: int) returns (Out1_1: bool);
33
34
node DetectorDelayedFixedDurationResetFalse_15445_476 (u_1: bool;
35
reset_1: bool;
36
w_1: int;
37
d_1: int;
38
r_1: int;
39
__time_step: real;
40
__nb_step: int) returns (Out1_1: bool);
41
42
node Subsystem_15505_477 (In_1: bool;
43
reset_1: bool;
44
Obs_1: bool;
45
__time_step: real;
46
__nb_step: int) returns (Out1_1: bool);
47
48
node Detector1_437_045 (In_1: bool;
49
__time_step: real;
50
__nb_step: int) returns (Out_1: bool);
51
52
node Detector2_438_043 (In_1: bool;
53
__time_step: real;
54
__nb_step: int) returns (Out_1: bool);
55
56
node Detector3_439_043 (In_1: bool;
57
reset_1: bool;
58
__time_step: real;
59
__nb_step: int) returns (Out_1: bool);
60
61
node Detector5_440_042 (In_1: bool;
62
__time_step: real;
63
__nb_step: int) returns (Out_1: bool);
64
65
function Implies1_441_042 (A_1: bool;
66
B_1: bool;
67
__time_step: real;
68
__nb_step: int) returns (A_equal__equal__gt_B_1: bool);
69
70
function Implies3_442_042 (A_1: bool;
71
B_1: bool;
72
__time_step: real;
73
__nb_step: int) returns (A_equal__equal__gt_B_1: bool);
74
75
function Implies4_443_043 (A_1: bool;
76
B_1: bool;
77
__time_step: real;
78
__nb_step: int) returns (A_equal__equal__gt_B_1: bool);
79
80
node WithinImplies_450_042 (In_1: bool;
81
Obs_1: bool;
82
__time_step: real;
83
__nb_step: int) returns (Out1_1: bool);
84
85
function bool_to_real (x: bool) returns (y: real);
86
87
node Detector1_PP (In3_1: bool;
88
In4_1: real;
89
In2_1: real;
90
In1_1: real;
91
In5_1: bool;
92
SENSOR_HIGH_1: bool;
93
CMD_1: bool;
94
MANUAL_RESET_1: bool) returns (Out1_1: bool;
95
Out2_1: bool;
96
Out3_1: bool;
97
Out4_1: bool);
98