Gecode::CPProfiler::Node Class Reference
#include <connector.hpp>
Public Member Functions | |
| Node (NodeUID node, NodeUID parent, int alt, int kids, NodeStatus status) | |
| Node & | set_node_thread_id (int tid) |
| const Option< std::string > & | label () const |
| Node & | set_label (const std::string &label) |
| const Option< std::string > & | nogood () const |
| Node & | set_nogood (const std::string &nogood) |
| const Option< std::string > & | info () const |
| Node & | set_info (const std::string &info) |
| int | alt () const |
| int | kids () const |
| NodeStatus | status () const |
| NodeUID | nodeUID () const |
| NodeUID | parentUID () const |
| int | node_id () const |
| int | parent_id () const |
| int | node_thread_id () const |
| int | node_restart_id () const |
| int | parent_thread_id () const |
| int | parent_restart_id () const |
Detailed Description
Definition at line 65 of file connector.hpp.
Constructor & Destructor Documentation
| Gecode::CPProfiler::Node::Node | ( | NodeUID | node, | |
| NodeUID | parent, | |||
| int | alt, | |||
| int | kids, | |||
| NodeStatus | status | |||
| ) | [inline] |
Definition at line 140 of file connector.hpp.
Member Function Documentation
| Node & Gecode::CPProfiler::Node::set_node_thread_id | ( | int | tid | ) | [inline] |
Definition at line 146 of file connector.hpp.
| const Option< std::string > & Gecode::CPProfiler::Node::label | ( | ) | const [inline] |
Definition at line 152 of file connector.hpp.
| Node & Gecode::CPProfiler::Node::set_label | ( | const std::string & | label | ) | [inline] |
Definition at line 155 of file connector.hpp.
| const Option< std::string > & Gecode::CPProfiler::Node::nogood | ( | ) | const [inline] |
Definition at line 161 of file connector.hpp.
| Node & Gecode::CPProfiler::Node::set_nogood | ( | const std::string & | nogood | ) | [inline] |
Definition at line 166 of file connector.hpp.
| const Option< std::string > & Gecode::CPProfiler::Node::info | ( | ) | const [inline] |
Definition at line 172 of file connector.hpp.
| Node & Gecode::CPProfiler::Node::set_info | ( | const std::string & | info | ) | [inline] |
Definition at line 175 of file connector.hpp.
| int Gecode::CPProfiler::Node::alt | ( | ) | const [inline] |
Definition at line 181 of file connector.hpp.
| int Gecode::CPProfiler::Node::kids | ( | ) | const [inline] |
Definition at line 183 of file connector.hpp.
| NodeStatus Gecode::CPProfiler::Node::status | ( | void | ) | const [inline] |
Definition at line 186 of file connector.hpp.
| NodeUID Gecode::CPProfiler::Node::nodeUID | ( | ) | const [inline] |
Definition at line 189 of file connector.hpp.
| NodeUID Gecode::CPProfiler::Node::parentUID | ( | ) | const [inline] |
Definition at line 191 of file connector.hpp.
| int Gecode::CPProfiler::Node::node_id | ( | ) | const [inline] |
Definition at line 194 of file connector.hpp.
| int Gecode::CPProfiler::Node::parent_id | ( | ) | const [inline] |
Definition at line 196 of file connector.hpp.
| int Gecode::CPProfiler::Node::node_thread_id | ( | ) | const [inline] |
Definition at line 198 of file connector.hpp.
| int Gecode::CPProfiler::Node::node_restart_id | ( | ) | const [inline] |
Definition at line 200 of file connector.hpp.
| int Gecode::CPProfiler::Node::parent_thread_id | ( | ) | const [inline] |
Definition at line 202 of file connector.hpp.
| int Gecode::CPProfiler::Node::parent_restart_id | ( | ) | const [inline] |
Definition at line 204 of file connector.hpp.
The documentation for this class was generated from the following file:
- gecode/search/cpprofiler/connector.hpp