Post trace information.
More...
#include <core.hpp>
|
(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 PostTraceInfo &pti) |
| Print post trace information.
|
Post trace information.
Definition at line 1034 of file core.hpp.
◆ Status
Post status.
Enumerator |
---|
POSTED | Propagator was posted.
|
FAILED | Posting failed.
|
SUBSUMED | Propagator not posted as already subsumed.
|
Definition at line 1039 of file core.hpp.
◆ PostTraceInfo()
◆ status()
Return post status.
Definition at line 3448 of file core.hpp.
◆ group()
Return propagator group.
Definition at line 3444 of file core.hpp.
◆ propagators()
unsigned int Gecode::PostTraceInfo::propagators |
( |
void | | ) |
const |
|
inline |
Return number of posted propagators.
Definition at line 3452 of file core.hpp.
◆ operator<<()
template<class Char, class Traits>
std::basic_ostream< Char, Traits > & operator<< |
( |
std::basic_ostream< Char, Traits > & | os, |
|
|
const PostTraceInfo & | pti ) |
|
related |
Print post trace information.
Definition at line 1 of file print.hpp.
Status Gecode::PostTraceInfo::s |
|
protected |
unsigned int Gecode::PostTraceInfo::n |
|
protected |
Number of posted propagators.
Definition at line 1050 of file core.hpp.
The documentation for this class was generated from the following files: