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]