
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. | |
Public Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle (void) | |
| Create shared handle with no object pointing to. | |
| SharedHandle (SharedHandle::Object *so) | |
| Create shared handle that points to shared object so. | |
| SharedHandle (const SharedHandle &sh) | |
| Copy constructor maintaining reference count. | |
| SharedHandle & | operator= (const SharedHandle &sh) |
| Assignment operator maintaining reference count. | |
| ~SharedHandle (void) | |
| Destructor that maintains reference count. | |
| operator bool (void) const | |
| Whether handle points to an object. | |
Static Public Attributes | |
| static TraceFilter | all |
| Default filter: without any filter. | |
Additional Inherited Members | |
Protected Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle::Object * | object (void) const |
| Access to the shared object. | |
| void | object (SharedHandle::Object *n) |
| Modify shared object. | |
Trace filters.
Definition at line 133 of file filter.hpp.
| Gecode::TraceFilter::TraceFilter | ( | void | ) |
Initialize without any filter.
Definition at line 187 of file filter.cpp.
| Gecode::TraceFilter::TraceFilter | ( | const TFE & | e | ) |
Initialize with trace filter expression e.
Definition at line 189 of file filter.cpp.
| Gecode::TraceFilter::TraceFilter | ( | PropagatorGroup | g | ) |
Initialize with propagator group g.
Definition at line 191 of file filter.cpp.
| Gecode::TraceFilter::TraceFilter | ( | BrancherGroup | g | ) |
Initialize with brancher group g.
Definition at line 193 of file filter.cpp.
| Gecode::TraceFilter::TraceFilter | ( | const TraceFilter & | tf | ) |
Copy constructor.
Definition at line 195 of file filter.cpp.
| TraceFilter & Gecode::TraceFilter::operator= | ( | const TraceFilter & | tf | ) |
Assignment operator.
Definition at line 198 of file filter.cpp.
|
inline |
Check whether filter is true for view trace information vti.
Definition at line 299 of file filter.hpp.
|
inline |
Check whether filter is true for propagator group pg.
Definition at line 315 of file filter.hpp.
|
inline |
Check whether filter is true for brancher group bg.
Definition at line 331 of file filter.hpp.
|
static |
Default filter: without any filter.
Definition at line 210 of file filter.hpp.