com.microsoft.z3

Class InterpolationContext.ReadInterpolationProblemResult

java.lang.Object

com.microsoft.z3.InterpolationContext.ReadInterpolationProblemResult

Enclosing class:

InterpolationContext

public class InterpolationContext.ReadInterpolationProblemResult
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Expr[]	cnsts
java.lang.String	error
int[]	parents
int	return_value
Expr[]	theory

Constructor Summary

Constructors

Constructor and Description
InterpolationContext.ReadInterpolationProblemResult()

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

cnsts

public Expr[] cnsts

parents

public int[] parents

error

public java.lang.String error

theory

public Expr[] theory

Constructor Detail

InterpolationContext.ReadInterpolationProblemResult

public InterpolationContext.ReadInterpolationProblemResult()