#include <message.hpp>
Definition at line 212 of file message.hpp.
◆ makeNode()
◆ makeStart()
void Gecode::CPProfiler::MessageMarshalling::makeStart |
( |
const std::string & |
info | ) |
|
|
inline |
info containts name, has_restarts, execution id
Definition at line 306 of file message.hpp.
◆ makeRestart()
void Gecode::CPProfiler::MessageMarshalling::makeRestart |
( |
const std::string & |
info | ) |
|
|
inline |
info contains restart_id (-1 default)
Definition at line 313 of file message.hpp.
◆ makeDone()
void Gecode::CPProfiler::MessageMarshalling::makeDone |
( |
void |
| ) |
|
|
inline |
◆ get_msg()
const Message& Gecode::CPProfiler::MessageMarshalling::get_msg |
( |
void |
| ) |
|
|
inline |
◆ serialize()
std::vector<char> Gecode::CPProfiler::MessageMarshalling::serialize |
( |
void |
| ) |
const |
|
inline |
◆ deserialize()
void Gecode::CPProfiler::MessageMarshalling::deserialize |
( |
char * |
data, |
|
|
size_t |
size |
|
) |
| |
|
inline |
The documentation for this class was generated from the following file: