Project

General

Profile

Revision 95944ba1 src/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