Z3
Data Fields
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.

Referenced by InterpolationContext.ComputeInterpolant().

Model model = null

Definition at line 90 of file InterpolationContext.java.

Referenced by InterpolationContext.ComputeInterpolant().

Definition at line 88 of file InterpolationContext.java.

Referenced by InterpolationContext.ComputeInterpolant().