Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Parallel2 / Parallel2.lusi @ 79ef5fc5

History | View | Annotate | Download (11 KB)

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

    
5
type top_n2__type = enum {POINTTOP_N2, POINT__TO__N2_C_1, N2_C__TO__N2_D_1, N2_D__TO__N2_C_1, N2_C_IDL, N2_D_IDL };
6

    
7

    
8
type top_n1__type = enum {POINTTOP_N1, POINT__TO__N1_A_1, N1_A__TO__N1_B_1, N1_B__TO__N1_A_1, N1_A_IDL, N1_B_IDL };
9

    
10

    
11
type parallel2_top__type = enum {POINTParallel2_TOP, PARALLEL2_TOP_PARALLEL_ENTRY, PARALLEL2_TOP_PARALLEL_IDL };
12

    
13

    
14
type parallel2_parallel2__type = enum {POINTParallel2_Parallel2, POINT__TO__PARALLEL2_TOP_1, PARALLEL2_TOP_IDL };
15

    
16

    
17
function N1_A__To__N1_B_1_Condition_Action (x_1: real) returns (x: real);
18

    
19
function N1_A_ex (idTOP_N1_1: int; isInner: bool) returns (idTOP_N1: int);
20

    
21
function N1_B_en (idTOP_N1_1: int; x_1: real; isInner: bool) returns (idTOP_N1: int; x: real);
22

    
23
function N1_A_en (idTOP_N1_1: int; x_1: real; isInner: bool) returns (idTOP_N1: int; x: real);
24

    
25
function N1_B__To__N1_A_1_Condition_Action (x_1: real) returns (x: real);
26

    
27
function N1_B_ex (idTOP_N1_1: int; isInner: bool) returns (idTOP_N1: int);
28

    
29
function N2_C__To__N2_D_1_Condition_Action (x_1: real) returns (x: real);
30

    
31
function N2_C_ex (idTOP_N2_1: int; isInner: bool) returns (idTOP_N2: int);
32

    
33
function N2_D_en (idTOP_N2_1: int; x_1: real; isInner: bool) returns (idTOP_N2: int; x: real);
34

    
35
function N2_C_en (idTOP_N2_1: int; x_1: real; isInner: bool) returns (idTOP_N2: int; x: real);
36

    
37
function N2_D__To__N2_C_1_Condition_Action (x_1: real) returns (x: real);
38

    
39
function N2_D_ex (idTOP_N2_1: int; isInner: bool) returns (idTOP_N2: int);
40

    
41
function top_n1__N1_A_IDL_handler_until (top_n1__restart_act: bool; idTOP_N1_1: int; x_1: real) returns (top_n1__restart_in: bool; top_n1__state_in: top_n1__type; idTOP_N1_out: int; x_out: real);
42

    
43
function top_n1__N1_A_IDL_unless (top_n1__restart_in: bool) returns (top_n1__restart_act: bool; top_n1__state_act: top_n1__type);
44

    
45
function top_n1__N1_A__TO__N1_B_1_handler_until (top_n1__restart_act: bool; idTOP_N1_1: int; x_1: real) returns (top_n1__restart_in: bool; top_n1__state_in: top_n1__type; idTOP_N1_out: int; x_out: real);
46

    
47
function top_n1__N1_A__TO__N1_B_1_unless (top_n1__restart_in: bool) returns (top_n1__restart_act: bool; top_n1__state_act: top_n1__type);
48

    
49
function top_n1__N1_B_IDL_handler_until (top_n1__restart_act: bool; idTOP_N1_1: int; x_1: real) returns (top_n1__restart_in: bool; top_n1__state_in: top_n1__type; idTOP_N1_out: int; x_out: real);
50

    
51
function top_n1__N1_B_IDL_unless (top_n1__restart_in: bool) returns (top_n1__restart_act: bool; top_n1__state_act: top_n1__type);
52

    
53
function top_n1__N1_B__TO__N1_A_1_handler_until (top_n1__restart_act: bool; idTOP_N1_1: int; x_1: real) returns (top_n1__restart_in: bool; top_n1__state_in: top_n1__type; idTOP_N1_out: int; x_out: real);
54

    
55
function top_n1__N1_B__TO__N1_A_1_unless (top_n1__restart_in: bool) returns (top_n1__restart_act: bool; top_n1__state_act: top_n1__type);
56

    
57
function top_n1__POINTTOP_N1_handler_until (top_n1__restart_act: bool; idTOP_N1_1: int; x_1: real) returns (top_n1__restart_in: bool; top_n1__state_in: top_n1__type; idTOP_N1_out: int; x_out: real);
58

    
59
function top_n1__POINTTOP_N1_unless (top_n1__restart_in: bool; idTOP_N1_1: int; S1: bool; R1: bool) returns (top_n1__restart_act: bool; top_n1__state_act: top_n1__type);
60

    
61
function top_n1__POINT__TO__N1_A_1_handler_until (top_n1__restart_act: bool; idTOP_N1_1: int; x_1: real) returns (top_n1__restart_in: bool; top_n1__state_in: top_n1__type; idTOP_N1_out: int; x_out: real);
62

    
63
function top_n1__POINT__TO__N1_A_1_unless (top_n1__restart_in: bool) returns (top_n1__restart_act: bool; top_n1__state_act: top_n1__type);
64

    
65
function top_n2__N2_C_IDL_handler_until (top_n2__restart_act: bool; idTOP_N2_1: int; x_1: real) returns (top_n2__restart_in: bool; top_n2__state_in: top_n2__type; idTOP_N2_out: int; x_out: real);
66

    
67
function top_n2__N2_C_IDL_unless (top_n2__restart_in: bool) returns (top_n2__restart_act: bool; top_n2__state_act: top_n2__type);
68

    
69
function top_n2__N2_C__TO__N2_D_1_handler_until (top_n2__restart_act: bool; idTOP_N2_1: int; x_1: real) returns (top_n2__restart_in: bool; top_n2__state_in: top_n2__type; idTOP_N2_out: int; x_out: real);
70

    
71
function top_n2__N2_C__TO__N2_D_1_unless (top_n2__restart_in: bool) returns (top_n2__restart_act: bool; top_n2__state_act: top_n2__type);
72

    
73
function top_n2__N2_D_IDL_handler_until (top_n2__restart_act: bool; idTOP_N2_1: int; x_1: real) returns (top_n2__restart_in: bool; top_n2__state_in: top_n2__type; idTOP_N2_out: int; x_out: real);
74

    
75
function top_n2__N2_D_IDL_unless (top_n2__restart_in: bool) returns (top_n2__restart_act: bool; top_n2__state_act: top_n2__type);
76

    
77
function top_n2__N2_D__TO__N2_C_1_handler_until (top_n2__restart_act: bool; idTOP_N2_1: int; x_1: real) returns (top_n2__restart_in: bool; top_n2__state_in: top_n2__type; idTOP_N2_out: int; x_out: real);
78

    
79
function top_n2__N2_D__TO__N2_C_1_unless (top_n2__restart_in: bool) returns (top_n2__restart_act: bool; top_n2__state_act: top_n2__type);
80

    
81
function top_n2__POINTTOP_N2_handler_until (top_n2__restart_act: bool; idTOP_N2_1: int; x_1: real) returns (top_n2__restart_in: bool; top_n2__state_in: top_n2__type; idTOP_N2_out: int; x_out: real);
82

    
83
function top_n2__POINTTOP_N2_unless (top_n2__restart_in: bool; idTOP_N2_1: int; S2: bool; R2: bool) returns (top_n2__restart_act: bool; top_n2__state_act: top_n2__type);
84

    
85
function top_n2__POINT__TO__N2_C_1_handler_until (top_n2__restart_act: bool; idTOP_N2_1: int; x_1: real) returns (top_n2__restart_in: bool; top_n2__state_in: top_n2__type; idTOP_N2_out: int; x_out: real);
86

    
87
function top_n2__POINT__TO__N2_C_1_unless (top_n2__restart_in: bool) returns (top_n2__restart_act: bool; top_n2__state_act: top_n2__type);
88

    
89
function TOP_N1_en (idTOP_N1_1: int; idParallel2_TOP_1: int; x_1: real; isInner: bool) returns (idTOP_N1: int; idParallel2_TOP: int; x: real);
90

    
91
function TOP_N2_en (idTOP_N2_1: int; idParallel2_TOP_1: int; x_1: real; isInner: bool) returns (idTOP_N2: int; idParallel2_TOP: int; x: real);
92

    
93
node TOP_N1_node (idTOP_N1_1: int; x_1: real; S1: bool; R1: bool) returns (idTOP_N1: int; x: real);
94

    
95
node TOP_N2_node (idTOP_N2_1: int; x_1: real; S2: bool; R2: bool) returns (idTOP_N2: int; x: real);
96

    
97
function Parallel2_TOP_en (idParallel2_TOP_1: int; idParallel2_Parallel2_1: int; x_1: real; idTOP_N1_1: int; idTOP_N2_1: int; isInner: bool) returns (idParallel2_TOP: int; idParallel2_Parallel2: int; x: real; idTOP_N1: int; idTOP_N2: int);
98

    
99
node parallel2_parallel2__PARALLEL2_TOP_IDL_handler_until (parallel2_parallel2__restart_act: bool; idParallel2_Parallel2_1: int; idParallel2_TOP_1: int; idTOP_N1_1: int; idTOP_N2_1: int; x_1: real; R1: bool; S1: bool; R2: bool; S2: bool) returns (parallel2_parallel2__restart_in: bool; parallel2_parallel2__state_in: parallel2_parallel2__type; idParallel2_Parallel2_out: int; idParallel2_TOP_out: int; idTOP_N1_out: int; idTOP_N2_out: int; x_out: real);
100

    
101
function parallel2_parallel2__PARALLEL2_TOP_IDL_unless (parallel2_parallel2__restart_in: bool) returns (parallel2_parallel2__restart_act: bool; parallel2_parallel2__state_act: parallel2_parallel2__type);
102

    
103
function parallel2_parallel2__POINTParallel2_Parallel2_handler_until (parallel2_parallel2__restart_act: bool; idParallel2_Parallel2_1: int; idParallel2_TOP_1: int; idTOP_N1_1: int; idTOP_N2_1: int; x_1: real) returns (parallel2_parallel2__restart_in: bool; parallel2_parallel2__state_in: parallel2_parallel2__type; idParallel2_Parallel2_out: int; idParallel2_TOP_out: int; idTOP_N1_out: int; idTOP_N2_out: int; x_out: real);
104

    
105
function parallel2_parallel2__POINTParallel2_Parallel2_unless (parallel2_parallel2__restart_in: bool; idParallel2_Parallel2_1: int) returns (parallel2_parallel2__restart_act: bool; parallel2_parallel2__state_act: parallel2_parallel2__type);
106

    
107
function parallel2_parallel2__POINT__TO__PARALLEL2_TOP_1_handler_until (parallel2_parallel2__restart_act: bool; idParallel2_Parallel2_1: int; idParallel2_TOP_1: int; idTOP_N1_1: int; idTOP_N2_1: int; x_1: real) returns (parallel2_parallel2__restart_in: bool; parallel2_parallel2__state_in: parallel2_parallel2__type; idParallel2_Parallel2_out: int; idParallel2_TOP_out: int; idTOP_N1_out: int; idTOP_N2_out: int; x_out: real);
108

    
109
function parallel2_parallel2__POINT__TO__PARALLEL2_TOP_1_unless (parallel2_parallel2__restart_in: bool) returns (parallel2_parallel2__restart_act: bool; parallel2_parallel2__state_act: parallel2_parallel2__type);
110

    
111
node Parallel2_Parallel2_node (idParallel2_Parallel2_1: int; idParallel2_TOP_1: int; idTOP_N1_1: int; idTOP_N2_1: int; x_1: real; R1: bool; S1: bool; R2: bool; S2: bool) returns (idParallel2_Parallel2: int; idParallel2_TOP: int; idTOP_N1: int; idTOP_N2: int; x: real);
112

    
113
function TOP_N1_ex (idTOP_N1_1: int; x_1: real; idParallel2_TOP_1: int; isInner: bool) returns (idTOP_N1: int; x: real; idParallel2_TOP: int);
114

    
115
function TOP_N2_ex (idTOP_N2_1: int; x_1: real; idParallel2_TOP_1: int; isInner: bool) returns (idTOP_N2: int; x: real; idParallel2_TOP: int);
116

    
117
node Parallel2_Parallel2 (S1: bool; R1: bool; S2: bool; R2: bool) returns (x: real);
118

    
119
function parallel2_top__PARALLEL2_TOP_PARALLEL_ENTRY_handler_until (parallel2_top__restart_act: bool; idParallel2_TOP_1: int; idTOP_N1_1: int; x_1: real; idTOP_N2_1: int) returns (parallel2_top__restart_in: bool; parallel2_top__state_in: parallel2_top__type; idParallel2_TOP_out: int; idTOP_N1_out: int; idTOP_N2_out: int; x_out: real);
120

    
121
function parallel2_top__PARALLEL2_TOP_PARALLEL_ENTRY_unless (parallel2_top__restart_in: bool) returns (parallel2_top__restart_act: bool; parallel2_top__state_act: parallel2_top__type);
122

    
123
node parallel2_top__PARALLEL2_TOP_PARALLEL_IDL_handler_until (parallel2_top__restart_act: bool; idParallel2_TOP_1: int; idTOP_N1_1: int; x_1: real; idTOP_N2_1: int; R1: bool; S1: bool; R2: bool; S2: bool) returns (parallel2_top__restart_in: bool; parallel2_top__state_in: parallel2_top__type; idParallel2_TOP_out: int; idTOP_N1_out: int; idTOP_N2_out: int; x_out: real);
124

    
125
function parallel2_top__PARALLEL2_TOP_PARALLEL_IDL_unless (parallel2_top__restart_in: bool) returns (parallel2_top__restart_act: bool; parallel2_top__state_act: parallel2_top__type);
126

    
127
function parallel2_top__POINTParallel2_TOP_handler_until (parallel2_top__restart_act: bool; idParallel2_TOP_1: int; idTOP_N1_1: int; x_1: real; idTOP_N2_1: int) returns (parallel2_top__restart_in: bool; parallel2_top__state_in: parallel2_top__type; idParallel2_TOP_out: int; idTOP_N1_out: int; idTOP_N2_out: int; x_out: real);
128

    
129
function parallel2_top__POINTParallel2_TOP_unless (parallel2_top__restart_in: bool; idParallel2_TOP_1: int) returns (parallel2_top__restart_act: bool; parallel2_top__state_act: parallel2_top__type);
130

    
131
function Parallel2_TOP_ex (idTOP_N2_1: int; x_1: real; idParallel2_TOP_1: int; idTOP_N1_1: int; idParallel2_Parallel2_1: int; isInner: bool) returns (idTOP_N2: int; x: real; idParallel2_TOP: int; idTOP_N1: int; idParallel2_Parallel2: int);
132

    
133
node Parallel2 (S1_1_1: real; R1_1_1: real; S2_1_1: real; R2_1_1: real) returns (x_1_1: real);
134

    
135
node Parallel2_TOP_node (idParallel2_TOP_1: int; idTOP_N1_1: int; x_1: real; idTOP_N2_1: int; R1: bool; S1: bool; R2: bool; S2: bool) returns (idParallel2_TOP: int; idTOP_N1: int; x: real; idTOP_N2: int);
136