| 1 |
79ef5fc5
|
bourbouh
|
(* 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);
|