View trace information.
More...
#include <core.hpp>
|
ptrdiff_t | who |
| Encoding a tagged pointer or a tagged group id.
|
|
(Note that these are not member symbols.)
|
template<class Char, class Traits> |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ViewTraceInfo &vti) |
| Print view trace information.
|
View trace information.
Definition at line 910 of file core.hpp.
◆ What
What is currently executing.
Enumerator |
---|
PROPAGATOR | A propagator is currently executing.
|
BRANCHER | A brancher is executing.
|
POST | A post function is executing.
|
OTHER | Unknown.
|
Definition at line 915 of file core.hpp.
◆ propagator() [1/2]
void Gecode::ViewTraceInfo::propagator |
( |
Propagator & | p | ) |
|
|
inlineprotected |
Record that propagator p is executing.
Definition at line 3323 of file core.hpp.
◆ brancher() [1/2]
void Gecode::ViewTraceInfo::brancher |
( |
Brancher & | b | ) |
|
|
inlineprotected |
Record that brancher b is executing.
Definition at line 3327 of file core.hpp.
◆ post() [1/2]
Record that a post function with propagator group g is executing.
Definition at line 3331 of file core.hpp.
◆ other()
void Gecode::ViewTraceInfo::other |
( |
void | | ) |
|
|
inlineprotected |
Record that nothing is known at this point.
Definition at line 3335 of file core.hpp.
◆ what()
Return what is currently executing.
Definition at line 3339 of file core.hpp.
◆ propagator() [2/2]
const Propagator & Gecode::ViewTraceInfo::propagator |
( |
void | | ) |
const |
|
inline |
Return currently executing propagator.
Definition at line 3343 of file core.hpp.
◆ brancher() [2/2]
const Brancher & Gecode::ViewTraceInfo::brancher |
( |
void | | ) |
const |
|
inline |
Return currently executing brancher.
Definition at line 3349 of file core.hpp.
◆ post() [2/2]
Return propagator group of currently executing post function.
Definition at line 3354 of file core.hpp.
◆ operator<<()
template<class Char, class Traits>
std::basic_ostream< Char, Traits > & operator<< |
( |
std::basic_ostream< Char, Traits > & | os, |
|
|
const ViewTraceInfo & | vti ) |
|
related |
Print view trace information.
Definition at line 1 of file print.hpp.
◆ who
ptrdiff_t Gecode::ViewTraceInfo::who |
|
protected |
Encoding a tagged pointer or a tagged group id.
Definition at line 927 of file core.hpp.
The documentation for this class was generated from the following files: