Project

General

Profile

Download (5.13 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
(* Generated Lustre Interface file from IF_with_EnabledSS_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:20 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type enabled_ActionSubsystem1_50_010__type = enum {Active_ActionSubsystem1_50_010, Inactive_ActionSubsystem1_50_010 };
6
7
type enabled_ActionSubsystem2_57_013__type = enum {Active_ActionSubsystem2_57_013, Inactive_ActionSubsystem2_57_013 };
8
9
type enabled_ActionSubsystem3_64_010__type = enum {Active_ActionSubsystem3_64_010, Inactive_ActionSubsystem3_64_010 };
10
11
node ActionSubsystem1_50_010 (In1_1: real;
12
__time_step: real;
13
__nb_step: int) returns (Out1_1: real);
14
15
node ActionSubsystem2_57_013 (In1_1: real;
16
__time_step: real;
17
__nb_step: int) returns (Out1_1: real);
18
19
node ActionSubsystem3_64_010 (In1_1: real;
20
__time_step: real;
21
__nb_step: int) returns (Out1_1: real);
22
23
node enabled_ActionSubsystem1_50_010__Active_ActionSubsystem1_50_010_handler_until (enabled_ActionSubsystem1_50_010__restart_act: bool;
24
In1_1: real;
25
__time_step: real;
26
__nb_step: int) returns (enabled_ActionSubsystem1_50_010__restart_in: bool;
27
enabled_ActionSubsystem1_50_010__state_in: enabled_ActionSubsystem1_50_010__type;
28
Out1_1_out: real);
29
30
function enabled_ActionSubsystem1_50_010__Active_ActionSubsystem1_50_010_unless (enabled_ActionSubsystem1_50_010__restart_in: bool;
31
_isEnabled: bool) returns (enabled_ActionSubsystem1_50_010__restart_act: bool;
32
enabled_ActionSubsystem1_50_010__state_act: enabled_ActionSubsystem1_50_010__type);
33
34
function enabled_ActionSubsystem1_50_010__Inactive_ActionSubsystem1_50_010_handler_until (enabled_ActionSubsystem1_50_010__restart_act: bool;
35
pre_Out1_1: real) returns (enabled_ActionSubsystem1_50_010__restart_in: bool;
36
enabled_ActionSubsystem1_50_010__state_in: enabled_ActionSubsystem1_50_010__type;
37
Out1_1_out: real);
38
39
function enabled_ActionSubsystem1_50_010__Inactive_ActionSubsystem1_50_010_unless (enabled_ActionSubsystem1_50_010__restart_in: bool;
40
_isEnabled: bool) returns (enabled_ActionSubsystem1_50_010__restart_act: bool;
41
enabled_ActionSubsystem1_50_010__state_act: enabled_ActionSubsystem1_50_010__type);
42
43
node enabled_ActionSubsystem2_57_013__Active_ActionSubsystem2_57_013_handler_until (enabled_ActionSubsystem2_57_013__restart_act: bool;
44
In1_1: real;
45
__time_step: real;
46
__nb_step: int) returns (enabled_ActionSubsystem2_57_013__restart_in: bool;
47
enabled_ActionSubsystem2_57_013__state_in: enabled_ActionSubsystem2_57_013__type;
48
Out1_1_out: real);
49
50
function enabled_ActionSubsystem2_57_013__Active_ActionSubsystem2_57_013_unless (enabled_ActionSubsystem2_57_013__restart_in: bool;
51
_isEnabled: bool) returns (enabled_ActionSubsystem2_57_013__restart_act: bool;
52
enabled_ActionSubsystem2_57_013__state_act: enabled_ActionSubsystem2_57_013__type);
53
54
function enabled_ActionSubsystem2_57_013__Inactive_ActionSubsystem2_57_013_handler_until (enabled_ActionSubsystem2_57_013__restart_act: bool;
55
pre_Out1_1: real) returns (enabled_ActionSubsystem2_57_013__restart_in: bool;
56
enabled_ActionSubsystem2_57_013__state_in: enabled_ActionSubsystem2_57_013__type;
57
Out1_1_out: real);
58
59
function enabled_ActionSubsystem2_57_013__Inactive_ActionSubsystem2_57_013_unless (enabled_ActionSubsystem2_57_013__restart_in: bool;
60
_isEnabled: bool) returns (enabled_ActionSubsystem2_57_013__restart_act: bool;
61
enabled_ActionSubsystem2_57_013__state_act: enabled_ActionSubsystem2_57_013__type);
62
63
node enabled_ActionSubsystem3_64_010__Active_ActionSubsystem3_64_010_handler_until (enabled_ActionSubsystem3_64_010__restart_act: bool;
64
In1_1: real;
65
__time_step: real;
66
__nb_step: int) returns (enabled_ActionSubsystem3_64_010__restart_in: bool;
67
enabled_ActionSubsystem3_64_010__state_in: enabled_ActionSubsystem3_64_010__type;
68
Out1_1_out: real);
69
70
function enabled_ActionSubsystem3_64_010__Active_ActionSubsystem3_64_010_unless (enabled_ActionSubsystem3_64_010__restart_in: bool;
71
_isEnabled: bool) returns (enabled_ActionSubsystem3_64_010__restart_act: bool;
72
enabled_ActionSubsystem3_64_010__state_act: enabled_ActionSubsystem3_64_010__type);
73
74
function enabled_ActionSubsystem3_64_010__Inactive_ActionSubsystem3_64_010_handler_until (enabled_ActionSubsystem3_64_010__restart_act: bool;
75
pre_Out1_1: real) returns (enabled_ActionSubsystem3_64_010__restart_in: bool;
76
enabled_ActionSubsystem3_64_010__state_in: enabled_ActionSubsystem3_64_010__type;
77
Out1_1_out: real);
78
79
function enabled_ActionSubsystem3_64_010__Inactive_ActionSubsystem3_64_010_unless (enabled_ActionSubsystem3_64_010__restart_in: bool;
80
_isEnabled: bool) returns (enabled_ActionSubsystem3_64_010__restart_act: bool;
81
enabled_ActionSubsystem3_64_010__state_act: enabled_ActionSubsystem3_64_010__type);
82
83
node ActionSubsystem1_50_010_automaton (In1_1: real;
84
_isEnabled: bool;
85
__time_step: real;
86
__nb_step: int) returns (Out1_1: real);
87
88
node ActionSubsystem2_57_013_automaton (In1_1: real;
89
_isEnabled: bool;
90
__time_step: real;
91
__nb_step: int) returns (Out1_1: real);
92
93
node ActionSubsystem3_64_010_automaton (In1_1: real;
94
_isEnabled: bool;
95
__time_step: real;
96
__nb_step: int) returns (Out1_1: real);
97
98
node IF_with_EnabledSS_PP (In1_1: int;
99
In1_2: int;
100
In1_3: int;
101
In2_1: real;
102
In3_1: int;
103
In3_2: int;
104
In3_3: int) returns (Out1_1: real;
105
Out2_1: real;
106
Out3_1: real);
107