Message for the CP Profiler.
More...
#include <message.hpp>
Message for the CP Profiler.
Definition at line 124 of file message.hpp.
◆ isNode()
bool Gecode::CPProfiler::Message::isNode |
( |
void | | ) |
const |
|
inline |
◆ isDone()
bool Gecode::CPProfiler::Message::isDone |
( |
void | | ) |
const |
|
inline |
◆ isStart()
bool Gecode::CPProfiler::Message::isStart |
( |
void | | ) |
const |
|
inline |
◆ isRestart()
bool Gecode::CPProfiler::Message::isRestart |
( |
void | | ) |
const |
|
inline |
◆ nodeUID()
NodeUID Gecode::CPProfiler::Message::nodeUID |
( |
void | | ) |
const |
|
inline |
◆ set_nodeUID()
void Gecode::CPProfiler::Message::set_nodeUID |
( |
const NodeUID & | n | ) |
|
|
inline |
◆ parentUID()
NodeUID Gecode::CPProfiler::Message::parentUID |
( |
void | | ) |
const |
|
inline |
◆ set_parentUID()
void Gecode::CPProfiler::Message::set_parentUID |
( |
const NodeUID & | p | ) |
|
|
inline |
◆ alt()
int32_t Gecode::CPProfiler::Message::alt |
( |
void | | ) |
const |
|
inline |
◆ set_alt()
void Gecode::CPProfiler::Message::set_alt |
( |
int32_t | alt | ) |
|
|
inline |
◆ kids()
int32_t Gecode::CPProfiler::Message::kids |
( |
void | | ) |
const |
|
inline |
◆ set_kids()
void Gecode::CPProfiler::Message::set_kids |
( |
int32_t | kids | ) |
|
|
inline |
◆ status()
NodeStatus Gecode::CPProfiler::Message::status |
( |
void | | ) |
const |
|
inline |
◆ set_status()
void Gecode::CPProfiler::Message::set_status |
( |
NodeStatus | status | ) |
|
|
inline |
◆ set_label()
void Gecode::CPProfiler::Message::set_label |
( |
const std::string & | label | ) |
|
|
inline |
◆ set_info()
void Gecode::CPProfiler::Message::set_info |
( |
const std::string & | info | ) |
|
|
inline |
◆ set_nogood()
void Gecode::CPProfiler::Message::set_nogood |
( |
const std::string & | nogood | ) |
|
|
inline |
◆ set_version()
void Gecode::CPProfiler::Message::set_version |
( |
int32_t | v | ) |
|
|
inline |
◆ has_version()
bool Gecode::CPProfiler::Message::has_version |
( |
void | | ) |
const |
|
inline |
◆ version()
int32_t Gecode::CPProfiler::Message::version |
( |
void | | ) |
const |
|
inline |
◆ has_label()
bool Gecode::CPProfiler::Message::has_label |
( |
void | | ) |
const |
|
inline |
◆ label()
const std::string & Gecode::CPProfiler::Message::label |
( |
| ) |
const |
|
inline |
◆ has_nogood()
bool Gecode::CPProfiler::Message::has_nogood |
( |
void | | ) |
const |
|
inline |
◆ nogood()
const std::string & Gecode::CPProfiler::Message::nogood |
( |
void | | ) |
const |
|
inline |
◆ has_info()
bool Gecode::CPProfiler::Message::has_info |
( |
void | | ) |
const |
|
inline |
◆ info()
const std::string & Gecode::CPProfiler::Message::info |
( |
void | | ) |
const |
|
inline |
◆ set_type()
void Gecode::CPProfiler::Message::set_type |
( |
MsgType | type | ) |
|
|
inline |
◆ type()
MsgType Gecode::CPProfiler::Message::type |
( |
void | | ) |
const |
|
inline |
◆ reset()
void Gecode::CPProfiler::Message::reset |
( |
void | | ) |
|
|
inline |
◆ _type
MsgType Gecode::CPProfiler::Message::_type |
|
protected |
◆ _node
NodeUID Gecode::CPProfiler::Message::_node |
|
protected |
◆ _parent
NodeUID Gecode::CPProfiler::Message::_parent |
|
protected |
◆ _alt
int32_t Gecode::CPProfiler::Message::_alt |
|
protected |
◆ _kids
int32_t Gecode::CPProfiler::Message::_kids |
|
protected |
◆ _status
◆ _have_label
bool Gecode::CPProfiler::Message::_have_label {false} |
|
protected |
◆ _label
std::string Gecode::CPProfiler::Message::_label |
|
protected |
◆ _have_nogood
bool Gecode::CPProfiler::Message::_have_nogood {false} |
|
protected |
◆ _nogood
std::string Gecode::CPProfiler::Message::_nogood |
|
protected |
◆ _have_info
bool Gecode::CPProfiler::Message::_have_info {false} |
|
protected |
◆ _info
std::string Gecode::CPProfiler::Message::_info |
|
protected |
◆ _have_version
bool Gecode::CPProfiler::Message::_have_version {false} |
|
protected |
◆ _version
int32_t Gecode::CPProfiler::Message::_version |
|
protected |
The documentation for this class was generated from the following file: