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: