Project

General

Profile

Download (940 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(* Generated Lustre Interface file from BusSelector5_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:21:58 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
node USERINPUTS_78_250 (__time_step: real;
6
__nb_step: int) returns (user_input_1: int;
7
user_input_2: int;
8
user_input_3: int;
9
user_input_4: int;
10
user_input_5: int;
11
user_input_6: int;
12
user_input_7: real;
13
user_input_8: real;
14
user_input_9: real;
15
user_input_10: real;
16
user_input_11: real;
17
user_input_12: real;
18
user_input_13: bool;
19
user_input_14: bool;
20
user_input_15: bool;
21
user_input_16: real;
22
user_input_17: bool;
23
user_input_18: bool;
24
user_input_19: bool;
25
user_input_20: bool;
26
user_input_21: bool);
27

    
28
node BusSelector5_PP (_virtual: bool) returns (Out1_1: real;
29
Out1_2: real;
30
Out1_3: real;
31
Out2_1: real;
32
Out3_1: real;
33
Out4_1: real;
34
Out5_1: bool;
35
Out5_2: bool;
36
Out5_3: bool;
37
Out6_1: int;
38
Out6_2: int;
39
Out6_3: int);
40

    
41

    
(236-236/1153)