Z3GoalPrec
public extension Z3GoalPrec
-
Approximations/Relaxations were not applied on the goal (sat and unsat answers were preserved).
Declaration
Swift
static let precise: Z3_goal_prec
-
Goal is the product of a under-approximation (sat answers are preserved).
Declaration
Swift
static let under: Z3_goal_prec
-
Goal is the product of an over-approximation (unsat answers are preserved).
Declaration
Swift
static let over: Z3_goal_prec
-
Goal is garbage (it is the product of over- and under-approximations, sat and unsat answers are not preserved).
Declaration
Swift
static let underOver: Z3_goal_prec