Project

General

Profile

« Previous | Next » 

Revision eb70bae5

Added by Christophe Garion about 6 years ago

parser-json: final version of parser with new types

View differences:

src/tools/stateflow/semantics/cPS_transformer.ml
80 80 
  (* val mktransformer : t -> unit *)
81 81 
  val mkprincipal : t -> LustreSpec.program
82 82 
  val mkcomponent : 'c call_t -> 'c -> t -> LustreSpec.program
83 
  val pp_principal : Format.formatter -> t -> unit
84 
  val pp_component : Format.formatter -> 'c call_t -> 'c -> t -> unit
83 85 
end
84 86 

  		




  85
  87
  
    
module type ComparableTransformerType =


  		




  ......




  88
  90
  
    

  		




  89
  91
  
    
  val ( == ) : t -> t -> bool


  		




  90
  92
  
    
end


  		




  91
  
  
    

  		




  92
  
  
    

  		




  93
  
  
    
  


  		




  94
  
  
    
  


  		












Also available in:  Unified diff