package z3

  1. Overview
  2. Docs
type goal
val get_precision : goal -> Z3enums.goal_prec
val is_precise : goal -> bool
val is_underapproximation : goal -> bool
val is_overapproximation : goal -> bool
val is_garbage : goal -> bool
val add : goal -> Expr.expr list -> unit
val is_inconsistent : goal -> bool
val get_depth : goal -> int
val reset : goal -> unit
val get_size : goal -> int
val get_formulas : goal -> Expr.expr list
val get_num_exprs : goal -> int
val is_decided_sat : goal -> bool
val is_decided_unsat : goal -> bool
val translate : goal -> context -> goal
val simplify : goal -> Params.params option -> goal
val mk_goal : context -> bool -> bool -> bool -> goal
val to_string : goal -> string
val as_expr : goal -> Expr.expr