Public Member Functions | |
Z3_goal_prec (int v) | |
final int | toInt () |
Static Public Member Functions | |
static final Z3_goal_prec | fromInt (int v) |
Data Fields | |
Z3_GOAL_PRECISE =(0) | |
Z3_GOAL_UNDER =(1) | |
Z3_GOAL_OVER =(2) | |
Z3_GOAL_UNDER_OVER =(3) | |
Definition at line 13 of file Z3_goal_prec.java.
|
inline |
Definition at line 21 of file Z3_goal_prec.java.
|
inlinestatic |
Definition at line 35 of file Z3_goal_prec.java.
Referenced by Goal.getPrecision().
|
inline |
Definition at line 41 of file Z3_goal_prec.java.
Z3_GOAL_OVER =(2) |
Definition at line 16 of file Z3_goal_prec.java.
Referenced by Goal.isOverApproximation().
Z3_GOAL_PRECISE =(0) |
Definition at line 14 of file Z3_goal_prec.java.
Referenced by Goal.isPrecise().
Z3_GOAL_UNDER =(1) |
Definition at line 15 of file Z3_goal_prec.java.
Referenced by Goal.isUnderApproximation().
Z3_GOAL_UNDER_OVER =(3) |
Definition at line 17 of file Z3_goal_prec.java.
Referenced by Goal.isGarbage().