Gecode::PropagateTraceInfo Class Reference
Propagate trace information. More...
#include <core.hpp>
Public Types | |
enum | Status { FIX, NOFIX, FAILED, SUBSUMED } |
Propagator status. More... | |
Public Member Functions | |
unsigned int | id (void) const |
Return propagator identifier. | |
PropagatorGroup | group (void) const |
Return propagator group. | |
const Propagator * | propagator (void) const |
Return pointer to non-subsumed propagator. | |
Status | status (void) const |
Return propagator status. | |
Protected Member Functions | |
PropagateTraceInfo (unsigned int i, PropagatorGroup g, const Propagator *p, Status s) | |
Initialize. | |
Protected Attributes | |
unsigned int | i |
Propagator id. | |
PropagatorGroup | g |
Propagator group. | |
const Propagator * | p |
Propagator. | |
Status | s |
Status. | |
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 PropagateTraceInfo &pti) |
Print propagate trace information. |
Detailed Description
Propagate trace information.
Definition at line 969 of file core.hpp.
Member Enumeration Documentation
Propagator status.
- Enumerator:
FIX Propagator computed fixpoint.
NOFIX Propagator did not compute fixpoint.
FAILED Propagator failed.
SUBSUMED Propagator is subsumed.
Constructor & Destructor Documentation
Gecode::PropagateTraceInfo::PropagateTraceInfo | ( | unsigned int | i, | |
PropagatorGroup | g, | |||
const Propagator * | p, | |||
Status | s | |||
) | [inline, protected] |
Member Function Documentation
unsigned int Gecode::PropagateTraceInfo::id | ( | void | ) | const [inline] |
PropagatorGroup Gecode::PropagateTraceInfo::group | ( | void | ) | const [inline] |
const Propagator * Gecode::PropagateTraceInfo::propagator | ( | void | ) | const [inline] |
PropagateTraceInfo::Status Gecode::PropagateTraceInfo::status | ( | 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 PropagateTraceInfo & | pti | |||
) | [related] |
Member Data Documentation
unsigned int Gecode::PropagateTraceInfo::i [protected] |
Propagator id.
PropagatorGroup Gecode::PropagateTraceInfo::g [protected] |
Propagator group.
const Propagator* Gecode::PropagateTraceInfo::p [protected] |
Status Gecode::PropagateTraceInfo::s [protected] |
The documentation for this class was generated from the following files: