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