#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 |
( |
void |
| ) |
|
|
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: