package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type ('var, 'term) status =
  1. | Free
  2. | Declared of 'var * Formula.sort list
  3. | Defined of 'var * Formula.decl list * 'term
val create : int -> t
val decl : t -> Formula.decl -> unit
val def : t -> Formula.def -> unit
val undecl : t -> Formula.decl -> unit
val undef : t -> Formula.def -> unit
val is_bl_cst : t -> Formula.bl_term -> bool option
val is_bv_cst : t -> Formula.bv_term -> Bitvector.t option
val is_bl_var : t -> Formula.bl_term -> Formula.bl_var option
val is_bv_var : t -> Formula.bv_term -> Formula.bv_var option
val is_ax_var : t -> Formula.ax_term -> Formula.ax_var option