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)