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 ExecInfo &ei) const |
Check whether filter is true for execution information ei. 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 248 of file trace-filter.hpp.
|
inline |
Initialize with trace filter expression e.
Definition at line 250 of file trace-filter.hpp.
|
inline |
Initialize with propagator group g.
Definition at line 257 of file trace-filter.hpp.
|
inline |
Initialize with brancher group g.
Definition at line 264 of file trace-filter.hpp.
|
inline |
Copy constructor.
Definition at line 271 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 execution information ei.
Definition at line 281 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.