Z3
Data Fields
InterpolationContext.CheckInterpolantResult Class Reference

Data Fields

int return_value = 0
 
String error = null
 

Detailed Description

Definition at line 136 of file InterpolationContext.java.

Field Documentation

§ error

String error = null

Definition at line 139 of file InterpolationContext.java.

Referenced by InterpolationContext.CheckInterpolant().

§ return_value

int return_value = 0

Definition at line 138 of file InterpolationContext.java.

Referenced by InterpolationContext.CheckInterpolant().