com.microsoft.z3

Class ConstructorList

java.lang.Object

com.microsoft.z3.IDisposable

com.microsoft.z3.Z3Object

com.microsoft.z3.ConstructorList

public class ConstructorList
extends Z3Object

Lists of constructors

Method Summary

Methods

Modifier and Type	Method and Description
protected void	finalize() Destructor.

Methods inherited from class com.microsoft.z3.Z3Object

dispose

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

Destructor.

Overrides:

finalize in class Z3Object

Throws:

java.lang.Throwable

Z3Exception - on error