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.