InterpolationContext.ComputeInterpolantResult Class Reference

Data Fields
Z3_lbool	status = Z3_lbool.Z3_L_UNDEF
BoolExpr[]	interp = null
Model	model = null

Detailed Description

Definition at line 86 of file InterpolationContext.java.

Field Documentation

BoolExpr [] interp = null

Definition at line 89 of file InterpolationContext.java.

Model model = null

Definition at line 90 of file InterpolationContext.java.

Z3_lbool status = Z3_lbool.Z3_L_UNDEF

Definition at line 88 of file InterpolationContext.java.

Referenced by InterpolationContext.ComputeInterpolant().