Go to the source code of this file.
Classes | |
class | Gecode::TFE |
Trace filter expressions. More... | |
class | Gecode::TFE::Node |
Node for trace filter expression. More... | |
class | Gecode::TraceFilter |
Trace filters. More... | |
class | Gecode::TraceFilter::TFO |
The actual object storing the shared filters. More... | |
struct | Gecode::TraceFilter::TFO::Filter |
Filter information. More... | |
class | Gecode::TraceFilter::TFO::StackFrame |
Functions | |
TFE | Gecode::operator+ (TFE l, const TFE &r) |
Disjunctive combination of trace filter expressions l and r. More... | |
TFE | Gecode::operator+ (const TFE &e) |
Positive expression. More... | |
TFE | Gecode::operator- (TFE l, const TFE &r) |
Combine positive expression l and negative expression r. More... | |
TFE | Gecode::operator- (const TFE &e) |
Return negative expression of e. More... | |
TFE | Gecode::propagator (PropagatorGroup g) |
Only propagators (but not post functions) from g are considered. More... | |
TFE | Gecode::post (PropagatorGroup g) |
Only post functions (but not propagators) from g are considered. More... | |
Disjunctive combination of trace filter expressions l and r.
Definition at line 229 of file filter.hpp.
|
inline |
Positive expression.
Definition at line 233 of file filter.hpp.
Combine positive expression l and negative expression r.
Definition at line 237 of file filter.hpp.
TFE Gecode::operator- | ( | const TFE & | e | ) |
Return negative expression of e.
Definition at line 126 of file filter.cpp.
TFE Gecode::propagator | ( | PropagatorGroup | g | ) |
Only propagators (but not post functions) from g are considered.
Definition at line 131 of file filter.cpp.
TFE Gecode::post | ( | PropagatorGroup | g | ) |
Only post functions (but not propagators) from g are considered.
Definition at line 138 of file filter.cpp.