Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / automata / without_properties / tawoa_automata.lusi @ 02d89bbb

History | View | Annotate | Download (1.38 KB)

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

    
5
type aut2__type = enum {C, D }; 
6

    
7
type aut1__type = enum {A, B }; 
8

    
9
function aut1__A_handler_until (aut1__restart_act: bool; input: int; x2: int) returns (aut1__restart_in: bool; aut1__state_in: aut1__type; x1_out: int; y1_out: int);
10

    
11
function aut1__A_unless (aut1__restart_in: bool) returns (aut1__restart_act: bool; aut1__state_act: aut1__type);
12

    
13
function aut1__B_handler_until (aut1__restart_act: bool) returns (aut1__restart_in: bool; aut1__state_in: aut1__type; x1_out: int; y1_out: int);
14

    
15
function aut1__B_unless (aut1__restart_in: bool) returns (aut1__restart_act: bool; aut1__state_act: aut1__type);
16

    
17
function aut2__C_handler_until (aut2__restart_act: bool; x1: int) returns (aut2__restart_in: bool; aut2__state_in: aut2__type; x2_out: int; y2_out: int);
18

    
19
function aut2__C_unless (aut2__restart_in: bool) returns (aut2__restart_act: bool; aut2__state_act: aut2__type);
20

    
21
function aut2__D_handler_until (aut2__restart_act: bool; input: int) returns (aut2__restart_in: bool; aut2__state_in: aut2__type; x2_out: int; y2_out: int);
22

    
23
function aut2__D_unless (aut2__restart_in: bool) returns (aut2__restart_act: bool; aut2__state_act: aut2__type);
24

    
25
node tawoa_automata (input: int) returns (ok: bool);
26