- Gecode
- PropagateTraceInfo

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 |