
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.