Trace filter expressions.
More...
#include <gecode/kernel/trace/filter.hpp>
|
| static TFE | other (void) |
| | Expression for other than propagator, brancher, or post.
|
|
| | 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 expression.
|
|
| Node * | n |
| | Pointer to trace filter expression node.
|
Trace filter expressions.
Definition at line 42 of file filter.hpp.
◆ NodeType
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 49 of file filter.hpp.
◆ TFE() [1/5]
| Gecode::TFE::TFE |
( |
void | | ) |
|
|
inlineprotected |
Initialize with no node.
Definition at line 224 of file filter.hpp.
◆ TFE() [2/5]
Initialize with node n.
Definition at line 226 of file filter.hpp.
◆ TFE() [3/5]
An expression for a propagator group g.
◆ TFE() [4/5]
An expression for a brancher group g.
◆ TFE() [5/5]
| Gecode::TFE::TFE |
( |
const TFE & | e | ) |
|
◆ ~TFE()
| Gecode::TFE::~TFE |
( |
void | | ) |
|
◆ init()
| void Gecode::TFE::init |
( |
Group | g, |
|
|
char | what ) |
|
protected |
Initialize with propagator group g and flags what.
◆ negate()
| TFE Gecode::TFE::negate |
( |
void | | ) |
const |
|
protected |
Return negated the expression.
◆ other()
| TFE Gecode::TFE::other |
( |
void | | ) |
|
|
static |
Expression for other than propagator, brancher, or post.
◆ operator=()
| TFE & Gecode::TFE::operator= |
( |
const TFE & | e | ) |
|
◆ operator+=()
| TFE & Gecode::TFE::operator+= |
( |
const TFE & | e | ) |
|
◆ operator-=()
| TFE & Gecode::TFE::operator-= |
( |
const TFE & | e | ) |
|
Add expression e as negative expression.
Pointer to trace filter expression node.
Definition at line 76 of file filter.hpp.
The documentation for this class was generated from the following file: