Execution 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 ExecInfo &ei) |
| Print execution information. More...
|
|
Execution information.
Definition at line 957 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 962 of file core.hpp.
◆ propagator() [1/2]
void Gecode::ExecInfo::propagator |
( |
Propagator & |
p | ) |
|
|
inlineprotected |
Record that propagator p is executing.
Definition at line 3337 of file core.hpp.
◆ brancher() [1/2]
void Gecode::ExecInfo::brancher |
( |
Brancher & |
b | ) |
|
|
inlineprotected |
Record that brancher b is executing.
Definition at line 3341 of file core.hpp.
◆ post() [1/2]
Record that a post function with propagator group g is executing.
Definition at line 3345 of file core.hpp.
◆ other()
void Gecode::ExecInfo::other |
( |
void |
| ) |
|
|
inlineprotected |
Record that nothing is known at this point.
Definition at line 3349 of file core.hpp.
◆ what()
Return what is currently executing.
Definition at line 3353 of file core.hpp.
◆ propagator() [2/2]
const Propagator & Gecode::ExecInfo::propagator |
( |
void |
| ) |
const |
|
inline |
Return currently executing propagator.
Definition at line 3357 of file core.hpp.
◆ brancher() [2/2]
const Brancher & Gecode::ExecInfo::brancher |
( |
void |
| ) |
const |
|
inline |
Return currently executing brancher.
Definition at line 3363 of file core.hpp.
◆ post() [2/2]
Return propagator group of currently executing post function.
Definition at line 3368 of file core.hpp.
◆ operator<<()
template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< |
( |
std::basic_ostream< Char, Traits > & |
os, |
|
|
const ExecInfo & |
ei |
|
) |
| |
|
related |
Print execution information.
Definition at line 49 of file print.hpp.
◆ who
ptrdiff_t Gecode::ExecInfo::who |
|
protected |
Encoding a tagged pointer or a tagged group id.
Definition at line 974 of file core.hpp.
The documentation for this class was generated from the following files: