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. More... | |
PropagatorGroup | group (void) const |
Return propagator group. More... | |
const Propagator * | propagator (void) const |
Return pointer to non-subsumed propagator. More... | |
Status | status (void) const |
Return propagator status. More... | |
Protected Member Functions | |
PropagateTraceInfo (unsigned int i, PropagatorGroup g, const Propagator *p, Status s) | |
Initialize. More... | |
Protected Attributes | |
unsigned int | i |
Propagator id. More... | |
PropagatorGroup | g |
Propagator group. More... | |
const Propagator * | p |
Propagator. More... | |
Status | s |
Status. More... | |
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. More... | |
Propagator status.
Enumerator | |
---|---|
FIX | Propagator computed fixpoint. |
NOFIX | Propagator did not compute fixpoint. |
FAILED | Propagator failed. |
SUBSUMED | Propagator is subsumed. |
|
inlineprotected |
|
inline |
|
inline |
|
inline |
|
inline |
|
related |
|
protected |
Propagator id.
|
protected |
Propagator group.
|
protected |