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: