Internal base class for interfacing with native Z3 objects. Should not be used externally. More...
Public Member Functions | |
void | Dispose () |
Disposes of the underlying native Z3 object. |
Internal base class for interfacing with native Z3 objects. Should not be used externally.
Definition at line 31 of file Z3Object.cs.
void Dispose | ( | ) | [inline] |
Disposes of the underlying native Z3 object.
Definition at line 44 of file Z3Object.cs.
{ if (m_n_obj != IntPtr.Zero) { DecRef(m_n_obj); m_n_obj = IntPtr.Zero; } if (m_ctx != null) { if (Interlocked.Decrement(ref m_ctx.refCount) == 0) GC.ReRegisterForFinalize(m_ctx); m_ctx = null; } GC.SuppressFinalize(this); }