com.microsoft.z3

Class InterpolationContext.ComputeInterpolantResult

java.lang.Object

com.microsoft.z3.InterpolationContext.ComputeInterpolantResult

Enclosing class:

InterpolationContext

public class InterpolationContext.ComputeInterpolantResult
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
BoolExpr[]	interp
Model	model
Z3_lbool	status

Constructor Summary

Constructors

Constructor and Description
InterpolationContext.ComputeInterpolantResult()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

status

public Z3_lbool status

interp

public BoolExpr[] interp

model

public Model model

Constructor Detail

InterpolationContext.ComputeInterpolantResult

public InterpolationContext.ComputeInterpolantResult()