Trace filter expressions. More...
#include <filter.hpp>
Classes | |
class | Node |
Node for trace filter expression. More... | |
Public Member Functions | |
TFE (PropagatorGroup g) | |
An expression for a propagator group g. More... | |
TFE (BrancherGroup g) | |
An expression for a brancher group g. More... | |
TFE (const TFE &e) | |
Copy constructor. More... | |
TFE & | operator= (const TFE &e) |
Assignment operator. More... | |
TFE & | operator+= (const TFE &e) |
Add expression e. More... | |
TFE & | operator-= (const TFE &e) |
Add expression e as negative expression. More... | |
~TFE (void) | |
Destructor. More... | |
Static Public Member Functions | |
static TFE | other (void) |
Expression for other than propagator, brancher, or post. More... | |
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. More... | |
TFE (Node *n) | |
Initialize with node n. More... | |
void | init (Group g, char what) |
Initialize with propagator group g and flags what. More... | |
TFE | negate (void) const |
Return negated the expresssion. More... | |
Protected Attributes | |
Node * | n |
Pointer to trace filter expression node. More... | |
Friends | |
TFE | operator- (const TFE &r) |
Return negative expression of e. More... | |
TFE | propagator (PropagatorGroup g) |
Only propagators (but not post functions) from g are considered. More... | |
TFE | post (PropagatorGroup g) |
Only post functions (but not propagators) from g are considered. More... | |
Trace filter expressions.
Definition at line 46 of file filter.hpp.
|
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 filter.hpp.
|
inlineprotected |
Initialize with no node.
Definition at line 228 of file filter.hpp.
|
inlineprotected |
Initialize with node n.
Definition at line 230 of file filter.hpp.
Gecode::TFE::TFE | ( | PropagatorGroup | g | ) |
An expression for a propagator group g.
Definition at line 77 of file filter.cpp.
Gecode::TFE::TFE | ( | BrancherGroup | g | ) |
An expression for a brancher group g.
Definition at line 81 of file filter.cpp.
Gecode::TFE::TFE | ( | const TFE & | e | ) |
Copy constructor.
Definition at line 92 of file filter.cpp.
Gecode::TFE::~TFE | ( | void | ) |
Destructor.
Definition at line 123 of file filter.cpp.
|
inlineprotected |
Initialize with propagator group g and flags what.
Definition at line 60 of file filter.cpp.
|
inlineprotected |
Return negated the expresssion.
Definition at line 69 of file filter.cpp.
|
static |
Expression for other than propagator, brancher, or post.
Definition at line 86 of file filter.cpp.
Assignment operator.
Definition at line 97 of file filter.cpp.
Add expression e.
Definition at line 108 of file filter.cpp.
Add expression e as negative expression.
Definition at line 119 of file filter.cpp.
Return negative expression of e.
Definition at line 130 of file filter.cpp.
|
friend |
Only propagators (but not post functions) from g are considered.
Definition at line 135 of file filter.cpp.
|
friend |
Only post functions (but not propagators) from g are considered.
Definition at line 142 of file filter.cpp.
|
protected |
Pointer to trace filter expression node.
Definition at line 80 of file filter.hpp.