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. 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... | |
Trace filter expressions.
Definition at line 46 of file trace-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 trace-filter.hpp.
|
inlineprotected |
Initialize with no node.
Definition at line 233 of file trace-filter.hpp.
|
inlineprotected |
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.
|
inlineprotected |
Initialize with propagator group g and flags what.
Definition at line 60 of file trace-filter.cpp.
|
inlineprotected |
Return negated the expresssion.
Definition at line 69 of file trace-filter.cpp.
|
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.
|
protected |
Pointer to trace filter expression node.
Definition at line 80 of file trace-filter.hpp.