Project

General

Profile

Download (13.6 KB) Statistics
| Branch: | Tag: | Revision:
1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Inner4.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:20 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type inner4_a__type = enum {POINTInner4_A, POINT__TO__A_A1_1, A_A2__TO__INNER4_INNER4JUNCTION1114_1, A_A2__TO__A_A3_2, A_A3__TO__INNER4_INNER4JUNCTION1114_1, A_A3__TO__A_A1_2, A_A1__TO__INNER4_INNER4JUNCTION1114_1, A_A1__TO__A_A2_2, A_A2_IDL, A_A3_IDL, A_A1_IDL };
6
7
8
type inner4_inner4__type = enum {POINTInner4_Inner4, POINT__TO__INNER4_A_1, INNER4_A_IDL };
9
10
11
function A_A1_en (idInner4_A_1: int; enA1cnt_1: int; isInner: bool) returns (idInner4_A: int; enA1cnt: int);
12
13
function A_A2_en (idInner4_A_1: int; enA2cnt_1: int; isInner: bool) returns (idInner4_A: int; enA2cnt: int);
14
15
function A_A3_en (idInner4_A_1: int; enA3cnt_1: int; isInner: bool) returns (idInner4_A: int; enA3cnt: int);
16
17
function A_A1_du (duA1cnt_1: int) returns (duA1cnt: int);
18
19
function A_A1_ex (exA1cnt_1: int; idInner4_A_1: int; isInner: bool) returns (exA1cnt: int; idInner4_A: int);
20
21
function Inner4_A_en (idInner4_A_1: int; idInner4_Inner4_1: int; enAcnt_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; isInner: bool) returns (idInner4_A: int; idInner4_Inner4: int; enAcnt: int; enA1cnt: int; enA2cnt: int; enA3cnt: int);
22
23
function A_A2_du (duA2cnt_1: int) returns (duA2cnt: int);
24
25
function A_A2_ex (exA2cnt_1: int; idInner4_A_1: int; isInner: bool) returns (exA2cnt: int; idInner4_A: int);
26
27
function A_A3_du (duA3cnt_1: int) returns (duA3cnt: int);
28
29
function A_A3_ex (exA3cnt_1: int; idInner4_A_1: int; isInner: bool) returns (exA3cnt: int; idInner4_A: int);
30
31
function inner4_a__A_A1_IDL_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
32
33
function inner4_a__A_A1_IDL_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
34
35
function inner4_a__A_A1__TO__A_A2_2_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
36
37
function inner4_a__A_A1__TO__A_A2_2_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
38
39
function inner4_a__A_A1__TO__INNER4_INNER4JUNCTION1114_1_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
40
41
function inner4_a__A_A1__TO__INNER4_INNER4JUNCTION1114_1_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
42
43
function inner4_a__A_A2_IDL_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
44
45
function inner4_a__A_A2_IDL_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
46
47
function inner4_a__A_A2__TO__A_A3_2_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
48
49
function inner4_a__A_A2__TO__A_A3_2_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
50
51
function inner4_a__A_A2__TO__INNER4_INNER4JUNCTION1114_1_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
52
53
function inner4_a__A_A2__TO__INNER4_INNER4JUNCTION1114_1_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
54
55
function inner4_a__A_A3_IDL_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
56
57
function inner4_a__A_A3_IDL_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
58
59
function inner4_a__A_A3__TO__A_A1_2_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
60
61
function inner4_a__A_A3__TO__A_A1_2_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
62
63
function inner4_a__A_A3__TO__INNER4_INNER4JUNCTION1114_1_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
64
65
function inner4_a__A_A3__TO__INNER4_INNER4JUNCTION1114_1_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
66
67
function inner4_a__POINTInner4_A_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
68
69
function inner4_a__POINTInner4_A_unless (inner4_a__restart_in: bool; idInner4_A_1: int; E: bool; F: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
70
71
function inner4_a__POINT__TO__A_A1_1_handler_until (inner4_a__restart_act: bool; idInner4_A_1: int; enA1cnt_1: int; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (inner4_a__restart_in: bool; inner4_a__state_in: inner4_a__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
72
73
function inner4_a__POINT__TO__A_A1_1_unless (inner4_a__restart_in: bool) returns (inner4_a__restart_act: bool; inner4_a__state_act: inner4_a__type);
74
75
function Inner4_A_du (duAcnt_1: int) returns (duAcnt: int);
76
77
node Inner4_A_node (idInner4_A_1: int; enA1cnt_1: int; E: bool; exA2cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_Inner4_1: int; F: bool; exA3cnt_1: int; exA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; duA1cnt_1: int) returns (idInner4_A: int; enA1cnt: int; exA2cnt: int; enA2cnt: int; enA3cnt: int; enAcnt: int; idInner4_Inner4: int; exA3cnt: int; exA1cnt: int; duA2cnt: int; duA3cnt: int; duA1cnt: int);
78
79
node inner4_inner4__INNER4_A_IDL_handler_until (inner4_inner4__restart_act: bool; idInner4_Inner4_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_A_1: int; duAcnt_1: int; E: bool; F: bool; duA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int) returns (inner4_inner4__restart_in: bool; inner4_inner4__state_in: inner4_inner4__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; duAcnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
80
81
function inner4_inner4__INNER4_A_IDL_unless (inner4_inner4__restart_in: bool) returns (inner4_inner4__restart_act: bool; inner4_inner4__state_act: inner4_inner4__type);
82
83
function inner4_inner4__POINTInner4_Inner4_handler_until (inner4_inner4__restart_act: bool; idInner4_Inner4_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_A_1: int; duAcnt_1: int; duA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int) returns (inner4_inner4__restart_in: bool; inner4_inner4__state_in: inner4_inner4__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; duAcnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
84
85
function inner4_inner4__POINTInner4_Inner4_unless (inner4_inner4__restart_in: bool; idInner4_Inner4_1: int) returns (inner4_inner4__restart_act: bool; inner4_inner4__state_act: inner4_inner4__type);
86
87
function inner4_inner4__POINT__TO__INNER4_A_1_handler_until (inner4_inner4__restart_act: bool; idInner4_Inner4_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_A_1: int; duAcnt_1: int; duA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int) returns (inner4_inner4__restart_in: bool; inner4_inner4__state_in: inner4_inner4__type; duA1cnt_out: int; duA2cnt_out: int; duA3cnt_out: int; duAcnt_out: int; enA1cnt_out: int; enA2cnt_out: int; enA3cnt_out: int; enAcnt_out: int; exA1cnt_out: int; exA2cnt_out: int; exA3cnt_out: int; idInner4_A_out: int; idInner4_Inner4_out: int);
88
89
function inner4_inner4__POINT__TO__INNER4_A_1_unless (inner4_inner4__restart_in: bool) returns (inner4_inner4__restart_act: bool; inner4_inner4__state_act: inner4_inner4__type);
90
91
node Inner4_Inner4_node (idInner4_Inner4_1: int; enA1cnt_1: int; enA2cnt_1: int; enA3cnt_1: int; enAcnt_1: int; idInner4_A_1: int; duAcnt_1: int; E: bool; F: bool; duA1cnt_1: int; duA2cnt_1: int; duA3cnt_1: int; exA1cnt_1: int; exA2cnt_1: int; exA3cnt_1: int) returns (idInner4_Inner4: int; enA1cnt: int; enA2cnt: int; enA3cnt: int; enAcnt: int; idInner4_A: int; duAcnt: int; duA1cnt: int; duA2cnt: int; duA3cnt: int; exA1cnt: int; exA2cnt: int; exA3cnt: int);
92
93
node Inner4_Inner4 (E: bool; F: bool) returns (exAcnt: int; enAcnt: int; duAcnt: int; enA1cnt: int; duA1cnt: int; exA1cnt: int; enA2cnt: int; duA2cnt: int; exA2cnt: int; enA3cnt: int; duA3cnt: int; exA3cnt: int);
94
95
node Inner4 (E_1_1: real; F_1_1: real) returns (exAcnt_1_1: int; enAcnt_2_1: int; duAcnt_3_1: int; enA1cnt_4_1: int; duA1cnt_5_1: int; exA1cnt_6_1: int; enA2cnt_7_1: int; duA2cnt_8_1: int; exA2cnt_9_1: int; enA3cnt_10_1: int; duA3cnt_11_1: int; exA3cnt_12_1: int);
96
97
function Inner4_A_ex (exA2cnt_1: int; idInner4_A_1: int; exA3cnt_1: int; exA1cnt_1: int; exAcnt_1: int; idInner4_Inner4_1: int; isInner: bool) returns (exA2cnt: int; idInner4_A: int; exA3cnt: int; exA1cnt: int; exAcnt: int; idInner4_Inner4: int);