View trace information.
More...
#include <core.hpp>
|
ptrdiff_t | who |
| Encoding a tagged pointer or a tagged group id. More...
|
|
|
(Note that these are not member functions.)
|
template<class Char , class Traits > |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ViewTraceInfo &vti) |
| Print view trace information. More...
|
|
View trace information.
Definition at line 905 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 910 of file core.hpp.
◆ propagator() [1/2]
void Gecode::ViewTraceInfo::propagator |
( |
Propagator & |
p | ) |
|
|
inlineprotected |
Record that propagator p is executing.
Definition at line 3273 of file core.hpp.
◆ brancher() [1/2]
void Gecode::ViewTraceInfo::brancher |
( |
Brancher & |
b | ) |
|
|
inlineprotected |
Record that brancher b is executing.
Definition at line 3277 of file core.hpp.
◆ post() [1/2]
Record that a post function with propagator group g is executing.
Definition at line 3281 of file core.hpp.
◆ other()
void Gecode::ViewTraceInfo::other |
( |
void |
| ) |
|
|
inlineprotected |
Record that nothing is known at this point.
Definition at line 3285 of file core.hpp.
◆ what()
Return what is currently executing.
Definition at line 3289 of file core.hpp.
◆ propagator() [2/2]
const Propagator & Gecode::ViewTraceInfo::propagator |
( |
void |
| ) |
const |
|
inline |
Return currently executing propagator.
Definition at line 3293 of file core.hpp.
◆ brancher() [2/2]
const Brancher & Gecode::ViewTraceInfo::brancher |
( |
void |
| ) |
const |
|
inline |
Return currently executing brancher.
Definition at line 3299 of file core.hpp.
◆ post() [2/2]
Return propagator group of currently executing post function.
Definition at line 3304 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 45 of file print.hpp.
◆ who
ptrdiff_t Gecode::ViewTraceInfo::who |
|
protected |
Encoding a tagged pointer or a tagged group id.
Definition at line 922 of file core.hpp.
The documentation for this class was generated from the following files: