Project

General

Profile

Download (4.96 KB) Statistics
| Branch: | Tag: | Revision:
1 79ef5fc5 bourbouh
(* Generated Lustre Interface file from Flowchart5.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 flowchart5_a_INNER__type = enum {POINTFlowchart5_A_INNER, FLOWCHART5_A__TO__FLOWCHART5_FLOWCHART5JUNCTION807_1 };
6
7
8
type flowchart5_a__type = enum {POINTFlowchart5_A, POINT__TO__FLOWCHART5_FLOWCHART5JUNCTION807_1 };
9
10
11
type flowchart5_flowchart5__type = enum {POINTFlowchart5_Flowchart5, POINT__TO__FLOWCHART5_A_1, FLOWCHART5_FLOWCHART5_PARALLEL_IDL };
12
13
14
function Flowchart5_Flowchart5Junction807__To__Flowchart5_Flowchart5Junction808_1_Condition_Action (x_1: int) returns (x: int);
15
16
function flowchart5_a__POINTFlowchart5_A_handler_until (flowchart5_a__restart_act: bool; idFlowchart5_A_1: int; x_1: int) returns (flowchart5_a__restart_in: bool; flowchart5_a__state_in: flowchart5_a__type; idFlowchart5_A_out: int; x_out: int);
17
18
function flowchart5_a__POINTFlowchart5_A_unless (flowchart5_a__restart_in: bool; idFlowchart5_A_1: int) returns (flowchart5_a__restart_act: bool; flowchart5_a__state_act: flowchart5_a__type);
19
20
function flowchart5_a__POINT__TO__FLOWCHART5_FLOWCHART5JUNCTION807_1_handler_until (flowchart5_a__restart_act: bool; idFlowchart5_A_1: int; x_1: int) returns (flowchart5_a__restart_in: bool; flowchart5_a__state_in: flowchart5_a__type; idFlowchart5_A_out: int; x_out: int);
21
22
function flowchart5_a__POINT__TO__FLOWCHART5_FLOWCHART5JUNCTION807_1_unless (flowchart5_a__restart_in: bool) returns (flowchart5_a__restart_act: bool; flowchart5_a__state_act: flowchart5_a__type);
23
24
node Flowchart5_A_node (idFlowchart5_A_1: int; x_1: int) returns (idFlowchart5_A: int; x: int);
25
26
function Flowchart5_A_en (idFlowchart5_A_1: int; idFlowchart5_Flowchart5_1: int; x_1: int; isInner: bool) returns (idFlowchart5_A: int; idFlowchart5_Flowchart5: int; x: int);
27
28
node flowchart5_flowchart5__FLOWCHART5_FLOWCHART5_PARALLEL_IDL_handler_until (flowchart5_flowchart5__restart_act: bool; idFlowchart5_Flowchart5_1: int; idFlowchart5_A_1: int; x_1: int) returns (flowchart5_flowchart5__restart_in: bool; flowchart5_flowchart5__state_in: flowchart5_flowchart5__type; idFlowchart5_A_out: int; idFlowchart5_Flowchart5_out: int; x_out: int);
29
30
function flowchart5_flowchart5__FLOWCHART5_FLOWCHART5_PARALLEL_IDL_unless (flowchart5_flowchart5__restart_in: bool) returns (flowchart5_flowchart5__restart_act: bool; flowchart5_flowchart5__state_act: flowchart5_flowchart5__type);
31
32
function flowchart5_flowchart5__POINTFlowchart5_Flowchart5_handler_until (flowchart5_flowchart5__restart_act: bool; idFlowchart5_Flowchart5_1: int; idFlowchart5_A_1: int; x_1: int) returns (flowchart5_flowchart5__restart_in: bool; flowchart5_flowchart5__state_in: flowchart5_flowchart5__type; idFlowchart5_A_out: int; idFlowchart5_Flowchart5_out: int; x_out: int);
33
34
function flowchart5_flowchart5__POINTFlowchart5_Flowchart5_unless (flowchart5_flowchart5__restart_in: bool; idFlowchart5_Flowchart5_1: int) returns (flowchart5_flowchart5__restart_act: bool; flowchart5_flowchart5__state_act: flowchart5_flowchart5__type);
35
36
function flowchart5_flowchart5__POINT__TO__FLOWCHART5_A_1_handler_until (flowchart5_flowchart5__restart_act: bool; idFlowchart5_Flowchart5_1: int; idFlowchart5_A_1: int; x_1: int) returns (flowchart5_flowchart5__restart_in: bool; flowchart5_flowchart5__state_in: flowchart5_flowchart5__type; idFlowchart5_A_out: int; idFlowchart5_Flowchart5_out: int; x_out: int);
37
38
function flowchart5_flowchart5__POINT__TO__FLOWCHART5_A_1_unless (flowchart5_flowchart5__restart_in: bool) returns (flowchart5_flowchart5__restart_act: bool; flowchart5_flowchart5__state_act: flowchart5_flowchart5__type);
39
40
node Flowchart5_Flowchart5_node (idFlowchart5_Flowchart5_1: int; idFlowchart5_A_1: int; x_1: int) returns (idFlowchart5_Flowchart5: int; idFlowchart5_A: int; x: int);
41
42
node Flowchart5_Flowchart5 (noInput: bool) returns (x: int);
43
44
function flowchart5_a_INNER__FLOWCHART5_A__TO__FLOWCHART5_FLOWCHART5JUNCTION807_1_handler_until (flowchart5_a_INNER__restart_act: bool; x_1: int) returns (flowchart5_a_INNER__restart_in: bool; flowchart5_a_INNER__state_in: flowchart5_a_INNER__type; x_out: int);
45
46
function flowchart5_a_INNER__FLOWCHART5_A__TO__FLOWCHART5_FLOWCHART5JUNCTION807_1_unless (flowchart5_a_INNER__restart_in: bool) returns (flowchart5_a_INNER__restart_act: bool; flowchart5_a_INNER__state_act: flowchart5_a_INNER__type);
47
48
function flowchart5_a_INNER__POINTFlowchart5_A_INNER_handler_until (flowchart5_a_INNER__restart_act: bool; x_1: int) returns (flowchart5_a_INNER__restart_in: bool; flowchart5_a_INNER__state_in: flowchart5_a_INNER__type; x_out: int);
49
50
function flowchart5_a_INNER__POINTFlowchart5_A_INNER_unless (flowchart5_a_INNER__restart_in: bool) returns (flowchart5_a_INNER__restart_act: bool; flowchart5_a_INNER__state_act: flowchart5_a_INNER__type);
51
52
node Flowchart5 (i_virtual: real) returns (Out1_1_1: int);
53
54
node Flowchart5_A_du (x_1: int) returns (x: int);
55
56
function Flowchart5_A_ex (idFlowchart5_Flowchart5_1: int; isInner: bool) returns (idFlowchart5_Flowchart5: int);