Gecode::CPProfiler::Message Member List

This is the complete list of members for Gecode::CPProfiler::Message, including all inherited members.

_alt | Gecode::CPProfiler::Message | protected
_have_info | Gecode::CPProfiler::Message | protected
_have_label | Gecode::CPProfiler::Message | protected
_have_nogood | Gecode::CPProfiler::Message | protected
_have_version | Gecode::CPProfiler::Message | protected
_info | Gecode::CPProfiler::Message | protected
_kids | Gecode::CPProfiler::Message | protected
_label | Gecode::CPProfiler::Message | protected
_node | Gecode::CPProfiler::Message | protected
_nogood | Gecode::CPProfiler::Message | protected
_parent | Gecode::CPProfiler::Message | protected
_status | Gecode::CPProfiler::Message | protected
_type | Gecode::CPProfiler::Message | protected
_version | Gecode::CPProfiler::Message | protected
alt(void) const | Gecode::CPProfiler::Message | inline
has_info(void) const | Gecode::CPProfiler::Message | inline
has_label(void) const | Gecode::CPProfiler::Message | inline
has_nogood(void) const | Gecode::CPProfiler::Message | inline
has_version(void) const | Gecode::CPProfiler::Message | inline
info(void) const | Gecode::CPProfiler::Message | inline
isDone(void) const | Gecode::CPProfiler::Message | inline
isNode(void) const | Gecode::CPProfiler::Message | inline
isRestart(void) const | Gecode::CPProfiler::Message | inline
isStart(void) const | Gecode::CPProfiler::Message | inline
kids(void) const | Gecode::CPProfiler::Message | inline
label() const | Gecode::CPProfiler::Message | inline
nodeUID(void) const | Gecode::CPProfiler::Message | inline
nogood(void) const | Gecode::CPProfiler::Message | inline
parentUID(void) const | Gecode::CPProfiler::Message | inline
reset(void) | Gecode::CPProfiler::Message | inline
set_alt(int32_t alt) | Gecode::CPProfiler::Message | inline
set_info(const std::string &info) | Gecode::CPProfiler::Message | inline
set_kids(int32_t kids) | Gecode::CPProfiler::Message | inline
set_label(const std::string &label) | Gecode::CPProfiler::Message | inline
set_nodeUID(const NodeUID &n) | Gecode::CPProfiler::Message | inline
set_nogood(const std::string &nogood) | Gecode::CPProfiler::Message | inline
set_parentUID(const NodeUID &p) | Gecode::CPProfiler::Message | inline
set_status(NodeStatus status) | Gecode::CPProfiler::Message | inline
set_type(MsgType type) | Gecode::CPProfiler::Message | inline
set_version(int32_t v) | Gecode::CPProfiler::Message | inline
status(void) const | Gecode::CPProfiler::Message | inline
type(void) const | Gecode::CPProfiler::Message | inline
version(void) const | Gecode::CPProfiler::Message | inline