optimize::handle Class Reference

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

---

Detailed Description

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

---

Constructor & Destructor Documentation

handle

(

unsigned

h

)

[inline]

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

: m_h(h) {}

---

Member Function Documentation

unsigned h

(

)

const [inline]

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

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

{ return m_h; }