package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Default.ToFormula`

type t

val create : 
  ?debug:(name:string -> label:string -> string) ->
  next_id:Binsec_kernel.Suid.t ->
  unit ->
  t

val assert_bl : 
  t ->
  ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node)
    Binsec_base.Term.t ->
  unit

val define_bv : 
  t ->
  string ->
  ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node)
    Binsec_base.Term.t ->
  unit

val define_ax : 
  t ->
  string ->
  [ `Some ] Binsec_symbolic__Default__.Types.Memory.node ->
  unit

val to_formula : t -> Binsec_symbolic.Smtlib.Formula.formula