Revision 01d48bb0 src/corelang.mli
src/corelang.mli | ||
---|---|---|
19 | 19 |
|
20 | 20 |
val mktyp: Location.t -> type_dec_desc -> type_dec |
21 | 21 |
val mkclock: Location.t -> clock_dec_desc -> clock_dec |
22 |
val mkvar_decl: Location.t -> ?orig:bool -> ident * type_dec * clock_dec * bool (* is const *) -> var_decl |
|
22 |
val mkvar_decl: Location.t -> ?orig:bool -> ident * type_dec * clock_dec * bool (* is const *) * expr option (* value *) -> var_decl |
|
23 |
|
|
23 | 24 |
val var_decl_of_const: const_desc -> var_decl |
24 | 25 |
val mkexpr: Location.t -> expr_desc -> expr |
25 | 26 |
val mkeq: Location.t -> ident list * expr -> eq |
... | ... | |
41 | 42 |
val print_consts_table: Format.formatter -> unit -> unit |
42 | 43 |
val type_table: (type_dec_desc, top_decl) Hashtbl.t |
43 | 44 |
val print_type_table: Format.formatter -> unit -> unit |
45 |
val is_clock_dec_type: type_dec_desc -> bool |
|
44 | 46 |
val get_repr_type: type_dec_desc -> type_dec_desc |
45 | 47 |
val is_user_type: type_dec_desc -> bool |
46 | 48 |
val coretype_equal: type_dec_desc -> type_dec_desc -> bool |
... | ... | |
111 | 113 |
val get_dependencies : program -> top_decl list |
112 | 114 |
(* val prog_unfold_consts: program -> program *) |
113 | 115 |
|
116 |
val rename_static: (ident -> Dimension.dim_expr) -> type_dec_desc -> type_dec_desc |
|
117 |
val rename_carrier: (ident -> ident) -> clock_dec_desc -> clock_dec_desc |
|
118 |
|
|
114 | 119 |
val get_expr_vars: Utils.ISet.t -> expr -> Utils.ISet.t |
115 | 120 |
val expr_replace_var: (ident -> ident) -> expr -> expr |
116 | 121 |
val eq_replace_rhs_var: (ident -> bool) -> (ident -> ident) -> eq -> eq |
117 | 122 |
|
118 | 123 |
(** rename_prog f_node f_var f_const prog *) |
119 | 124 |
val rename_prog: (ident -> ident) -> (ident -> ident) -> (ident -> ident) -> program -> program |
120 |
|
|
121 |
|
|
122 | 125 |
val substitute_expr: var_decl list -> eq list -> expr -> expr |
123 | 126 |
|
127 |
val copy_var_decl: var_decl -> var_decl |
|
128 |
val copy_const: const_desc -> const_desc |
|
129 |
val copy_node: node_desc -> node_desc |
|
130 |
val copy_top: top_decl -> top_decl |
|
131 |
val copy_prog: top_decl list -> top_decl list |
|
132 |
|
|
124 | 133 |
(** Annotation expression related functions *) |
125 | 134 |
val mkeexpr: Location.t -> expr -> eexpr |
126 | 135 |
val merge_node_annot: node_annot -> node_annot -> node_annot |
Also available in: Unified diff