Gecode::TFE Class Reference
[Tracing constraint propagation]
Trace filter expressions. More...
#include <trace-filter.hpp>
Classes | |
| class | Node |
| Node for trace filter expression. More... | |
Public Member Functions | |
| TFE (PropagatorGroup g) | |
| An expression for a propagator group g. | |
| TFE (BrancherGroup g) | |
| An expression for a brancher group g. | |
| TFE (const TFE &e) | |
| Copy constructor. | |
| TFE & | operator= (const TFE &e) |
| Assignment operator. | |
| TFE & | operator+= (const TFE &e) |
| Add expression e. | |
| TFE & | operator-= (const TFE &e) |
| Add expression e as negative expression. | |
| ~TFE (void) | |
| Destructor. | |
Static Public Member Functions | |
| static TFE | other (void) |
| Expression for other than propagator, brancher, or post. | |
Protected Types | |
| enum | NodeType { NT_GROUP, NT_NEGATE, NT_ADD } |
Type of trace filter expression. More... | |
Protected Member Functions | |
| TFE (void) | |
| Initialize with no node. | |
| TFE (Node *n) | |
| Initialize with node n. | |
| void | init (Group g, char what) |
| Initialize with propagator group g and flags what. | |
| TFE | negate (void) const |
| Return negated the expresssion. | |
Protected Attributes | |
| Node * | n |
| Pointer to trace filter expression node. | |
Friends | |
| TFE | operator- (const TFE &r) |
| Return negative expression of e. | |
| TFE | propagator (PropagatorGroup g) |
| Only propagators (but not post functions) from g are considered. | |
| TFE | post (PropagatorGroup g) |
| Only post functions (but not propagators) from g are considered. | |
Detailed Description
Trace filter expressions.
Definition at line 46 of file trace-filter.hpp.
Member Enumeration Documentation
enum Gecode::TFE::NodeType [protected] |
Type of trace filter expression.
- Enumerator:
NT_GROUP Propagator or brancher group.
NT_NEGATE Negation of expression.
NT_ADD More than one expression.
Definition at line 53 of file trace-filter.hpp.
Constructor & Destructor Documentation
| Gecode::TFE::TFE | ( | void | ) | [inline, protected] |
Initialize with no node.
Definition at line 233 of file trace-filter.hpp.
| Gecode::TFE::TFE | ( | TFE::Node * | n0 | ) | [inline, protected] |
Initialize with node n.
Definition at line 235 of file trace-filter.hpp.
| Gecode::TFE::TFE | ( | PropagatorGroup | g | ) |
An expression for a propagator group g.
Definition at line 77 of file trace-filter.cpp.
| Gecode::TFE::TFE | ( | BrancherGroup | g | ) |
An expression for a brancher group g.
Definition at line 81 of file trace-filter.cpp.
| Gecode::TFE::TFE | ( | const TFE & | e | ) |
Copy constructor.
Definition at line 92 of file trace-filter.cpp.
| Gecode::TFE::~TFE | ( | void | ) |
Destructor.
Definition at line 123 of file trace-filter.cpp.
Member Function Documentation
| void Gecode::TFE::init | ( | Group | g, | |
| char | what | |||
| ) | [inline, protected] |
Initialize with propagator group g and flags what.
Definition at line 60 of file trace-filter.cpp.
| TFE Gecode::TFE::negate | ( | void | ) | const [inline, protected] |
Return negated the expresssion.
Definition at line 69 of file trace-filter.cpp.
| TFE Gecode::TFE::other | ( | void | ) | [static] |
Expression for other than propagator, brancher, or post.
Definition at line 86 of file trace-filter.cpp.
Assignment operator.
Definition at line 97 of file trace-filter.cpp.
Add expression e.
Definition at line 108 of file trace-filter.cpp.
Add expression e as negative expression.
Definition at line 119 of file trace-filter.cpp.
Friends And Related Function Documentation
| TFE propagator | ( | PropagatorGroup | g | ) | [friend] |
Only propagators (but not post functions) from g are considered.
| TFE post | ( | PropagatorGroup | g | ) | [friend] |
Only post functions (but not propagators) from g are considered.
Member Data Documentation
Node* Gecode::TFE::n [protected] |
Pointer to trace filter expression node.
Definition at line 80 of file trace-filter.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/trace-filter.hpp (Revision: 15597)
- gecode/kernel/trace-filter.cpp (Revision: 15597)