Gecode::TFE Class Reference

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

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

Friends And Related Function Documentation

operator-

TFE operator- ( const TFE &  r )

friend

Return negative expression of e.

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

propagator

TFE propagator ( PropagatorGroup  g )

friend

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

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

post

TFE post ( PropagatorGroup  g )

friend

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

Definition at line 142 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:

• gecode/kernel/trace-filter.hpp (Revision: 15597)
• gecode/kernel/trace-filter.cpp (Revision: 15597)