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... | |
![]() | |
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 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.