optimize::handle Class Reference

Public Member Functions
	handle (unsigned h)
unsigned	h () const

Detailed Description

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

Constructor & Destructor Documentation

handle ( unsigned  h )

inline

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

: m_h(h) {}

Member Function Documentation

unsigned h ( ) const

inline

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

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

{ return m_h; }