Project

General

Profile

« Previous | Next » 

Revision 95944ba1

Added by Pierre-Loïc Garoche almost 5 years ago

Cleaning up stuff in normalization. Mainly replace arguments with only required elements
node_Table hashtbl is now only available through functions of the corelang.mli

View differences:

src/corelang.mli
49 49 
val get_instr_desc: Machine_code_types.instr_t -> Machine_code_types.instr_t_desc
50 50 
val update_instr_desc: Machine_code_types.instr_t -> Machine_code_types.instr_t_desc -> Machine_code_types.instr_t
51 51
52 
val node_table : (ident, top_decl) Hashtbl.t
52 
(*val node_table : (ident, top_decl) Hashtbl.t*)
53 53 
val print_node_table:  Format.formatter -> unit -> unit
54 54 
val node_name: top_decl -> ident
55 55 
val node_inputs: top_decl -> var_decl list
56 56 
val node_from_name: ident -> top_decl
57 
val update_node: ident -> top_decl -> unit
57 58 
val is_generic_node: top_decl -> bool
58 59 
val is_imported_node: top_decl -> bool
59 60 

  		




  ......




  173
  174
  
    
val expr_contains_expr: tag -> expr -> bool


  		




  174
  175
  
    

  		




  175
  176
  
    
val reset_cpt_fresh: unit -> unit


  		




  176
  
  
    
val mk_fresh_var: node_desc -> Location.t -> Types.type_expr ->  Clocks.clock_expr -> var_decl


  		




  
  177
  
    
  


  		




  
  178
  
    
(* mk_fresh_var parentid to be registered as parent_nodeid, vars is the list of existing vars in that context *)


  		




  
  179
  
    
val mk_fresh_var: (ident * var_decl list) -> Location.t -> Types.type_expr ->  Clocks.clock_expr -> var_decl


  		




  177
  180
  
    

  		




  178
  181
  
    
val find_eq: ident list -> eq list -> eq * eq list


  		




  179
  182
  
    
val get_expr_calls: top_decl list -> expr -> Utils.ISet.t


  		












Also available in:  Unified diff