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 95 of file InterpolationContext.java.

Field Documentation

§ interp

BoolExpr [] interp = null

Definition at line 98 of file InterpolationContext.java.

Referenced by InterpolationContext.ComputeInterpolant().

§ model

Model model = null

Definition at line 99 of file InterpolationContext.java.

Referenced by InterpolationContext.ComputeInterpolant().

§ status

Definition at line 97 of file InterpolationContext.java.

Referenced by InterpolationContext.ComputeInterpolant().