scoped_context Class Reference

Public Member Functions
	scoped_context (Z3_context c)
	~scoped_context ()
context &	operator() ()

Detailed Description

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

Constructor & Destructor Documentation

scoped_context ( Z3_context  c )

inline

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

: m_ctx(c) {}

~scoped_context ( )

inline

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

{ m_ctx.detach(); }

Member Function Documentation

context& operator() ( )

inline

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

{ return m_ctx; }