Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetOut / SetResetOut.lusi @ 79ef5fc5

History | View | Annotate | Download (5.71 KB)

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

    
5
type setresetout_setresetout__type = enum {POINTSetResetOut_SetResetOut, POINT__TO__SETRESETOUT_OFF_1, SETRESETOUT_ON__TO__SETRESETOUT_OFF_1, SETRESETOUT_OFF__TO__SETRESETOUT_ON_1, SETRESETOUT_ON_IDL, SETRESETOUT_OFF_IDL };
6

    
7

    
8
function SetResetOut_Off_en (idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; isInner: bool) returns (idSetResetOut_SetResetOut: int; is_set: int; offcnt: int);
9

    
10
function SetResetOut_Off_du (offcnt_1: int) returns (offcnt: int);
11

    
12
function SetResetOut_Off_ex (is_reset_1: int; idSetResetOut_SetResetOut_1: int; isInner: bool) returns (is_reset: int; idSetResetOut_SetResetOut: int);
13

    
14
function SetResetOut_On_en (idSetResetOut_SetResetOut_1: int; is_set_1: int; oncnt_1: int; isInner: bool) returns (idSetResetOut_SetResetOut: int; is_set: int; oncnt: int);
15

    
16
function SetResetOut_On_du (oncnt_1: int) returns (oncnt: int);
17

    
18
function SetResetOut_On_ex (is_reset_1: int; idSetResetOut_SetResetOut_1: int; isInner: bool) returns (is_reset: int; idSetResetOut_SetResetOut: int);
19

    
20
function setresetout_setresetout__POINTSetResetOut_SetResetOut_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
21

    
22
function setresetout_setresetout__POINTSetResetOut_SetResetOut_unless (setresetout_setresetout__restart_in: bool; idSetResetOut_SetResetOut_1: int; Reset: bool; Set: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
23

    
24
function setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
25

    
26
function setresetout_setresetout__POINT__TO__SETRESETOUT_OFF_1_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
27

    
28
function setresetout_setresetout__SETRESETOUT_OFF_IDL_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
29

    
30
function setresetout_setresetout__SETRESETOUT_OFF_IDL_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
31

    
32
function setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
33

    
34
function setresetout_setresetout__SETRESETOUT_OFF__TO__SETRESETOUT_ON_1_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
35

    
36
function setresetout_setresetout__SETRESETOUT_ON_IDL_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
37

    
38
function setresetout_setresetout__SETRESETOUT_ON_IDL_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
39

    
40
function setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_handler_until (setresetout_setresetout__restart_act: bool; idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; is_reset_1: int; oncnt_1: int) returns (setresetout_setresetout__restart_in: bool; setresetout_setresetout__state_in: setresetout_setresetout__type; idSetResetOut_SetResetOut_out: int; is_reset_out: int; is_set_out: int; offcnt_out: int; oncnt_out: int);
41

    
42
function setresetout_setresetout__SETRESETOUT_ON__TO__SETRESETOUT_OFF_1_unless (setresetout_setresetout__restart_in: bool) returns (setresetout_setresetout__restart_act: bool; setresetout_setresetout__state_act: setresetout_setresetout__type);
43

    
44
node SetResetOut_SetResetOut_node (idSetResetOut_SetResetOut_1: int; is_set_1: int; offcnt_1: int; Reset: bool; is_reset_1: int; Set: bool; oncnt_1: int) returns (idSetResetOut_SetResetOut: int; is_set: int; offcnt: int; is_reset: int; oncnt: int);
45

    
46
node SetResetOut_SetResetOut (Set: bool; Reset: bool) returns (is_set: int; oncnt: int; offcnt: int; is_reset: int);
47

    
48
node SetResetOut (Set_1_1: real; Reset_1_1: real) returns (is_set_1_1: int; oncnt_2_1: int; offcnt_3_1: int; is_reset_4_1: int);
49