Gecode::PostTraceInfo Class Reference
Post trace information. More...
#include <core.hpp>
Public Types | |
enum | Status { POSTED, FAILED, SUBSUMED } |
Post status. More... | |
Public Member Functions | |
Status | status (void) const |
Return post status. | |
PropagatorGroup | group (void) const |
Return propagator group. | |
unsigned int | propagators (void) const |
Return number of posted propagators. | |
Protected Member Functions | |
PostTraceInfo (PropagatorGroup g, Status s, unsigned int n) | |
Initialize. | |
Protected Attributes | |
PropagatorGroup | g |
Propagator group. | |
Status | s |
Status. | |
unsigned int | n |
Number of posted propagators. | |
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 PostTraceInfo &pti) |
Print post trace information. |
Detailed Description
Post trace information.
Definition at line 1032 of file core.hpp.
Member Enumeration Documentation
Post status.
- Enumerator:
POSTED Propagator was posted.
FAILED Posting failed.
SUBSUMED Propagator not posted as already subsumed.
Constructor & Destructor Documentation
Gecode::PostTraceInfo::PostTraceInfo | ( | PropagatorGroup | g, | |
Status | s, | |||
unsigned int | n | |||
) | [inline, protected] |
Member Function Documentation
PostTraceInfo::Status Gecode::PostTraceInfo::status | ( | void | ) | const [inline] |
PropagatorGroup Gecode::PostTraceInfo::group | ( | void | ) | const [inline] |
unsigned int Gecode::PostTraceInfo::propagators | ( | void | ) | const [inline] |
Friends And Related Function Documentation
template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const PostTraceInfo & | pti | |||
) | [related] |
Member Data Documentation
PropagatorGroup Gecode::PostTraceInfo::g [protected] |
Propagator group.
Status Gecode::PostTraceInfo::s [protected] |
unsigned int Gecode::PostTraceInfo::n [protected] |
The documentation for this class was generated from the following files: