Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Public Member Functions
Z3Object Class Reference

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

+ Inheritance diagram for Z3Object:

Public Member Functions

void Dispose ()
 Disposes of the underlying native Z3 object.
 

Detailed Description

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

Definition at line 30 of file Z3Object.cs.

Member Function Documentation

void Dispose ( )
inline

Disposes of the underlying native Z3 object.

Definition at line 43 of file Z3Object.cs.

{
if (m_n_obj != IntPtr.Zero)
{
DecRef(m_n_obj);
m_n_obj = IntPtr.Zero;
}
if (m_ctx != null)
{
m_ctx.refCount--;
if (m_ctx.refCount == 0)
GC.ReRegisterForFinalize(m_ctx);
m_ctx = null;
}
GC.SuppressFinalize(this);
}