optimize::handle Class Reference

#include <z3++.h>

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

Detailed Description

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

Constructor & Destructor Documentation

handle()

handle ( unsigned h )

inline

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

: m_h(h) {}

Referenced by optimize::add_soft(), optimize::add_soft(), optimize::maximize(), and optimize::minimize().

Member Function Documentation

h()

unsigned h ( ) const

inline

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

{ return m_h; }

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