Z3
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. More...
 

Detailed Description

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

Definition at line 33 of file Z3Object.cs.

Member Function Documentation

§ Dispose()

void Dispose ( )
inline

Disposes of the underlying native Z3 object.

Definition at line 46 of file Z3Object.cs.

47  {
48  if (m_n_obj != IntPtr.Zero)
49  {
50  DecRef(m_n_obj);
51  m_n_obj = IntPtr.Zero;
52  }
53 
54  if (m_ctx != null)
55  {
56  if (Interlocked.Decrement(ref m_ctx.refCount) == 0)
57  GC.ReRegisterForFinalize(m_ctx);
58  m_ctx = null;
59  }
60 
61  GC.SuppressFinalize(this);
62  }