
The actual object storing the shared filters. More...
#include <trace-filter.hpp>
Classes | |
| struct | Filter |
| Filter information. More... | |
| class | StackFrame |
Public Member Functions | |
| void | fill (TFE::Node *n) |
| Fill the filters. More... | |
| TFO (void) | |
| Initialize without any filter and with fixpoint and done tracing. More... | |
| TFO (const TFE &e) | |
| Initialize with trace filter expression e. More... | |
| TFO (PropagatorGroup g) | |
| Initialize with propagator group g. More... | |
| TFO (BrancherGroup g) | |
| Initialize with brancher group g. More... | |
| TFO (const TFO &o) | |
| Copy constructor. More... | |
| bool | operator() (const ViewTraceInfo &vti) const |
| Check whether filter is true for view trace information vti. More... | |
| bool | operator() (PropagatorGroup pg) const |
| Check whether filter is true for propagator group pg. More... | |
| bool | operator() (BrancherGroup bg) const |
| Check whether filter is true for brancher group bg. More... | |
| virtual Object * | copy (void) const |
| Create a copy. More... | |
| virtual | ~TFO (void) |
| Destructor. More... | |
Public Member Functions inherited from Gecode::SharedHandle::Object | |
| Object (void) | |
| Initialize. More... | |
| virtual | ~Object (void) |
| Delete shared object. More... | |
Public Attributes | |
| int | n |
| The number of filters. More... | |
| Filter * | f |
| The filters. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. More... | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. More... | |
The actual object storing the shared filters.
Definition at line 140 of file trace-filter.hpp.
|
inline |
Initialize without any filter and with fixpoint and done tracing.
Definition at line 256 of file trace-filter.hpp.
|
inline |
Initialize with trace filter expression e.
Definition at line 258 of file trace-filter.hpp.
|
inline |
Initialize with propagator group g.
Definition at line 265 of file trace-filter.hpp.
|
inline |
Initialize with brancher group g.
Definition at line 272 of file trace-filter.hpp.
|
inline |
Copy constructor.
Definition at line 279 of file trace-filter.hpp.
|
virtual |
Destructor.
Definition at line 190 of file trace-filter.cpp.
| void Gecode::TraceFilter::TFO::fill | ( | TFE::Node * | n | ) |
Fill the filters.
Definition at line 163 of file trace-filter.cpp.
|
inline |
Check whether filter is true for view trace information vti.
Definition at line 289 of file trace-filter.hpp.
|
inline |
Check whether filter is true for propagator group pg.
Definition at line 323 of file trace-filter.hpp.
|
inline |
Check whether filter is true for brancher group bg.
Definition at line 339 of file trace-filter.hpp.
|
virtual |
Create a copy.
Implements Gecode::SharedHandle::Object.
Definition at line 187 of file trace-filter.cpp.
| int Gecode::TraceFilter::TFO::n |
The number of filters.
Definition at line 163 of file trace-filter.hpp.
| Filter* Gecode::TraceFilter::TFO::f |
The filters.
Definition at line 165 of file trace-filter.hpp.