Package org.sosy_lab.java_smt.solvers.opensmt.api

Class InterpolationContext

java.lang.Object

org.sosy_lab.java_smt.solvers.opensmt.api.InterpolationContext

public class InterpolationContext
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	InterpolationContext(long cPtr, boolean cMemoryOwn)

Method Summary

Modifier and Type	Method	Description
void	delete()
protected void	finalize()
protected static long	getCPtr(InterpolationContext obj)
VectorPTRef	getPathInterpolants(VectorVectorInt partitions)
PTRef	getSingleInterpolant(VectorInt partition)
protected static long	swigRelease(InterpolationContext obj)

Methods inherited from class java.lang.Object

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

Field Detail

swigCMemOwn

protected transient boolean swigCMemOwn

Constructor Detail

InterpolationContext

protected InterpolationContext(long cPtr,
                               boolean cMemoryOwn)

Method Detail

getCPtr

protected static long getCPtr(InterpolationContext obj)

swigRelease

protected static long swigRelease(InterpolationContext obj)

finalize

protected void finalize()

Overrides:

finalize in class java.lang.Object

delete

public void delete()

getSingleInterpolant

public PTRef getSingleInterpolant(VectorInt partition)

getPathInterpolants

public VectorPTRef getPathInterpolants(VectorVectorInt partitions)