
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 |