Generated on Tue Jan 28 2020 00:00:00 for Gecode by doxygen 1.8.17

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

Detailed Description

Trace filter expressions.

Definition at line 46 of file trace-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 53 of file trace-filter.hpp.

Constructor & Destructor Documentation

◆ TFE() [1/5]

Gecode::TFE::TFE ( void  )
inlineprotected

Initialize with no node.

Definition at line 233 of file trace-filter.hpp.

◆ TFE() [2/5]

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

Initialize with node n.

Definition at line 235 of file trace-filter.hpp.

◆ TFE() [3/5]

Gecode::TFE::TFE ( PropagatorGroup  g)

An expression for a propagator group g.

Definition at line 77 of file trace-filter.cpp.

◆ TFE() [4/5]

Gecode::TFE::TFE ( BrancherGroup  g)

An expression for a brancher group g.

Definition at line 81 of file trace-filter.cpp.

◆ TFE() [5/5]

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

Copy constructor.

Definition at line 92 of file trace-filter.cpp.

◆ ~TFE()

Gecode::TFE::~TFE ( void  )

Destructor.

Definition at line 123 of file trace-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 60 of file trace-filter.cpp.

◆ negate()

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

Return negated the expresssion.

Definition at line 69 of file trace-filter.cpp.

◆ other()

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

Expression for other than propagator, brancher, or post.

Definition at line 86 of file trace-filter.cpp.

◆ operator=()

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

Assignment operator.

Definition at line 97 of file trace-filter.cpp.

◆ operator+=()

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

Add expression e.

Definition at line 108 of file trace-filter.cpp.

◆ operator-=()

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

Add expression e as negative expression.

Definition at line 119 of file trace-filter.cpp.

Member Data Documentation

◆ n

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: