Project

General

Profile

Revision 01d48bb0 src/corelang.mli

View differences:

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