Module Api_solver.ContextSource

Parameters

module H : AXHOOK
module S : Libsolver.S

Signature

Sourcetype bl = S.Bl.t
Sourcetype bv = S.Bv.t
Sourcetype ax = S.Ax.t
Sourceval addr_space : int
Sourceval visit_bl : Expr.t -> bl
Sourceval visit_bv : Expr.t -> bv
Sourceval visit_ax : Memory.t -> ax
Sourceval iter_free_variables : (string -> Expr.t -> unit) -> unit
Sourceval iter_free_arrays : (string -> Memory.t -> unit) -> unit
Sourceval get : Expr.t -> bv