package z3

  1. Overview
  2. Docs
type probe
val apply : probe -> Goal.goal -> float
val get_num_probes : context -> int
val get_probe_names : context -> string list
val get_probe_description : context -> string -> string
val mk_probe : context -> string -> probe
val const : context -> float -> probe
val lt : context -> probe -> probe -> probe
val gt : context -> probe -> probe -> probe
val le : context -> probe -> probe -> probe
val ge : context -> probe -> probe -> probe
val eq : context -> probe -> probe -> probe
val and_ : context -> probe -> probe -> probe
val or_ : context -> probe -> probe -> probe
val not_ : context -> probe -> probe