Z3
Data Fields
InterpolationContext.CheckInterpolantResult Class Reference

Data Fields

int return_value = 0
 
String error = null
 

Detailed Description

Definition at line 127 of file InterpolationContext.java.

Field Documentation

String error = null

Definition at line 130 of file InterpolationContext.java.

Referenced by InterpolationContext.CheckInterpolant().

int return_value = 0

Definition at line 129 of file InterpolationContext.java.

Referenced by InterpolationContext.CheckInterpolant().