package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec.Formula_transformationSource

include module type of struct include Binsec_smtlib.Formula.Transformation end
val rename_bl_var : (string -> string) -> Binsec_smtlib.Formula.bl_var -> Binsec_smtlib.Formula.bl_var
val rename_bv_var : (string -> string) -> Binsec_smtlib.Formula.bv_var -> Binsec_smtlib.Formula.bv_var
val rename_ax_var : (string -> string) -> Binsec_smtlib.Formula.ax_var -> Binsec_smtlib.Formula.ax_var
val rename_bl_term : (string -> string) -> Binsec_smtlib.Formula.bl_term -> Binsec_smtlib.Formula.bl_term
val rename_bv_term : (string -> string) -> Binsec_smtlib.Formula.bv_term -> Binsec_smtlib.Formula.bv_term
val rename_ax_term : (string -> string) -> Binsec_smtlib.Formula.ax_term -> Binsec_smtlib.Formula.ax_term
val read_over_write : ?lst:int -> ?rbs:bool -> ?itv:bool -> Binsec_smtlib.Formula.formula -> Binsec_smtlib.Formula.formula
val optimize : ?keep:Binsec_smtlib.Formula.VarSet.t -> ?lst:int -> ?cst:bool -> ?itv:bool -> ?prn:bool -> ?rbs:bool -> ?row:bool -> ?ssa:bool -> ?is_controlled:(Binsec_smtlib.Formula.VarSet.elt -> bool) -> Binsec_smtlib.Formula.formula -> Binsec_smtlib.Formula.formula
Sourceval optimize_from_options : ?keep:??? -> ?is_controlled:??? -> Binsec_smtlib.Formula.formula -> Binsec_smtlib.Formula.formula