Project

General

Profile

Download (4.02 KB) Statistics
| Branch: | Tag: | Revision:
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);