Z3
Public Member Functions
scoped_context Class Reference

Public Member Functions

 scoped_context (Z3_context c)
 
 ~scoped_context ()
 
contextoperator() ()
 

Detailed Description

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

Constructor & Destructor Documentation

◆ scoped_context()

scoped_context ( Z3_context  c)
inline

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

387 : m_ctx(c) {}

◆ ~scoped_context()

~scoped_context ( )
inline

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

388 { m_ctx.detach(); }

Member Function Documentation

◆ operator()()

context& operator() ( )
inline

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

389 { return m_ctx; }