Data Fields | |
Z3_lbool | status = Z3_lbool.Z3_L_UNDEF |
BoolExpr [] | interp = null |
Model | model = null |
Definition at line 95 of file InterpolationContext.java.
BoolExpr [] interp = null |
Definition at line 98 of file InterpolationContext.java.
Referenced by InterpolationContext.ComputeInterpolant().
Model model = null |
Definition at line 99 of file InterpolationContext.java.
Referenced by InterpolationContext.ComputeInterpolant().
Z3_lbool status = Z3_lbool.Z3_L_UNDEF |
Definition at line 97 of file InterpolationContext.java.
Referenced by InterpolationContext.ComputeInterpolant().