Generated on Tue Apr 18 10:23:18 2017 for Gecode by doxygen 1.6.3

Gecode::TFE Class Reference
[Tracing constraint propagation]

Trace filter expressions. More...

#include <trace-filter.hpp>

List of all members.

Classes

class  Node
 Node for trace filter expression. More...

Public Member Functions

 TFE (PropagatorGroup g)
 An expression for a propagator group g.
 TFE (BrancherGroup g)
 An expression for a brancher group g.
 TFE (const TFE &e)
 Copy constructor.
TFEoperator= (const TFE &e)
 Assignment operator.
TFEoperator+= (const TFE &e)
 Add expression e.
TFEoperator-= (const TFE &e)
 Add expression e as negative expression.
 ~TFE (void)
 Destructor.

Static Public Member Functions

static TFE other (void)
 Expression for other than propagator, brancher, or post.

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

Protected Attributes

Noden
 Pointer to trace filter expression node.

Friends

TFE operator- (const TFE &r)
 Return negative expression of e.
TFE propagator (PropagatorGroup g)
 Only propagators (but not post functions) from g are considered.
TFE post (PropagatorGroup g)
 Only post functions (but not propagators) from g are considered.

Detailed Description

Trace filter expressions.

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


Member Enumeration Documentation

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

Gecode::TFE::TFE ( void   )  [inline, protected]

Initialize with no node.

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

Gecode::TFE::TFE ( TFE::Node n0  )  [inline, protected]

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.


Member Function Documentation

void Gecode::TFE::init ( Group  g,
char  what 
) [inline, protected]

Initialize with propagator group g and flags what.

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

TFE Gecode::TFE::negate ( void   )  const [inline, protected]

Return negated the expresssion.

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

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

Expression for other than propagator, brancher, or post.

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

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

Assignment operator.

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

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

Add expression e.

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

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

Add expression e as negative expression.

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


Friends And Related Function Documentation

TFE operator- ( const TFE r  )  [friend]

Return negative expression of e.

TFE propagator ( PropagatorGroup  g  )  [friend]

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

TFE post ( PropagatorGroup  g  )  [friend]

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


Member Data Documentation

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: