Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super12Modif / Super12Modif.lusi @ 79ef5fc5

History | View | Annotate | Download (16.4 KB)

1
(* Generated Lustre Interface file from Super12Modif.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:24 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

    
5
type super12_b__type = enum {POINTSuper12_B, POINT__TO__B_B0_1, B_B0__TO__B_B1_1, B_B1__TO__A_A0_1, B_B1__TO__B_B0_2, B_B0_IDL, B_B1_IDL };
6

    
7

    
8
type super12_a__type = enum {POINTSuper12_A, POINT__TO__A_A0_1, A_A1__TO__A_A0_1, A_A0__TO__B_B1_1, A_A0__TO__A_A1_2, A_A1_IDL, A_A0_IDL };
9

    
10

    
11
type super12_super12__type = enum {POINTSuper12_Super12, POINT__TO__SUPER12_A_1, SUPER12_A__TO__SUPER12_B_1, SUPER12_A_IDL, SUPER12_B_IDL };
12

    
13

    
14
function A_A0_ex (exA0_1: int; idSuper12_A_1: int; isInner: bool) returns (exA0: int; idSuper12_A: int);
15

    
16
function A_A1_ex (idSuper12_A_1: int; isInner: bool) returns (idSuper12_A: int);
17

    
18
function B_B0_en (idSuper12_B_1: int; isInner: bool) returns (idSuper12_B: int);
19

    
20
function B_B1_en (idSuper12_B_1: int; enB1_1: int; isInner: bool) returns (idSuper12_B: int; enB1: int);
21

    
22
function A_A0_en (idSuper12_A_1: int; enA0_1: int; isInner: bool) returns (idSuper12_A: int; enA0: int);
23

    
24
function A_A1_en (idSuper12_A_1: int; isInner: bool) returns (idSuper12_A: int);
25

    
26
function B_B0_ex (idSuper12_B_1: int; isInner: bool) returns (idSuper12_B: int);
27

    
28
function B_B1_ex (exB1_1: int; idSuper12_B_1: int; isInner: bool) returns (exB1: int; idSuper12_B: int);
29

    
30
function A_A0_du (durA0_1: int) returns (durA0: int);
31

    
32
function Super12_A_ex (idSuper12_A_1: int; exA0_1: int; exA_1: int; idSuper12_Super12_1: int; isInner: bool) returns (idSuper12_A: int; exA0: int; exA: int; idSuper12_Super12: int);
33

    
34
function Super12_B_en (idSuper12_B_1: int; idSuper12_Super12_1: int; enB_1: int; enB1_1: int; isInner: bool) returns (idSuper12_B: int; idSuper12_Super12: int; enB: int; enB1: int);
35

    
36
function B_B1_du (durB1_1: int) returns (durB1: int);
37

    
38
function Super12_A_en (idSuper12_A_1: int; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; isInner: bool) returns (idSuper12_A: int; idSuper12_Super12: int; enA: int; enA0: int);
39

    
40
function Super12_B_ex (idSuper12_B_1: int; exB1_1: int; exB_1: int; idSuper12_Super12_1: int; isInner: bool) returns (idSuper12_B: int; exB1: int; exB: int; idSuper12_Super12: int);
41

    
42
function super12_a__A_A0_IDL_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
43

    
44
function super12_a__A_A0_IDL_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
45

    
46
function super12_a__A_A0__TO__A_A1_2_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
47

    
48
function super12_a__A_A0__TO__A_A1_2_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
49

    
50
function super12_a__A_A0__TO__B_B1_1_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
51

    
52
function super12_a__A_A0__TO__B_B1_1_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
53

    
54
function super12_a__A_A1_IDL_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
55

    
56
function super12_a__A_A1_IDL_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
57

    
58
function super12_a__A_A1__TO__A_A0_1_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
59

    
60
function super12_a__A_A1__TO__A_A0_1_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
61

    
62
function super12_a__POINTSuper12_A_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
63

    
64
function super12_a__POINTSuper12_A_unless (super12_a__restart_in: bool; idSuper12_A_1: int; F: bool; E: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
65

    
66
function super12_a__POINT__TO__A_A0_1_handler_until (super12_a__restart_act: bool; idSuper12_A_1: int; enA0_1: int; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (super12_a__restart_in: bool; super12_a__state_in: super12_a__type; durA0_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
67

    
68
function super12_a__POINT__TO__A_A0_1_unless (super12_a__restart_in: bool) returns (super12_a__restart_act: bool; super12_a__state_act: super12_a__type);
69

    
70
function super12_b__B_B0_IDL_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
71

    
72
function super12_b__B_B0_IDL_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
73

    
74
function super12_b__B_B0__TO__B_B1_1_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
75

    
76
function super12_b__B_B0__TO__B_B1_1_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
77

    
78
function super12_b__B_B1_IDL_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
79

    
80
function super12_b__B_B1_IDL_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
81

    
82
function super12_b__B_B1__TO__A_A0_1_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
83

    
84
function super12_b__B_B1__TO__A_A0_1_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
85

    
86
function super12_b__B_B1__TO__B_B0_2_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
87

    
88
function super12_b__B_B1__TO__B_B0_2_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
89

    
90
function super12_b__POINTSuper12_B_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
91

    
92
function super12_b__POINTSuper12_B_unless (super12_b__restart_in: bool; idSuper12_B_1: int; E: bool; F: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
93

    
94
function super12_b__POINT__TO__B_B0_1_handler_until (super12_b__restart_act: bool; idSuper12_B_1: int; enB1_1: int; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (super12_b__restart_in: bool; super12_b__state_in: super12_b__type; durB1_out: int; enA_out: int; enA0_out: int; enB1_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
95

    
96
function super12_b__POINT__TO__B_B0_1_unless (super12_b__restart_in: bool) returns (super12_b__restart_act: bool; super12_b__state_act: super12_b__type);
97

    
98
function Super12_A_du (durA_1: int) returns (durA: int);
99

    
100
node Super12_A_node (idSuper12_A_1: int; enA0_1: int; F: bool; E: bool; exA_1: int; exA0_1: int; idSuper12_Super12_1: int; idSuper12_B_1: int; enB_1: int; enB1_1: int; durA0_1: int) returns (idSuper12_A: int; enA0: int; exA: int; exA0: int; idSuper12_Super12: int; idSuper12_B: int; enB: int; enB1: int; durA0: int);
101

    
102
function Super12_B_du (durB_1: int) returns (durB: int);
103

    
104
node Super12_B_node (idSuper12_B_1: int; E: bool; enB1_1: int; F: bool; exB_1: int; exB1_1: int; idSuper12_Super12_1: int; idSuper12_A_1: int; enA_1: int; enA0_1: int; durB1_1: int) returns (idSuper12_B: int; enB1: int; exB: int; exB1: int; idSuper12_Super12: int; idSuper12_A: int; enA: int; enA0: int; durB1: int);
105

    
106
function super12_super12__POINTSuper12_Super12_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
107

    
108
function super12_super12__POINTSuper12_Super12_unless (super12_super12__restart_in: bool; idSuper12_Super12_1: int; F: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
109

    
110
function super12_super12__POINT__TO__SUPER12_A_1_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
111

    
112
function super12_super12__POINT__TO__SUPER12_A_1_unless (super12_super12__restart_in: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
113

    
114
node super12_super12__SUPER12_A_IDL_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; F: bool; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; E: bool; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
115

    
116
function super12_super12__SUPER12_A_IDL_unless (super12_super12__restart_in: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
117

    
118
function super12_super12__SUPER12_A__TO__SUPER12_B_1_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
119

    
120
function super12_super12__SUPER12_A__TO__SUPER12_B_1_unless (super12_super12__restart_in: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
121

    
122
node super12_super12__SUPER12_B_IDL_handler_until (super12_super12__restart_act: bool; idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; F: bool; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; E: bool; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (super12_super12__restart_in: bool; super12_super12__state_in: super12_super12__type; durA_out: int; durA0_out: int; durB_out: int; durB1_out: int; enA_out: int; enA0_out: int; enB_out: int; enB1_out: int; exA_out: int; exA0_out: int; exB_out: int; exB1_out: int; idSuper12_A_out: int; idSuper12_B_out: int; idSuper12_Super12_out: int);
123

    
124
function super12_super12__SUPER12_B_IDL_unless (super12_super12__restart_in: bool) returns (super12_super12__restart_act: bool; super12_super12__state_act: super12_super12__type);
125

    
126
node Super12_Super12_node (idSuper12_Super12_1: int; enA_1: int; enA0_1: int; idSuper12_A_1: int; F: bool; exA_1: int; exA0_1: int; enB_1: int; enB1_1: int; idSuper12_B_1: int; durA_1: int; E: bool; durA0_1: int; durB_1: int; durB1_1: int; exB_1: int; exB1_1: int) returns (idSuper12_Super12: int; enA: int; enA0: int; idSuper12_A: int; exA: int; exA0: int; enB: int; enB1: int; idSuper12_B: int; durA: int; durA0: int; durB: int; durB1: int; exB: int; exB1: int);
127

    
128
node Super12Modif_Super12 (E: bool; F: bool) returns (durA: int; durA0: int; durB: int; durB1: int; enA: int; enA0: int; enB: int; enB1: int; exA: int; exA0: int; exB: int; exB1: int);
129

    
130
node Super12Modif (E_1_1: real; F_1_1: real) returns (duA_1_1: int; durA0_2_1: int; durB_3_1: int; durB1_4_1: int; enA_5_1: int; enA0_6_1: int; enB_7_1: int; enB1_8_1: int; exA_9_1: int; exA0_10_1: int; exB_11_1: int; exB1_12_1: int);
131