#include <connector.hpp>
Definition at line 100 of file connector.hpp.
◆ Connector()
Gecode::CPProfiler::Connector::Connector |
( |
unsigned int | port | ) |
|
|
inline |
◆ connected()
bool Gecode::CPProfiler::Connector::connected |
( |
| ) |
const |
|
inline |
◆ connect()
void Gecode::CPProfiler::Connector::connect |
( |
void | | ) |
|
|
inline |
connect to a socket via port specified in the construction (6565 by default)
Definition at line 268 of file connector.hpp.
◆ start()
void Gecode::CPProfiler::Connector::start |
( |
const std::string & | file_path = "", |
|
|
int | execution_id = -1, |
|
|
bool | has_restarts = false ) |
|
inline |
◆ restart()
void Gecode::CPProfiler::Connector::restart |
( |
int | restart_id = -1 | ) |
|
|
inline |
◆ done()
void Gecode::CPProfiler::Connector::done |
( |
| ) |
|
|
inline |
◆ disconnect()
void Gecode::CPProfiler::Connector::disconnect |
( |
void | | ) |
|
|
inline |
◆ sendNode()
void Gecode::CPProfiler::Connector::sendNode |
( |
const Node & | node | ) |
|
|
inline |
◆ createNode()
The documentation for this class was generated from the following file: