Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super11V2 / Super11V2.lusi @ 79ef5fc5

History | View | Annotate | Download (9.04 KB)

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

    
5
type b_b2__type = enum {POINTB_B2, POINT__TO__B2_B2A_1, B2_B2A__TO__SUPER11_SUPER11JUNCTION1899_1, B2_B2A_IDL };
6

    
7

    
8
type super11_b__type = enum {POINTSuper11_B, POINT__TO__B_B1_1, B_B1__TO__B_B2_1, B_B1_IDL, B_B2_IDL };
9

    
10

    
11
type super11_super11__type = enum {POINTSuper11_Super11, POINT__TO__SUPER11_A_1, SUPER11_A__TO__SUPER11_SUPER11JUNCTION1904_1, SUPER11_A_IDL, SUPER11_B_IDL };
12

    
13

    
14
function B2_B2a_ex (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
15

    
16
function B_B1_ex (idSuper11_B_1: int; isInner: bool) returns (idSuper11_B: int);
17

    
18
function B_B2_ex (idB_B2_1: int; idSuper11_B_1: int; isInner: bool) returns (idB_B2: int; idSuper11_B: int);
19

    
20
function B2_B2a_du (y_1: int) returns (y: int);
21

    
22
function B_B1_en (idSuper11_B_1: int; isInner: bool) returns (idSuper11_B: int);
23

    
24
function Super11_A_en (idSuper11_Super11_1: int; isInner: bool) returns (idSuper11_Super11: int);
25

    
26
function Super11_B_ex (idSuper11_B_1: int; idB_B2_1: int; idSuper11_Super11_1: int; isInner: bool) returns (idSuper11_B: int; idB_B2: int; idSuper11_Super11: int);
27

    
28
function B2_B2a_en (idB_B2_1: int; isInner: bool) returns (idB_B2: int);
29

    
30
function b_b2__B2_B2A_IDL_handler_until (b_b2__restart_act: bool; idB_B2_1: int; idSuper11_B_1: int; idSuper11_Super11_1: int; y_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
31

    
32
function b_b2__B2_B2A_IDL_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
33

    
34
function b_b2__B2_B2A__TO__SUPER11_SUPER11JUNCTION1899_1_handler_until (b_b2__restart_act: bool; idB_B2_1: int; x: int; idSuper11_B_1: int; idSuper11_Super11_1: int; y_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
35

    
36
function b_b2__B2_B2A__TO__SUPER11_SUPER11JUNCTION1899_1_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
37

    
38
function b_b2__POINTB_B2_handler_until (b_b2__restart_act: bool; idB_B2_1: int; idSuper11_B_1: int; idSuper11_Super11_1: int; y_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
39

    
40
function b_b2__POINTB_B2_unless (b_b2__restart_in: bool; idB_B2_1: int) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
41

    
42
function b_b2__POINT__TO__B2_B2A_1_handler_until (b_b2__restart_act: bool; idB_B2_1: int; idSuper11_B_1: int; idSuper11_Super11_1: int; y_1: int) returns (b_b2__restart_in: bool; b_b2__state_in: b_b2__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
43

    
44
function b_b2__POINT__TO__B2_B2A_1_unless (b_b2__restart_in: bool) returns (b_b2__restart_act: bool; b_b2__state_act: b_b2__type);
45

    
46
function B_B1_du (y_1: int) returns (y: int);
47

    
48
function B_B2_en (idB_B2_1: int; idSuper11_B_1: int; isInner: bool) returns (idB_B2: int; idSuper11_B: int);
49

    
50
function B_B2_du (y_1: int) returns (y: int);
51

    
52
node B_B2_node (idB_B2_1: int; x: int; idSuper11_B_1: int; idSuper11_Super11_1: int; y_1: int) returns (idB_B2: int; idSuper11_B: int; idSuper11_Super11: int; y: int);
53

    
54
function super11_b__B_B1_IDL_handler_until (super11_b__restart_act: bool; idSuper11_B_1: int; idB_B2_1: int; y_1: int; idSuper11_Super11_1: int) returns (super11_b__restart_in: bool; super11_b__state_in: super11_b__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
55

    
56
function super11_b__B_B1_IDL_unless (super11_b__restart_in: bool) returns (super11_b__restart_act: bool; super11_b__state_act: super11_b__type);
57

    
58
function super11_b__B_B1__TO__B_B2_1_handler_until (super11_b__restart_act: bool; idSuper11_B_1: int; idB_B2_1: int; y_1: int; idSuper11_Super11_1: int) returns (super11_b__restart_in: bool; super11_b__state_in: super11_b__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
59

    
60
function super11_b__B_B1__TO__B_B2_1_unless (super11_b__restart_in: bool) returns (super11_b__restart_act: bool; super11_b__state_act: super11_b__type);
61

    
62
node super11_b__B_B2_IDL_handler_until (super11_b__restart_act: bool; idSuper11_B_1: int; idB_B2_1: int; y_1: int; idSuper11_Super11_1: int; x: int) returns (super11_b__restart_in: bool; super11_b__state_in: super11_b__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
63

    
64
function super11_b__B_B2_IDL_unless (super11_b__restart_in: bool) returns (super11_b__restart_act: bool; super11_b__state_act: super11_b__type);
65

    
66
function super11_b__POINTSuper11_B_handler_until (super11_b__restart_act: bool; idSuper11_B_1: int; idB_B2_1: int; y_1: int; idSuper11_Super11_1: int) returns (super11_b__restart_in: bool; super11_b__state_in: super11_b__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
67

    
68
function super11_b__POINTSuper11_B_unless (super11_b__restart_in: bool; idSuper11_B_1: int) returns (super11_b__restart_act: bool; super11_b__state_act: super11_b__type);
69

    
70
function super11_b__POINT__TO__B_B1_1_handler_until (super11_b__restart_act: bool; idSuper11_B_1: int; idB_B2_1: int; y_1: int; idSuper11_Super11_1: int) returns (super11_b__restart_in: bool; super11_b__state_in: super11_b__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
71

    
72
function super11_b__POINT__TO__B_B1_1_unless (super11_b__restart_in: bool) returns (super11_b__restart_act: bool; super11_b__state_act: super11_b__type);
73

    
74
function Super11_A_du (y_1: int) returns (y: int);
75

    
76
function Super11_A_ex (idSuper11_Super11_1: int; isInner: bool) returns (idSuper11_Super11: int);
77

    
78
function Super11_B_en (idSuper11_B_1: int; idSuper11_Super11_1: int; idB_B2_1: int; isInner: bool) returns (idSuper11_B: int; idSuper11_Super11: int; idB_B2: int);
79

    
80
function Super11_B_du (y_1: int) returns (y: int);
81

    
82
node Super11_B_node (idSuper11_B_1: int; idB_B2_1: int; y_1: int; idSuper11_Super11_1: int; x: int) returns (idSuper11_B: int; idB_B2: int; y: int; idSuper11_Super11: int);
83

    
84
function super11_super11__POINTSuper11_Super11_handler_until (super11_super11__restart_act: bool; idSuper11_Super11_1: int; idB_B2_1: int; idSuper11_B_1: int; y_1: int) returns (super11_super11__restart_in: bool; super11_super11__state_in: super11_super11__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
85

    
86
function super11_super11__POINTSuper11_Super11_unless (super11_super11__restart_in: bool; idSuper11_Super11_1: int) returns (super11_super11__restart_act: bool; super11_super11__state_act: super11_super11__type);
87

    
88
function super11_super11__POINT__TO__SUPER11_A_1_handler_until (super11_super11__restart_act: bool; idSuper11_Super11_1: int; idB_B2_1: int; idSuper11_B_1: int; y_1: int) returns (super11_super11__restart_in: bool; super11_super11__state_in: super11_super11__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
89

    
90
function super11_super11__POINT__TO__SUPER11_A_1_unless (super11_super11__restart_in: bool) returns (super11_super11__restart_act: bool; super11_super11__state_act: super11_super11__type);
91

    
92
function super11_super11__SUPER11_A_IDL_handler_until (super11_super11__restart_act: bool; idSuper11_Super11_1: int; idB_B2_1: int; idSuper11_B_1: int; y_1: int) returns (super11_super11__restart_in: bool; super11_super11__state_in: super11_super11__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
93

    
94
function super11_super11__SUPER11_A_IDL_unless (super11_super11__restart_in: bool) returns (super11_super11__restart_act: bool; super11_super11__state_act: super11_super11__type);
95

    
96
function super11_super11__SUPER11_A__TO__SUPER11_SUPER11JUNCTION1904_1_handler_until (super11_super11__restart_act: bool; idSuper11_Super11_1: int; x: int; idB_B2_1: int; idSuper11_B_1: int; y_1: int) returns (super11_super11__restart_in: bool; super11_super11__state_in: super11_super11__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
97

    
98
function super11_super11__SUPER11_A__TO__SUPER11_SUPER11JUNCTION1904_1_unless (super11_super11__restart_in: bool) returns (super11_super11__restart_act: bool; super11_super11__state_act: super11_super11__type);
99

    
100
node super11_super11__SUPER11_B_IDL_handler_until (super11_super11__restart_act: bool; idSuper11_Super11_1: int; x: int; idB_B2_1: int; idSuper11_B_1: int; y_1: int) returns (super11_super11__restart_in: bool; super11_super11__state_in: super11_super11__type; idB_B2_out: int; idSuper11_B_out: int; idSuper11_Super11_out: int; y_out: int);
101

    
102
function super11_super11__SUPER11_B_IDL_unless (super11_super11__restart_in: bool) returns (super11_super11__restart_act: bool; super11_super11__state_act: super11_super11__type);
103

    
104
node Super11_Super11_node (idSuper11_Super11_1: int; x: int; idB_B2_1: int; idSuper11_B_1: int; y_1: int) returns (idSuper11_Super11: int; idB_B2: int; idSuper11_B: int; y: int);
105

    
106
node Super11V2_Super11 (x: int) returns (y: int);
107

    
108
node Super11V2 (x_1_1: int) returns (y_1_1: int);
109