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 31 of file Z3Object.cs.

---

Member Function Documentation

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);
        }