
The actual object storing the shared filters. More...
#include <filter.hpp>
Classes | |
| struct | Filter |
| Filter information. More... | |
| class | StackFrame |
Public Member Functions | |
| void | fill (TFE::Node *n) |
| Fill the filters. | |
| TFO (void) | |
| Initialize without any filter and with fixpoint and done tracing. | |
| TFO (const TFE &e) | |
| Initialize with trace filter expression e. | |
| TFO (PropagatorGroup g) | |
| Initialize with propagator group g. | |
| TFO (BrancherGroup g) | |
| Initialize with brancher group g. | |
| 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. | |
| virtual | ~TFO (void) |
| Destructor. | |
Public Member Functions inherited from Gecode::SharedHandle::Object | |
| Object (void) | |
| Initialize. | |
| virtual | ~Object (void) |
| Delete shared object. | |
Public Attributes | |
| int | n |
| The number of filters. | |
| Filter * | f |
| The filters. | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. | |
The actual object storing the shared filters.
Definition at line 136 of file filter.hpp.
|
inline |
Initialize without any filter and with fixpoint and done tracing.
Definition at line 247 of file filter.hpp.
|
inline |
Initialize with trace filter expression e.
Definition at line 249 of file filter.hpp.
|
inline |
Initialize with propagator group g.
Definition at line 256 of file filter.hpp.
|
inline |
Initialize with brancher group g.
Definition at line 263 of file filter.hpp.
|
virtual |
Destructor.
Definition at line 183 of file filter.cpp.
| void Gecode::TraceFilter::TFO::fill | ( | TFE::Node * | n | ) |
Fill the filters.
Definition at line 159 of file filter.cpp.
|
inline |
Check whether filter is true for view trace information vti.
Definition at line 270 of file filter.hpp.
|
inline |
Check whether filter is true for propagator group pg.
Definition at line 304 of file filter.hpp.
|
inline |
Check whether filter is true for brancher group bg.
Definition at line 320 of file filter.hpp.
| int Gecode::TraceFilter::TFO::n |
The number of filters.
Definition at line 159 of file filter.hpp.
| Filter* Gecode::TraceFilter::TFO::f |
The filters.
Definition at line 161 of file filter.hpp.