Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
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.

int return_value = 0

Definition at line 129 of file InterpolationContext.java.