Z3
Public Member Functions | Protected Attributes | Friends
object Class Reference
+ Inheritance diagram for object:

Public Member Functions

 object (context &c)
 
 object (object const &s)
 
contextctx () const
 
void check_error () const
 

Protected Attributes

contextm_ctx
 

Friends

void check_context (object const &a, object const &b)
 

Detailed Description

Definition at line 326 of file z3++.h.

Constructor & Destructor Documentation

§ object() [1/2]

object ( context c)
inline

Definition at line 330 of file z3++.h.

330 :m_ctx(&c) {}
context * m_ctx
Definition: z3++.h:328

§ object() [2/2]

object ( object const &  s)
inline

Definition at line 331 of file z3++.h.

331 :m_ctx(s.m_ctx) {}
context * m_ctx
Definition: z3++.h:328

Member Function Documentation

§ check_error()

void check_error ( ) const
inline

§ ctx()

context& ctx ( ) const
inline

Friends And Related Function Documentation

§ check_context

void check_context ( object const &  a,
object const &  b 
)
friend

Definition at line 336 of file z3++.h.

336 { assert(a.m_ctx == b.m_ctx); }

Field Documentation

§ m_ctx

context* m_ctx
protected