Project

General

Profile

Revision 6a1a01d2 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
50 50 

  		




  51
  51
  
    
type var_decl = 


  		




  52
  52
  
    
    {var_id: ident;


  		




  
  53
  
    
     var_orig:bool;


  		




  53
  54
  
    
     var_dec_type: type_dec;


  		




  54
  55
  
    
     var_dec_clock: clock_dec;


  		




  55
  56
  
    
     var_dec_const: bool;


  		




  ......




  102
  103
  
    
  | Expr_merge of ident * (label * expr) list


  		




  103
  104
  
    
  | Expr_appl of call_t


  		




  104
  105
  
    

  		




  105
  
  
    
and call_t = ident * expr * (ident * label) option 


  		




  106
  
  
    
     (* The third part denotes the reseting clock label and value *)


  		




  
  106
  
    
and call_t = ident * expr * expr option 


  		




  
  107
  
    
     (* The third part denotes the boolean condition for resetting *)


  		




  107
  108
  
    

  		




  108
  109
  
    
and eq =


  		




  109
  110
  
    
    {eq_lhs: ident list;


  		












Also available in:  Unified diff