Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Member Functions
optimize::handle Class Reference

Public Member Functions

 handle (unsigned h)
 
unsigned h () const
 

Detailed Description

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

Constructor & Destructor Documentation

handle ( unsigned  h)
inline

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

2689 : m_h(h) {}
unsigned h() const
Definition: z3++.h:2690

Member Function Documentation

unsigned h ( ) const
inline

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

Referenced by optimize::lower(), and optimize::upper().

2690 { return m_h; }