Gecode::ViewTraceInfo Class Reference
View trace information.
More...
#include <core.hpp>
List of all members.
Public Types |
enum | What { PROPAGATOR = 0,
BRANCHER = 1,
POST = 2,
OTHER = 3
} |
| What is currently executing.
More...
|
Public Member Functions |
What | what (void) const |
| Return what is currently executing.
|
const Propagator & | propagator (void) const |
| Return currently executing propagator.
|
const Brancher & | brancher (void) const |
| Return currently executing brancher.
|
PropagatorGroup | post (void) const |
| Return propagator group of currently executing post function.
|
Protected Member Functions |
void | propagator (Propagator &p) |
| Record that propagator p is executing.
|
void | brancher (Brancher &b) |
| Record that brancher b is executing.
|
void | post (PropagatorGroup g) |
| Record that a post function with propagator group g is executing.
|
void | other (void) |
| Record that nothing is known at this point.
|
Protected Attributes |
ptrdiff_t | who |
| Encoding a tagged pointer or a tagged group id.
|
Related Functions |
(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.
|
Detailed Description
View trace information.
Definition at line 905 of file core.hpp.
Member Enumeration Documentation
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.
Member Function Documentation
void Gecode::ViewTraceInfo::propagator |
( |
Propagator & |
p |
) |
[inline, protected] |
Record that propagator p is executing.
Definition at line 3265 of file core.hpp.
void Gecode::ViewTraceInfo::brancher |
( |
Brancher & |
b |
) |
[inline, protected] |
Record that brancher b is executing.
Definition at line 3269 of file core.hpp.
Record that a post function with propagator group g is executing.
Definition at line 3273 of file core.hpp.
void Gecode::ViewTraceInfo::other |
( |
void |
|
) |
[inline, protected] |
Record that nothing is known at this point.
Definition at line 3277 of file core.hpp.
Return what is currently executing.
Definition at line 3281 of file core.hpp.
const Propagator & Gecode::ViewTraceInfo::propagator |
( |
void |
|
) |
const [inline] |
Return currently executing propagator.
Definition at line 3285 of file core.hpp.
const Brancher & Gecode::ViewTraceInfo::brancher |
( |
void |
|
) |
const [inline] |
Return currently executing brancher.
Definition at line 3291 of file core.hpp.
Return propagator group of currently executing post function.
Definition at line 3296 of file core.hpp.
Friends And Related Function Documentation
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.
Member Data Documentation
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: