Project

General

Profile

Revision ad4774b0 src/corelang.mli

View differences:

src/corelang.mli
110 110

  
111 111
val add_internal_funs: unit -> unit
112 112

  
113
val pp_prog_type : Format.formatter -> program -> unit
113
val pp_prog_type : Format.formatter -> program_t -> unit
114 114

  
115
val pp_prog_clock : Format.formatter -> program -> unit
115
val pp_prog_clock : Format.formatter -> program_t -> unit
116 116

  
117 117
val const_of_top: top_decl -> const_desc
118 118
val node_of_top: top_decl -> node_desc
......
120 120
val typedef_of_top: top_decl -> typedef_desc
121 121
val dependency_of_top: top_decl -> (bool * ident)
122 122

  
123
val get_nodes : program -> top_decl list
124
val get_imported_nodes : program -> top_decl list
125
val get_consts : program -> top_decl list
126
val get_typedefs: program -> top_decl list
127
val get_dependencies : program -> top_decl list
128
(* val prog_unfold_consts: program -> program *)
123
val get_nodes : program_t -> top_decl list
124
val get_imported_nodes : program_t -> top_decl list
125
val get_consts : program_t -> top_decl list
126
val get_typedefs: program_t -> top_decl list
127
val get_dependencies : program_t -> top_decl list
128
(* val prog_unfold_consts: program_t -> program_t *)
129 129

  
130 130
val rename_static: (ident -> Dimension.dim_expr) -> type_dec_desc -> type_dec_desc
131 131
val rename_carrier: (ident -> ident) -> clock_dec_desc -> clock_dec_desc
......
142 142
(** val rename_aut f_node f_var aut *)
143 143
val rename_aut : (ident -> ident) -> (ident -> ident) -> automata_desc -> automata_desc
144 144
(** rename_prog f_node f_var prog *)
145
val rename_prog: (ident -> ident) -> (ident -> ident) -> (ident -> ident) -> program -> program
145
val rename_prog: (ident -> ident) -> (ident -> ident) -> (ident -> ident) -> program_t -> program_t
146 146

  
147 147
val substitute_expr: var_decl list -> eq list -> expr -> expr
148 148

  

Also available in: Unified diff