Z3
Public Member Functions
scoped_context Class Referencefinal

Public Member Functions

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

Detailed Description

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

Constructor & Destructor Documentation

◆ scoped_context()

scoped_context ( Z3_context  c)
inline

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

400 : m_ctx(c) {}

◆ ~scoped_context()

~scoped_context ( )
inline

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

401 { m_ctx.detach(); }

Member Function Documentation

◆ operator()()

context& operator() ( )
inline

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

402 { return m_ctx; }