Public Member Functions | |
Z3_lbool (int v) | |
final int | toInt () |
Static Public Member Functions | |
static final Z3_lbool | fromInt (int v) |
Data Fields | |
Z3_L_TRUE =(1) | |
Z3_L_UNDEF =(0) | |
Z3_L_FALSE =(-1) | |
Definition at line 10 of file Z3_lbool.java.
|
inline |
Definition at line 17 of file Z3_lbool.java.
|
inlinestatic |
Definition at line 21 of file Z3_lbool.java.
Referenced by Optimize.Check(), Solver.check(), InterpolationContext.ComputeInterpolant(), Expr.getBoolValue(), and Fixedpoint.query().
|
inline |
Definition at line 27 of file Z3_lbool.java.
Z3_L_FALSE =(-1) |
Definition at line 13 of file Z3_lbool.java.
Referenced by InterpolationContext.ComputeInterpolant().
Z3_L_TRUE =(1) |
Definition at line 11 of file Z3_lbool.java.
Referenced by InterpolationContext.ComputeInterpolant().
Z3_L_UNDEF =(0) |
Definition at line 12 of file Z3_lbool.java.