Z3
Public Member Functions
optimize::handle Class Referencefinal

#include <z3++.h>

Public Member Functions

 handle (unsigned h)
 
unsigned h () const
 

Detailed Description

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

Constructor & Destructor Documentation

◆ handle()

handle ( unsigned  h)
inline

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

3133: m_h(h) {}
unsigned h() const
Definition: z3++.h:3134

Member Function Documentation

◆ h()

unsigned h ( ) const
inline

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

3134{ return m_h; }

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