| 64 | namespace Gecode { namespace CPProfiler { |
| 65 | |
| 66 | class Node { |
| 67 | NodeUID node_; |
| 68 | NodeUID parent_; |
| 69 | int alt_; |
| 70 | int kids_; |
| 71 | |
| 72 | NodeStatus status_; |
| 73 | |
| 74 | Option<std::string> label_; |
| 75 | Option<std::string> nogood_; |
| 76 | Option<std::string> info_; |
| 77 | |
| 78 | public: |
| 79 | Node(NodeUID node, NodeUID parent, |
| 80 | int alt, int kids, NodeStatus status); |
| 81 | Node& set_node_thread_id(int tid); |
| 82 | const Option<std::string>& label() const; |
| 83 | Node& set_label(const std::string& label); |
| 84 | const Option<std::string>& nogood() const; |
| 85 | Node& set_nogood(const std::string& nogood); |
| 86 | const Option<std::string>& info() const; |
| 87 | Node& set_info(const std::string& info); |
| 88 | int alt() const; |
| 89 | int kids() const; |
| 90 | NodeStatus status() const; |
| 91 | NodeUID nodeUID() const; |
| 92 | NodeUID parentUID() const; |
| 93 | int node_id() const; |
| 94 | int parent_id() const; |
| 95 | int node_thread_id() const; |
| 96 | int node_restart_id() const; |
| 97 | int parent_thread_id() const; |
| 98 | int parent_restart_id() const; |
| 99 | }; |
| 100 | |
| 101 | class Connector { |
| 102 | private: |