Gecode::TraceFilter Class Reference
[Tracing constraint propagation]
Trace filters. More...
#include <trace-filter.hpp>
Classes | |
class | TFO |
The actual object storing the shared filters. More... | |
Public Member Functions | |
TraceFilter (void) | |
Initialize without any filter. | |
TraceFilter (const TFE &e) | |
Initialize with trace filter expression e. | |
TraceFilter (PropagatorGroup g) | |
Initialize with propagator group g. | |
TraceFilter (BrancherGroup g) | |
Initialize with brancher group g. | |
TraceFilter (const TraceFilter &tf) | |
Copy constructor. | |
TraceFilter & | operator= (const TraceFilter &tf) |
Assignment operator. | |
bool | operator() (const ViewTraceInfo &vti) const |
Check whether filter is true for view trace information vti. | |
bool | operator() (PropagatorGroup pg) const |
Check whether filter is true for propagator group pg. | |
bool | operator() (BrancherGroup bg) const |
Check whether filter is true for brancher group bg. | |
Static Public Attributes | |
static TraceFilter | all |
Default filter: without any filter. |
Detailed Description
Trace filters.
Definition at line 137 of file trace-filter.hpp.
Constructor & Destructor Documentation
Gecode::TraceFilter::TraceFilter | ( | void | ) |
Initialize without any filter.
Definition at line 194 of file trace-filter.cpp.
Gecode::TraceFilter::TraceFilter | ( | const TFE & | e | ) |
Initialize with trace filter expression e.
Definition at line 196 of file trace-filter.cpp.
Gecode::TraceFilter::TraceFilter | ( | PropagatorGroup | g | ) |
Initialize with propagator group g.
Definition at line 198 of file trace-filter.cpp.
Gecode::TraceFilter::TraceFilter | ( | BrancherGroup | g | ) |
Initialize with brancher group g.
Definition at line 200 of file trace-filter.cpp.
Gecode::TraceFilter::TraceFilter | ( | const TraceFilter & | tf | ) |
Copy constructor.
Definition at line 202 of file trace-filter.cpp.
Member Function Documentation
TraceFilter & Gecode::TraceFilter::operator= | ( | const TraceFilter & | tf | ) |
Assignment operator.
Definition at line 205 of file trace-filter.cpp.
bool Gecode::TraceFilter::operator() | ( | const ViewTraceInfo & | vti | ) | const [inline] |
Check whether filter is true for view trace information vti.
Definition at line 318 of file trace-filter.hpp.
bool Gecode::TraceFilter::operator() | ( | PropagatorGroup | pg | ) | const [inline] |
Check whether filter is true for propagator group pg.
Definition at line 334 of file trace-filter.hpp.
bool Gecode::TraceFilter::operator() | ( | BrancherGroup | bg | ) | const [inline] |
Check whether filter is true for brancher group bg.
Definition at line 350 of file trace-filter.hpp.
Member Data Documentation
TraceFilter Gecode::TraceFilter::all [static] |
Default filter: without any filter.
Definition at line 219 of file trace-filter.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/trace-filter.hpp (Revision: 15597)
- gecode/kernel/trace-filter.cpp (Revision: 15597)