#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: