Go to the source code of this file.
|
namespace | Gecode |
| Gecode toplevel namespace
|
|
|
TFE | Gecode::operator+ (TFE l, const TFE &r) |
| Disjunctive combination of trace filter expressions l and r.
|
|
TFE | Gecode::operator+ (const TFE &e) |
| Positive expression.
|
|
TFE | Gecode::operator- (TFE l, const TFE &r) |
| Combine positive expression l and negative expression r.
|
|
TFE | Gecode::operator- (const TFE &e) |
| Return negative expression of e.
|
|
TFE | Gecode::propagator (PropagatorGroup g) |
| Only propagators (but not post functions) from g are considered.
|
|
TFE | Gecode::post (PropagatorGroup g) |
| Only post functions (but not propagators) from g are considered.
|
|