Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package binsec
Module Utils.BindEnv
type ('var, 'term) status = | Free| Declared of 'var * Formula.sort list| Defined of 'var * Formula.decl list * 'term
val create : int -> tval decl : t -> Formula.decl -> unitval def : t -> Formula.def -> unitval undecl : t -> Formula.decl -> unitval undef : t -> Formula.def -> unitval bl_lookup : t -> Formula.bl_var -> (Formula.bl_var, Formula.bl_term) statusval bv_lookup : t -> Formula.bv_var -> (Formula.bv_var, Formula.bv_term) statusval ax_lookup : t -> Formula.ax_var -> (Formula.ax_var, Formula.ax_term) statusval is_bl_cst : t -> Formula.bl_term -> bool optionval is_bv_cst : t -> Formula.bv_term -> Binsec_base.Bitvector.t optionval is_bl_var : t -> Formula.bl_term -> Formula.bl_var optionval is_bv_var : t -> Formula.bv_term -> Formula.bv_var optionval is_ax_var : t -> Formula.ax_term -> Formula.ax_var option