com.microsoft.z3

Class Z3Object

java.lang.Object

com.microsoft.z3.IDisposable

com.microsoft.z3.Z3Object

Direct Known Subclasses:

ApplyResult, AST, ASTVector, Constructor, ConstructorList, Fixedpoint, FuncInterp, FuncInterp.Entry, Goal, Model, Optimize, ParamDescrs, Params, Probe, Solver, Statistics, Symbol, Tactic

public class Z3Object
extends IDisposable

Internal base class for interfacing with native Z3 objects. Should not be used externally.

Method Summary

Methods

Modifier and Type	Method and Description
void	dispose() Disposes of the underlying native Z3 object.
protected void	finalize() Finalizer.

Methods inherited from class java.lang.Object

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

Method Detail

finalize

protected void finalize()
                 throws java.lang.Throwable

Finalizer.

Overrides:

finalize in class java.lang.Object

Throws:

java.lang.Throwable

dispose

public void dispose()

Disposes of the underlying native Z3 object.

Specified by:

dispose in class IDisposable