Project

General

Profile

Download (1.04 KB) Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/automata/with_properties/heater4.lusi @ 02d89bbb

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

      

      

        5
        
        
        
        
        
type command_control__type = enum {Open, Silent }; 


      

      

        6
        
        
        
        
        

      

      

        7
        
        
        
        
        
function command_control__Open_handler_until (command_control__restart_act: bool) returns (command_control__restart_in: bool; command_control__state_in: command_control__type; open_light_out: bool);


      

      

        8
        
        
        
        
        

      

      

        9
        
        
        
        
        
function command_control__Open_unless (command_control__restart_in: bool) returns (command_control__restart_act: bool; command_control__state_act: command_control__type);


      

      

        10
        
        
        
        
        

      

      

        11
        
        
        
        
        
function command_control__Silent_handler_until (command_control__restart_act: bool) returns (command_control__restart_in: bool; command_control__state_in: command_control__type; open_light_out: bool);


      

      

        12
        
        
        
        
        

      

      

        13
        
        
        
        
        
function command_control__Silent_unless (command_control__restart_in: bool) returns (command_control__restart_act: bool; command_control__state_act: command_control__type);


      

      

        14
        
        
        
        
        

      

      

        15
        
        
        
        
        
node top (millisecond: bool) returns (open_light: bool);