com.microsoft.z3

Class IDisposable

java.lang.Object

com.microsoft.z3.IDisposable

Direct Known Subclasses:

Context, Z3Object

public abstract class IDisposable
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
IDisposable()

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	dispose()

Methods inherited from class java.lang.Object

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

Constructor Detail

IDisposable

public IDisposable()

Method Detail

dispose

public abstract void dispose()