Project

General

Profile

Download (3.93 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
(* Generated Lustre Interface file from ForIterator_bio_bug_PP.LUSTREC.lus *)
2
(* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:22:16 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type enabled_IfActionSubsystem_73_071__type = enum {Active_IfActionSubsystem_73_071, Inactive_IfActionSubsystem_73_071 };
6
7
type enabled_IfActionSubsystem1_86_275__type = enum {Active_IfActionSubsystem1_86_275, Inactive_IfActionSubsystem1_86_275 };
8
9
function IfActionSubsystem1_86_275 (__time_step: real;
10
__nb_step: int) returns (H_1: real;
11
y_1: real);
12
13
function IfActionSubsystem_73_071 (SS_readings_1: real;
14
__time_step: real;
15
__nb_step: int) returns (H_1: real;
16
y_1: real);
17
18
function enabled_IfActionSubsystem1_86_275__Active_IfActionSubsystem1_86_275_handler_until (enabled_IfActionSubsystem1_86_275__restart_act: bool;
19
__time_step: real;
20
__nb_step: int) returns (enabled_IfActionSubsystem1_86_275__restart_in: bool;
21
enabled_IfActionSubsystem1_86_275__state_in: enabled_IfActionSubsystem1_86_275__type;
22
H_1_out: real;
23
y_1_out: real);
24
25
function enabled_IfActionSubsystem1_86_275__Active_IfActionSubsystem1_86_275_unless (enabled_IfActionSubsystem1_86_275__restart_in: bool;
26
_isEnabled: bool) returns (enabled_IfActionSubsystem1_86_275__restart_act: bool;
27
enabled_IfActionSubsystem1_86_275__state_act: enabled_IfActionSubsystem1_86_275__type);
28
29
function enabled_IfActionSubsystem1_86_275__Inactive_IfActionSubsystem1_86_275_handler_until (enabled_IfActionSubsystem1_86_275__restart_act: bool;
30
pre_H_1: real;
31
pre_y_1: real) returns (enabled_IfActionSubsystem1_86_275__restart_in: bool;
32
enabled_IfActionSubsystem1_86_275__state_in: enabled_IfActionSubsystem1_86_275__type;
33
H_1_out: real;
34
y_1_out: real);
35
36
function enabled_IfActionSubsystem1_86_275__Inactive_IfActionSubsystem1_86_275_unless (enabled_IfActionSubsystem1_86_275__restart_in: bool;
37
_isEnabled: bool) returns (enabled_IfActionSubsystem1_86_275__restart_act: bool;
38
enabled_IfActionSubsystem1_86_275__state_act: enabled_IfActionSubsystem1_86_275__type);
39
40
function enabled_IfActionSubsystem_73_071__Active_IfActionSubsystem_73_071_handler_until (enabled_IfActionSubsystem_73_071__restart_act: bool;
41
SS_readings_1: real;
42
__time_step: real;
43
__nb_step: int) returns (enabled_IfActionSubsystem_73_071__restart_in: bool;
44
enabled_IfActionSubsystem_73_071__state_in: enabled_IfActionSubsystem_73_071__type;
45
H_1_out: real;
46
y_1_out: real);
47
48
function enabled_IfActionSubsystem_73_071__Active_IfActionSubsystem_73_071_unless (enabled_IfActionSubsystem_73_071__restart_in: bool;
49
_isEnabled: bool) returns (enabled_IfActionSubsystem_73_071__restart_act: bool;
50
enabled_IfActionSubsystem_73_071__state_act: enabled_IfActionSubsystem_73_071__type);
51
52
function enabled_IfActionSubsystem_73_071__Inactive_IfActionSubsystem_73_071_handler_until (enabled_IfActionSubsystem_73_071__restart_act: bool;
53
pre_H_1: real;
54
pre_y_1: real) returns (enabled_IfActionSubsystem_73_071__restart_in: bool;
55
enabled_IfActionSubsystem_73_071__state_in: enabled_IfActionSubsystem_73_071__type;
56
H_1_out: real;
57
y_1_out: real);
58
59
function enabled_IfActionSubsystem_73_071__Inactive_IfActionSubsystem_73_071_unless (enabled_IfActionSubsystem_73_071__restart_in: bool;
60
_isEnabled: bool) returns (enabled_IfActionSubsystem_73_071__restart_act: bool;
61
enabled_IfActionSubsystem_73_071__state_act: enabled_IfActionSubsystem_73_071__type);
62
63
node IfActionSubsystem1_86_275_automaton (_isEnabled: bool;
64
__time_step: real;
65
__nb_step: int) returns (H_1: real;
66
y_1: real);
67
68
node IfActionSubsystem_73_071_automaton (SS_readings_1: real;
69
_isEnabled: bool;
70
__time_step: real;
71
__nb_step: int) returns (H_1: real;
72
y_1: real);
73
74
node ForIteratorSubsystem_67_061 (SS_readings_1: real;
75
__time_step: real;
76
__nb_step: int;
77
_iterationVariable: int) returns (H_1: real;
78
y_1: real);
79
80
node ForIteratorSubsystem_67_061_iterator (SS_readings_1: real;
81
__time_step: real;
82
__nb_step: int) returns (H_1: real;
83
y_1: real);
84
85
node ForIterator_bio_bug_PP (In1_1: real) returns (Out1_1: real;
86
Out2_1: real);
87