Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetReset / SetReset.lusi @ 79ef5fc5

History | View | Annotate | Download (4.02 KB)

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

    
5
type setreset_setreset__type = enum {POINTSetReset_SetReset, POINT__TO__SETRESET_OFF_1, SETRESET_OFF__TO__SETRESET_ON_1, SETRESET_ON__TO__SETRESET_OFF_1, SETRESET_OFF_IDL, SETRESET_ON_IDL };
6

    
7

    
8
function SetReset_Off_en (idSetReset_SetReset_1: int; x_1: int; isInner: bool) returns (idSetReset_SetReset: int; x: int);
9

    
10
function SetReset_Off_ex (idSetReset_SetReset_1: int; isInner: bool) returns (idSetReset_SetReset: int);
11

    
12
function SetReset_On_en (idSetReset_SetReset_1: int; x_1: int; isInner: bool) returns (idSetReset_SetReset: int; x: int);
13

    
14
function SetReset_On_ex (idSetReset_SetReset_1: int; isInner: bool) returns (idSetReset_SetReset: int);
15

    
16
function setreset_setreset__POINTSetReset_SetReset_handler_until (setreset_setreset__restart_act: bool; idSetReset_SetReset_1: int; x_1: int) returns (setreset_setreset__restart_in: bool; setreset_setreset__state_in: setreset_setreset__type; idSetReset_SetReset_out: int; x_out: int);
17

    
18
function setreset_setreset__POINTSetReset_SetReset_unless (setreset_setreset__restart_in: bool; idSetReset_SetReset_1: int; Set: bool; Reset: bool) returns (setreset_setreset__restart_act: bool; setreset_setreset__state_act: setreset_setreset__type);
19

    
20
function setreset_setreset__POINT__TO__SETRESET_OFF_1_handler_until (setreset_setreset__restart_act: bool; idSetReset_SetReset_1: int; x_1: int) returns (setreset_setreset__restart_in: bool; setreset_setreset__state_in: setreset_setreset__type; idSetReset_SetReset_out: int; x_out: int);
21

    
22
function setreset_setreset__POINT__TO__SETRESET_OFF_1_unless (setreset_setreset__restart_in: bool) returns (setreset_setreset__restart_act: bool; setreset_setreset__state_act: setreset_setreset__type);
23

    
24
function setreset_setreset__SETRESET_OFF_IDL_handler_until (setreset_setreset__restart_act: bool; idSetReset_SetReset_1: int; x_1: int) returns (setreset_setreset__restart_in: bool; setreset_setreset__state_in: setreset_setreset__type; idSetReset_SetReset_out: int; x_out: int);
25

    
26
function setreset_setreset__SETRESET_OFF_IDL_unless (setreset_setreset__restart_in: bool) returns (setreset_setreset__restart_act: bool; setreset_setreset__state_act: setreset_setreset__type);
27

    
28
function setreset_setreset__SETRESET_OFF__TO__SETRESET_ON_1_handler_until (setreset_setreset__restart_act: bool; idSetReset_SetReset_1: int; x_1: int) returns (setreset_setreset__restart_in: bool; setreset_setreset__state_in: setreset_setreset__type; idSetReset_SetReset_out: int; x_out: int);
29

    
30
function setreset_setreset__SETRESET_OFF__TO__SETRESET_ON_1_unless (setreset_setreset__restart_in: bool) returns (setreset_setreset__restart_act: bool; setreset_setreset__state_act: setreset_setreset__type);
31

    
32
function setreset_setreset__SETRESET_ON_IDL_handler_until (setreset_setreset__restart_act: bool; idSetReset_SetReset_1: int; x_1: int) returns (setreset_setreset__restart_in: bool; setreset_setreset__state_in: setreset_setreset__type; idSetReset_SetReset_out: int; x_out: int);
33

    
34
function setreset_setreset__SETRESET_ON_IDL_unless (setreset_setreset__restart_in: bool) returns (setreset_setreset__restart_act: bool; setreset_setreset__state_act: setreset_setreset__type);
35

    
36
function setreset_setreset__SETRESET_ON__TO__SETRESET_OFF_1_handler_until (setreset_setreset__restart_act: bool; idSetReset_SetReset_1: int; x_1: int) returns (setreset_setreset__restart_in: bool; setreset_setreset__state_in: setreset_setreset__type; idSetReset_SetReset_out: int; x_out: int);
37

    
38
function setreset_setreset__SETRESET_ON__TO__SETRESET_OFF_1_unless (setreset_setreset__restart_in: bool) returns (setreset_setreset__restart_act: bool; setreset_setreset__state_act: setreset_setreset__type);
39

    
40
node SetReset_SetReset_node (idSetReset_SetReset_1: int; x_1: int; Set: bool; Reset: bool) returns (idSetReset_SetReset: int; x: int);
41

    
42
node SetReset_SetReset (Set: bool; Reset: bool) returns (x: int);
43

    
44
node SetReset (Set_1_1: real; Reset_1_1: real) returns (output_1_1: int);
45