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.

Properties
Context	Context [get]
	Access Context object.

Detailed Description

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

Definition at line 32 of file Z3Object.cs.

Member Function Documentation

Dispose()

void Dispose ( )

inline

Disposes of the underlying native Z3 object.

Definition at line 45 of file Z3Object.cs.

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

Property Documentation

Context

Context Context

get

Access Context object.

Definition at line 110 of file Z3Object.cs.

        {
            get 
            {
                return m_ctx; 
            }            
        }

Referenced by OnClause.OnClause(), BoolExpr.operator!(), BoolExpr.operator&(), ArithExpr.operator*(), ArithExpr.operator+(), ArithExpr.operator-(), ArithExpr.operator-(), ArithExpr.operator/(), ArithExpr.operator<(), ArithExpr.operator<=(), AST.operator==(), FuncDecl.operator==(), Sort.operator==(), ArithExpr.operator>(), ArithExpr.operator>=(), BoolExpr.operator^(), BoolExpr.operator|(), and UserPropagator.UserPropagator().