com.microsoft.z3

Class InterpolationContext.CheckInterpolantResult

java.lang.Object

com.microsoft.z3.InterpolationContext.CheckInterpolantResult

Enclosing class:

InterpolationContext

public class InterpolationContext.CheckInterpolantResult
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	error
int	return_value

Constructor Summary

Constructors

Constructor and Description
InterpolationContext.CheckInterpolantResult()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

return_value

public int return_value

error

public java.lang.String error

Constructor Detail

InterpolationContext.CheckInterpolantResult

public InterpolationContext.CheckInterpolantResult()