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