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 Symbols | |
(Note that these are not member symbols.) | |
template<class Char, class Traits> | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const PropagateTraceInfo &pti) |
Print propagate trace information. |
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 |
|
|
protected |
Propagator id.
|
protected |
Propagator group.
|
protected |