This is the complete list of members for Gecode::CPProfiler::Connector, including all inherited members.
connect(void) | Gecode::CPProfiler::Connector | inline |
connected() const | Gecode::CPProfiler::Connector | inline |
Connector(unsigned int port) | Gecode::CPProfiler::Connector | inline |
createNode(NodeUID node, NodeUID parent, int alt, int kids, NodeStatus status) | Gecode::CPProfiler::Connector | inline |
disconnect(void) | Gecode::CPProfiler::Connector | inline |
done() | Gecode::CPProfiler::Connector | inline |
restart(int restart_id=-1) | Gecode::CPProfiler::Connector | inline |
sendNode(const Node &node) | Gecode::CPProfiler::Connector | inline |
start(const std::string &file_path="", int execution_id=-1, bool has_restarts=false) | Gecode::CPProfiler::Connector | inline |