Gecode::CPProfiler::Connector Member List
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] |