Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Parallel1 / Parallel1.lusi @ 79ef5fc5

History | View | Annotate | Download (9.77 KB)

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

    
5
type parallel1_n2__type = enum {POINTParallel1_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 parallel1_n1__type = enum {POINTParallel1_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 parallel1_parallel1__type = enum {POINTParallel1_Parallel1, PARALLEL1_PARALLEL1_PARALLEL_ENTRY, PARALLEL1_PARALLEL1_PARALLEL_IDL };
12

    
13

    
14
function N1_A__To__N1_B_1_Condition_Action (x_1: int) returns (x: int);
15

    
16
function N1_A_ex (idParallel1_N1_1: int; isInner: bool) returns (idParallel1_N1: int);
17

    
18
function N1_B_en (idParallel1_N1_1: int; x_1: int; isInner: bool) returns (idParallel1_N1: int; x: int);
19

    
20
function N1_A_en (idParallel1_N1_1: int; x_1: int; isInner: bool) returns (idParallel1_N1: int; x: int);
21

    
22
function N1_B__To__N1_A_1_Condition_Action (x_1: int) returns (x: int);
23

    
24
function N1_B_ex (idParallel1_N1_1: int; isInner: bool) returns (idParallel1_N1: int);
25

    
26
function N2_C__To__N2_D_1_Condition_Action (x_1: int) returns (x: int);
27

    
28
function N2_C_ex (idParallel1_N2_1: int; isInner: bool) returns (idParallel1_N2: int);
29

    
30
function N2_D_en (idParallel1_N2_1: int; x_1: int; isInner: bool) returns (idParallel1_N2: int; x: int);
31

    
32
function N2_C_en (idParallel1_N2_1: int; x_1: int; isInner: bool) returns (idParallel1_N2: int; x: int);
33

    
34
function N2_D__To__N2_C_1_Condition_Action (x_1: int) returns (x: int);
35

    
36
function N2_D_ex (idParallel1_N2_1: int; isInner: bool) returns (idParallel1_N2: int);
37

    
38
function parallel1_n1__N1_A_IDL_handler_until (parallel1_n1__restart_act: bool; idParallel1_N1_1: int; x_1: int) returns (parallel1_n1__restart_in: bool; parallel1_n1__state_in: parallel1_n1__type; idParallel1_N1_out: int; x_out: int);
39

    
40
function parallel1_n1__N1_A_IDL_unless (parallel1_n1__restart_in: bool) returns (parallel1_n1__restart_act: bool; parallel1_n1__state_act: parallel1_n1__type);
41

    
42
function parallel1_n1__N1_A__TO__N1_B_1_handler_until (parallel1_n1__restart_act: bool; idParallel1_N1_1: int; x_1: int) returns (parallel1_n1__restart_in: bool; parallel1_n1__state_in: parallel1_n1__type; idParallel1_N1_out: int; x_out: int);
43

    
44
function parallel1_n1__N1_A__TO__N1_B_1_unless (parallel1_n1__restart_in: bool) returns (parallel1_n1__restart_act: bool; parallel1_n1__state_act: parallel1_n1__type);
45

    
46
function parallel1_n1__N1_B_IDL_handler_until (parallel1_n1__restart_act: bool; idParallel1_N1_1: int; x_1: int) returns (parallel1_n1__restart_in: bool; parallel1_n1__state_in: parallel1_n1__type; idParallel1_N1_out: int; x_out: int);
47

    
48
function parallel1_n1__N1_B_IDL_unless (parallel1_n1__restart_in: bool) returns (parallel1_n1__restart_act: bool; parallel1_n1__state_act: parallel1_n1__type);
49

    
50
function parallel1_n1__N1_B__TO__N1_A_1_handler_until (parallel1_n1__restart_act: bool; idParallel1_N1_1: int; x_1: int) returns (parallel1_n1__restart_in: bool; parallel1_n1__state_in: parallel1_n1__type; idParallel1_N1_out: int; x_out: int);
51

    
52
function parallel1_n1__N1_B__TO__N1_A_1_unless (parallel1_n1__restart_in: bool) returns (parallel1_n1__restart_act: bool; parallel1_n1__state_act: parallel1_n1__type);
53

    
54
function parallel1_n1__POINTParallel1_N1_handler_until (parallel1_n1__restart_act: bool; idParallel1_N1_1: int; x_1: int) returns (parallel1_n1__restart_in: bool; parallel1_n1__state_in: parallel1_n1__type; idParallel1_N1_out: int; x_out: int);
55

    
56
function parallel1_n1__POINTParallel1_N1_unless (parallel1_n1__restart_in: bool; idParallel1_N1_1: int; S1: bool; R1: bool) returns (parallel1_n1__restart_act: bool; parallel1_n1__state_act: parallel1_n1__type);
57

    
58
function parallel1_n1__POINT__TO__N1_A_1_handler_until (parallel1_n1__restart_act: bool; idParallel1_N1_1: int; x_1: int) returns (parallel1_n1__restart_in: bool; parallel1_n1__state_in: parallel1_n1__type; idParallel1_N1_out: int; x_out: int);
59

    
60
function parallel1_n1__POINT__TO__N1_A_1_unless (parallel1_n1__restart_in: bool) returns (parallel1_n1__restart_act: bool; parallel1_n1__state_act: parallel1_n1__type);
61

    
62
function parallel1_n2__N2_C_IDL_handler_until (parallel1_n2__restart_act: bool; idParallel1_N2_1: int; x_1: int) returns (parallel1_n2__restart_in: bool; parallel1_n2__state_in: parallel1_n2__type; idParallel1_N2_out: int; x_out: int);
63

    
64
function parallel1_n2__N2_C_IDL_unless (parallel1_n2__restart_in: bool) returns (parallel1_n2__restart_act: bool; parallel1_n2__state_act: parallel1_n2__type);
65

    
66
function parallel1_n2__N2_C__TO__N2_D_1_handler_until (parallel1_n2__restart_act: bool; idParallel1_N2_1: int; x_1: int) returns (parallel1_n2__restart_in: bool; parallel1_n2__state_in: parallel1_n2__type; idParallel1_N2_out: int; x_out: int);
67

    
68
function parallel1_n2__N2_C__TO__N2_D_1_unless (parallel1_n2__restart_in: bool) returns (parallel1_n2__restart_act: bool; parallel1_n2__state_act: parallel1_n2__type);
69

    
70
function parallel1_n2__N2_D_IDL_handler_until (parallel1_n2__restart_act: bool; idParallel1_N2_1: int; x_1: int) returns (parallel1_n2__restart_in: bool; parallel1_n2__state_in: parallel1_n2__type; idParallel1_N2_out: int; x_out: int);
71

    
72
function parallel1_n2__N2_D_IDL_unless (parallel1_n2__restart_in: bool) returns (parallel1_n2__restart_act: bool; parallel1_n2__state_act: parallel1_n2__type);
73

    
74
function parallel1_n2__N2_D__TO__N2_C_1_handler_until (parallel1_n2__restart_act: bool; idParallel1_N2_1: int; x_1: int) returns (parallel1_n2__restart_in: bool; parallel1_n2__state_in: parallel1_n2__type; idParallel1_N2_out: int; x_out: int);
75

    
76
function parallel1_n2__N2_D__TO__N2_C_1_unless (parallel1_n2__restart_in: bool) returns (parallel1_n2__restart_act: bool; parallel1_n2__state_act: parallel1_n2__type);
77

    
78
function parallel1_n2__POINTParallel1_N2_handler_until (parallel1_n2__restart_act: bool; idParallel1_N2_1: int; x_1: int) returns (parallel1_n2__restart_in: bool; parallel1_n2__state_in: parallel1_n2__type; idParallel1_N2_out: int; x_out: int);
79

    
80
function parallel1_n2__POINTParallel1_N2_unless (parallel1_n2__restart_in: bool; idParallel1_N2_1: int; S2: bool; R2: bool) returns (parallel1_n2__restart_act: bool; parallel1_n2__state_act: parallel1_n2__type);
81

    
82
function parallel1_n2__POINT__TO__N2_C_1_handler_until (parallel1_n2__restart_act: bool; idParallel1_N2_1: int; x_1: int) returns (parallel1_n2__restart_in: bool; parallel1_n2__state_in: parallel1_n2__type; idParallel1_N2_out: int; x_out: int);
83

    
84
function parallel1_n2__POINT__TO__N2_C_1_unless (parallel1_n2__restart_in: bool) returns (parallel1_n2__restart_act: bool; parallel1_n2__state_act: parallel1_n2__type);
85

    
86
function Parallel1_N1_en (idParallel1_N1_1: int; idParallel1_Parallel1_1: int; x_1: int; isInner: bool) returns (idParallel1_N1: int; idParallel1_Parallel1: int; x: int);
87

    
88
function Parallel1_N2_en (idParallel1_N2_1: int; idParallel1_Parallel1_1: int; x_1: int; isInner: bool) returns (idParallel1_N2: int; idParallel1_Parallel1: int; x: int);
89

    
90
function Parallel1_N1_du (x_1: int) returns (x: int);
91

    
92
node Parallel1_N1_node (idParallel1_N1_1: int; x_1: int; S1: bool; R1: bool) returns (idParallel1_N1: int; x: int);
93

    
94
node Parallel1_N2_node (idParallel1_N2_1: int; x_1: int; S2: bool; R2: bool) returns (idParallel1_N2: int; x: int);
95

    
96
function parallel1_parallel1__PARALLEL1_PARALLEL1_PARALLEL_ENTRY_handler_until (parallel1_parallel1__restart_act: bool; idParallel1_Parallel1_1: int; idParallel1_N1_1: int; x_1: int; idParallel1_N2_1: int) returns (parallel1_parallel1__restart_in: bool; parallel1_parallel1__state_in: parallel1_parallel1__type; idParallel1_N1_out: int; idParallel1_N2_out: int; idParallel1_Parallel1_out: int; x_out: int);
97

    
98
function parallel1_parallel1__PARALLEL1_PARALLEL1_PARALLEL_ENTRY_unless (parallel1_parallel1__restart_in: bool) returns (parallel1_parallel1__restart_act: bool; parallel1_parallel1__state_act: parallel1_parallel1__type);
99

    
100
node parallel1_parallel1__PARALLEL1_PARALLEL1_PARALLEL_IDL_handler_until (parallel1_parallel1__restart_act: bool; idParallel1_Parallel1_1: int; idParallel1_N1_1: int; x_1: int; idParallel1_N2_1: int; R1: bool; S1: bool; R2: bool; S2: bool) returns (parallel1_parallel1__restart_in: bool; parallel1_parallel1__state_in: parallel1_parallel1__type; idParallel1_N1_out: int; idParallel1_N2_out: int; idParallel1_Parallel1_out: int; x_out: int);
101

    
102
function parallel1_parallel1__PARALLEL1_PARALLEL1_PARALLEL_IDL_unless (parallel1_parallel1__restart_in: bool) returns (parallel1_parallel1__restart_act: bool; parallel1_parallel1__state_act: parallel1_parallel1__type);
103

    
104
function parallel1_parallel1__POINTParallel1_Parallel1_handler_until (parallel1_parallel1__restart_act: bool; idParallel1_Parallel1_1: int; idParallel1_N1_1: int; x_1: int; idParallel1_N2_1: int) returns (parallel1_parallel1__restart_in: bool; parallel1_parallel1__state_in: parallel1_parallel1__type; idParallel1_N1_out: int; idParallel1_N2_out: int; idParallel1_Parallel1_out: int; x_out: int);
105

    
106
function parallel1_parallel1__POINTParallel1_Parallel1_unless (parallel1_parallel1__restart_in: bool; idParallel1_Parallel1_1: int) returns (parallel1_parallel1__restart_act: bool; parallel1_parallel1__state_act: parallel1_parallel1__type);
107

    
108
node Parallel1_Parallel1_node (idParallel1_Parallel1_1: int; idParallel1_N1_1: int; x_1: int; idParallel1_N2_1: int; R1: bool; S1: bool; R2: bool; S2: bool) returns (idParallel1_Parallel1: int; idParallel1_N1: int; x: int; idParallel1_N2: int);
109

    
110
node Parallel1_Parallel1 (S1: bool; R1: bool; S2: bool; R2: bool) returns (x: int);
111

    
112
node Parallel1 (S1_1_1: real; R1_1_1: real; S2_1_1: real; R2_1_1: real) returns (x_1_1: int);
113

    
114
function Parallel1_N2_ex (idParallel1_N2_1: int; x_1: int; idParallel1_Parallel1_1: int; isInner: bool) returns (idParallel1_N2: int; x: int; idParallel1_Parallel1: int);
115

    
116
function Parallel1_N1_ex (idParallel1_N1_1: int; x_1: int; idParallel1_Parallel1_1: int; isInner: bool) returns (idParallel1_N1: int; x: int; idParallel1_Parallel1: int);
117