#include <connector.hpp>
Definition at line 65 of file connector.hpp.
◆ Node()
◆ set_node_thread_id()
Node & Gecode::CPProfiler::Node::set_node_thread_id |
( |
int | tid | ) |
|
|
inline |
◆ label()
const Option< std::string > & Gecode::CPProfiler::Node::label |
( |
| ) |
const |
|
inline |
◆ set_label()
Node & Gecode::CPProfiler::Node::set_label |
( |
const std::string & | label | ) |
|
|
inline |
◆ nogood()
const Option< std::string > & Gecode::CPProfiler::Node::nogood |
( |
| ) |
const |
|
inline |
◆ set_nogood()
Node & Gecode::CPProfiler::Node::set_nogood |
( |
const std::string & | nogood | ) |
|
|
inline |
◆ info()
const Option< std::string > & Gecode::CPProfiler::Node::info |
( |
| ) |
const |
|
inline |
◆ set_info()
Node & Gecode::CPProfiler::Node::set_info |
( |
const std::string & | info | ) |
|
|
inline |
◆ alt()
int Gecode::CPProfiler::Node::alt |
( |
| ) |
const |
|
inline |
◆ kids()
int Gecode::CPProfiler::Node::kids |
( |
| ) |
const |
|
inline |
◆ status()
NodeStatus Gecode::CPProfiler::Node::status |
( |
| ) |
const |
|
inline |
◆ nodeUID()
NodeUID Gecode::CPProfiler::Node::nodeUID |
( |
| ) |
const |
|
inline |
◆ parentUID()
NodeUID Gecode::CPProfiler::Node::parentUID |
( |
| ) |
const |
|
inline |
◆ node_id()
int Gecode::CPProfiler::Node::node_id |
( |
| ) |
const |
|
inline |
◆ parent_id()
int Gecode::CPProfiler::Node::parent_id |
( |
| ) |
const |
|
inline |
◆ node_thread_id()
int Gecode::CPProfiler::Node::node_thread_id |
( |
| ) |
const |
|
inline |
◆ node_restart_id()
int Gecode::CPProfiler::Node::node_restart_id |
( |
| ) |
const |
|
inline |
◆ parent_thread_id()
int Gecode::CPProfiler::Node::parent_thread_id |
( |
| ) |
const |
|
inline |
◆ parent_restart_id()
int Gecode::CPProfiler::Node::parent_restart_id |
( |
| ) |
const |
|
inline |
The documentation for this class was generated from the following file: