Z3
Loading...
Searching...
No Matches
optimize::handle Class Referencefinal

#include <z3++.h>

Public Member Functions

 handle (unsigned h)
unsigned h () const

Detailed Description

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

Constructor & Destructor Documentation

◆ handle()

handle ( unsigned h)
inline

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

3319: m_h(h) {}

Member Function Documentation

◆ h()

unsigned h ( ) const
inline

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

3320{ return m_h; }

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