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().