Project

General

Profile

Download (4.3 KB) Statistics
| Branch: | Tag: | Revision:
1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Flowchart4.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:59:37 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
type flowchart4_a_INNER__type = enum {POINTFlowchart4_A_INNER, FLOWCHART4_A__TO__FLOWCHART4_FLOWCHART4JUNCTION799_1 };
6
7
8
type flowchart4_a__type = enum {POINTFlowchart4_A }; 
9
10
type flowchart4_flowchart4__type = enum {POINTFlowchart4_Flowchart4, POINT__TO__FLOWCHART4_A_1, FLOWCHART4_A_IDL };
11
12
13
function Flowchart4_A__To__Flowchart4_Flowchart4Junction799_1_Condition_Action (x_1: int) returns (x: int);
14
15
function flowchart4_a_INNER__FLOWCHART4_A__TO__FLOWCHART4_FLOWCHART4JUNCTION799_1_handler_until (flowchart4_a_INNER__restart_act: bool; x_1: int) returns (flowchart4_a_INNER__restart_in: bool; flowchart4_a_INNER__state_in: flowchart4_a_INNER__type; x_out: int);
16
17
function flowchart4_a_INNER__FLOWCHART4_A__TO__FLOWCHART4_FLOWCHART4JUNCTION799_1_unless (flowchart4_a_INNER__restart_in: bool) returns (flowchart4_a_INNER__restart_act: bool; flowchart4_a_INNER__state_act: flowchart4_a_INNER__type);
18
19
function flowchart4_a_INNER__POINTFlowchart4_A_INNER_handler_until (flowchart4_a_INNER__restart_act: bool; x_1: int) returns (flowchart4_a_INNER__restart_in: bool; flowchart4_a_INNER__state_in: flowchart4_a_INNER__type; x_out: int);
20
21
function flowchart4_a_INNER__POINTFlowchart4_A_INNER_unless (flowchart4_a_INNER__restart_in: bool) returns (flowchart4_a_INNER__restart_act: bool; flowchart4_a_INNER__state_act: flowchart4_a_INNER__type);
22
23
function flowchart4_a__POINTFlowchart4_A_handler_until (flowchart4_a__restart_act: bool; idFlowchart4_A_1: int) returns (flowchart4_a__restart_in: bool; flowchart4_a__state_in: flowchart4_a__type; idFlowchart4_A_out: int);
24
25
function flowchart4_a__POINTFlowchart4_A_unless (flowchart4_a__restart_in: bool) returns (flowchart4_a__restart_act: bool; flowchart4_a__state_act: flowchart4_a__type);
26
27
node Flowchart4_A_du (x_1: int) returns (x: int);
28
29
node Flowchart4_A_node (idFlowchart4_A_1: int) returns (idFlowchart4_A: int);
30
31
function Flowchart4_A_en (idFlowchart4_A_1: int; idFlowchart4_Flowchart4_1: int; isInner: bool) returns (idFlowchart4_A: int; idFlowchart4_Flowchart4: int);
32
33
node flowchart4_flowchart4__FLOWCHART4_A_IDL_handler_until (flowchart4_flowchart4__restart_act: bool; idFlowchart4_Flowchart4_1: int; idFlowchart4_A_1: int; x_1: int) returns (flowchart4_flowchart4__restart_in: bool; flowchart4_flowchart4__state_in: flowchart4_flowchart4__type; idFlowchart4_A_out: int; idFlowchart4_Flowchart4_out: int; x_out: int);
34
35
function flowchart4_flowchart4__FLOWCHART4_A_IDL_unless (flowchart4_flowchart4__restart_in: bool) returns (flowchart4_flowchart4__restart_act: bool; flowchart4_flowchart4__state_act: flowchart4_flowchart4__type);
36
37
function flowchart4_flowchart4__POINTFlowchart4_Flowchart4_handler_until (flowchart4_flowchart4__restart_act: bool; idFlowchart4_Flowchart4_1: int; idFlowchart4_A_1: int; x_1: int) returns (flowchart4_flowchart4__restart_in: bool; flowchart4_flowchart4__state_in: flowchart4_flowchart4__type; idFlowchart4_A_out: int; idFlowchart4_Flowchart4_out: int; x_out: int);
38
39
function flowchart4_flowchart4__POINTFlowchart4_Flowchart4_unless (flowchart4_flowchart4__restart_in: bool; idFlowchart4_Flowchart4_1: int) returns (flowchart4_flowchart4__restart_act: bool; flowchart4_flowchart4__state_act: flowchart4_flowchart4__type);
40
41
function flowchart4_flowchart4__POINT__TO__FLOWCHART4_A_1_handler_until (flowchart4_flowchart4__restart_act: bool; idFlowchart4_Flowchart4_1: int; idFlowchart4_A_1: int; x_1: int) returns (flowchart4_flowchart4__restart_in: bool; flowchart4_flowchart4__state_in: flowchart4_flowchart4__type; idFlowchart4_A_out: int; idFlowchart4_Flowchart4_out: int; x_out: int);
42
43
function flowchart4_flowchart4__POINT__TO__FLOWCHART4_A_1_unless (flowchart4_flowchart4__restart_in: bool) returns (flowchart4_flowchart4__restart_act: bool; flowchart4_flowchart4__state_act: flowchart4_flowchart4__type);
44
45
node Flowchart4_Flowchart4_node (idFlowchart4_Flowchart4_1: int; idFlowchart4_A_1: int; x_1: int) returns (idFlowchart4_Flowchart4: int; idFlowchart4_A: int; x: int);
46
47
node Flowchart4_Flowchart4 (noInput: bool) returns (x: int);
48
49
function Flowchart4_A_ex (idFlowchart4_Flowchart4_1: int; isInner: bool) returns (idFlowchart4_Flowchart4: int);
50
51
node Flowchart4 (i_virtual: real) returns (Out1_1_1: int);