Generated on Sat Jan 12 2019 20:58:51 for Gecode by doxygen 1.8.13

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...
 
TFEoperator= (const TFE &e)
 Assignment operator. More...
 
TFEoperator+= (const TFE &e)
 Add expression e. More...
 
TFEoperator-= (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

Noden
 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...
 

Detailed Description

Trace filter expressions.

Definition at line 42 of file filter.hpp.

Member Enumeration Documentation

◆ NodeType

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 49 of file filter.hpp.

Constructor & Destructor Documentation

◆ TFE() [1/5]

Gecode::TFE::TFE ( void  )
inlineprotected

Initialize with no node.

Definition at line 224 of file filter.hpp.

◆ TFE() [2/5]

Gecode::TFE::TFE ( TFE::Node n0)
inlineprotected

Initialize with node n.

Definition at line 226 of file filter.hpp.

◆ TFE() [3/5]

Gecode::TFE::TFE ( PropagatorGroup  g)

An expression for a propagator group g.

Definition at line 73 of file filter.cpp.

◆ TFE() [4/5]

Gecode::TFE::TFE ( BrancherGroup  g)

An expression for a brancher group g.

Definition at line 77 of file filter.cpp.

◆ TFE() [5/5]

Gecode::TFE::TFE ( const TFE e)

Copy constructor.

Definition at line 88 of file filter.cpp.

◆ ~TFE()

Gecode::TFE::~TFE ( void  )

Destructor.

Definition at line 119 of file filter.cpp.

Member Function Documentation

◆ init()

void Gecode::TFE::init ( Group  g,
char  what 
)
inlineprotected

Initialize with propagator group g and flags what.

Definition at line 56 of file filter.cpp.

◆ negate()

TFE Gecode::TFE::negate ( void  ) const
inlineprotected

Return negated the expresssion.

Definition at line 65 of file filter.cpp.

◆ other()

TFE Gecode::TFE::other ( void  )
static

Expression for other than propagator, brancher, or post.

Definition at line 82 of file filter.cpp.

◆ operator=()

TFE & Gecode::TFE::operator= ( const TFE e)

Assignment operator.

Definition at line 93 of file filter.cpp.

◆ operator+=()

TFE & Gecode::TFE::operator+= ( const TFE e)

Add expression e.

Definition at line 104 of file filter.cpp.

◆ operator-=()

TFE & Gecode::TFE::operator-= ( const TFE e)

Add expression e as negative expression.

Definition at line 115 of file filter.cpp.

Friends And Related Function Documentation

◆ operator-

TFE operator- ( const TFE r)
friend

Return negative expression of e.

Definition at line 126 of file filter.cpp.

◆ propagator

TFE propagator ( PropagatorGroup  g)
friend

Only propagators (but not post functions) from g are considered.

Definition at line 131 of file filter.cpp.

◆ post

TFE post ( PropagatorGroup  g)
friend

Only post functions (but not propagators) from g are considered.

Definition at line 138 of file filter.cpp.

Member Data Documentation

◆ n

Node* Gecode::TFE::n
protected

Pointer to trace filter expression node.

Definition at line 76 of file filter.hpp.


The documentation for this class was generated from the following files: