Gecode::TraceFilter Class Reference
[Tracing constraint propagation]
Trace filters. More...
#include <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 133 of file filter.hpp.
Constructor & Destructor Documentation
| Gecode::TraceFilter::TraceFilter | ( | void | ) |
Initialize without any filter.
Definition at line 186 of file filter.cpp.
| Gecode::TraceFilter::TraceFilter | ( | const TFE & | e | ) |
Initialize with trace filter expression e.
Definition at line 188 of file filter.cpp.
| Gecode::TraceFilter::TraceFilter | ( | PropagatorGroup | g | ) |
Initialize with propagator group g.
Definition at line 190 of file filter.cpp.
| Gecode::TraceFilter::TraceFilter | ( | BrancherGroup | g | ) |
Initialize with brancher group g.
Definition at line 192 of file filter.cpp.
| Gecode::TraceFilter::TraceFilter | ( | const TraceFilter & | tf | ) |
Copy constructor.
Definition at line 194 of file filter.cpp.
Member Function Documentation
| TraceFilter & Gecode::TraceFilter::operator= | ( | const TraceFilter & | tf | ) |
Assignment operator.
Definition at line 197 of file filter.cpp.
| bool Gecode::TraceFilter::operator() | ( | const ViewTraceInfo & | vti | ) | const [inline] |
Check whether filter is true for view trace information vti.
Definition at line 299 of file filter.hpp.
| bool Gecode::TraceFilter::operator() | ( | PropagatorGroup | pg | ) | const [inline] |
Check whether filter is true for propagator group pg.
Definition at line 315 of file filter.hpp.
| bool Gecode::TraceFilter::operator() | ( | BrancherGroup | bg | ) | const [inline] |
Check whether filter is true for brancher group bg.
Definition at line 331 of file filter.hpp.
Member Data Documentation
TraceFilter Gecode::TraceFilter::all [static] |
Default filter: without any filter.
Definition at line 210 of file filter.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/trace/filter.hpp
- gecode/kernel/trace/filter.cpp