Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Junctions5 / Junctions5.lusi @ 79ef5fc5

History | View | Annotate | Download (4.93 KB)

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

    
5
type junctions5_junctions5__type = enum {POINTJunctions5_Junctions5, POINT__TO__JUNCTIONS5_A_1, JUNCTIONS5_A__TO__JUNCTIONS5_JUNCTIONS5JUNCTION1286_1, JUNCTIONS5_A__TO__JUNCTIONS5_JUNCTIONS5JUNCTION1286_2, JUNCTIONS5_A_IDL, JUNCTIONS5_B_IDL };
6

    
7

    
8
function Junctions5_A__To__Junctions5_Junctions5Junction1286_1_Condition_Action (a_1: real) returns (a: real);
9

    
10
function Junctions5_A_ex (a_1: real; idJunctions5_Junctions5_1: int; isInner: bool) returns (a: real; idJunctions5_Junctions5: int);
11

    
12
function Junctions5_B_en (idJunctions5_Junctions5_1: int; isInner: bool) returns (idJunctions5_Junctions5: int);
13

    
14
function Junctions5_Junctions5Junction1286__To__Junctions5_Junctions5Junction1287_1_Condition_Action (a_1: real) returns (a: real);
15

    
16
function Junctions5_Junctions5Junction1287__To__Junctions5_B_1_Condition_Action (a_1: real) returns (a: real);
17

    
18
function Junctions5_A__To__Junctions5_Junctions5Junction1286_2_Condition_Action (a_1: real) returns (a: real);
19

    
20
function Junctions5_A_en (idJunctions5_Junctions5_1: int; isInner: bool) returns (idJunctions5_Junctions5: int);
21

    
22
function junctions5_junctions5__JUNCTIONS5_A_IDL_handler_until (junctions5_junctions5__restart_act: bool; idJunctions5_Junctions5_1: int; a_1: real) returns (junctions5_junctions5__restart_in: bool; junctions5_junctions5__state_in: junctions5_junctions5__type; a_out: real; idJunctions5_Junctions5_out: int);
23

    
24
function junctions5_junctions5__JUNCTIONS5_A_IDL_unless (junctions5_junctions5__restart_in: bool) returns (junctions5_junctions5__restart_act: bool; junctions5_junctions5__state_act: junctions5_junctions5__type);
25

    
26
function junctions5_junctions5__JUNCTIONS5_A__TO__JUNCTIONS5_JUNCTIONS5JUNCTION1286_1_handler_until (junctions5_junctions5__restart_act: bool; idJunctions5_Junctions5_1: int; x: int; a_1: real) returns (junctions5_junctions5__restart_in: bool; junctions5_junctions5__state_in: junctions5_junctions5__type; a_out: real; idJunctions5_Junctions5_out: int);
27

    
28
function junctions5_junctions5__JUNCTIONS5_A__TO__JUNCTIONS5_JUNCTIONS5JUNCTION1286_1_unless (junctions5_junctions5__restart_in: bool) returns (junctions5_junctions5__restart_act: bool; junctions5_junctions5__state_act: junctions5_junctions5__type);
29

    
30
function junctions5_junctions5__JUNCTIONS5_A__TO__JUNCTIONS5_JUNCTIONS5JUNCTION1286_2_handler_until (junctions5_junctions5__restart_act: bool; idJunctions5_Junctions5_1: int; x: int; a_1: real) returns (junctions5_junctions5__restart_in: bool; junctions5_junctions5__state_in: junctions5_junctions5__type; a_out: real; idJunctions5_Junctions5_out: int);
31

    
32
function junctions5_junctions5__JUNCTIONS5_A__TO__JUNCTIONS5_JUNCTIONS5JUNCTION1286_2_unless (junctions5_junctions5__restart_in: bool) returns (junctions5_junctions5__restart_act: bool; junctions5_junctions5__state_act: junctions5_junctions5__type);
33

    
34
function junctions5_junctions5__JUNCTIONS5_B_IDL_handler_until (junctions5_junctions5__restart_act: bool; idJunctions5_Junctions5_1: int; a_1: real) returns (junctions5_junctions5__restart_in: bool; junctions5_junctions5__state_in: junctions5_junctions5__type; a_out: real; idJunctions5_Junctions5_out: int);
35

    
36
function junctions5_junctions5__JUNCTIONS5_B_IDL_unless (junctions5_junctions5__restart_in: bool) returns (junctions5_junctions5__restart_act: bool; junctions5_junctions5__state_act: junctions5_junctions5__type);
37

    
38
function junctions5_junctions5__POINTJunctions5_Junctions5_handler_until (junctions5_junctions5__restart_act: bool; idJunctions5_Junctions5_1: int; a_1: real) returns (junctions5_junctions5__restart_in: bool; junctions5_junctions5__state_in: junctions5_junctions5__type; a_out: real; idJunctions5_Junctions5_out: int);
39

    
40
function junctions5_junctions5__POINTJunctions5_Junctions5_unless (junctions5_junctions5__restart_in: bool; idJunctions5_Junctions5_1: int; x: int) returns (junctions5_junctions5__restart_act: bool; junctions5_junctions5__state_act: junctions5_junctions5__type);
41

    
42
function junctions5_junctions5__POINT__TO__JUNCTIONS5_A_1_handler_until (junctions5_junctions5__restart_act: bool; idJunctions5_Junctions5_1: int; a_1: real) returns (junctions5_junctions5__restart_in: bool; junctions5_junctions5__state_in: junctions5_junctions5__type; a_out: real; idJunctions5_Junctions5_out: int);
43

    
44
function junctions5_junctions5__POINT__TO__JUNCTIONS5_A_1_unless (junctions5_junctions5__restart_in: bool) returns (junctions5_junctions5__restart_act: bool; junctions5_junctions5__state_act: junctions5_junctions5__type);
45

    
46
node Junctions5_Junctions5_node (idJunctions5_Junctions5_1: int; x: int; a_1: real) returns (idJunctions5_Junctions5: int; a: real);
47

    
48
node Junctions5_Junctions5 (x: int) returns (a: real);
49

    
50
node Junctions5 (x_1_1: int) returns (a_1_1: real);
51

    
52
function Junctions5_B_ex (a_1: real; idJunctions5_Junctions5_1: int; isInner: bool) returns (a: real; idJunctions5_Junctions5: int);
53