Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
filter.hpp File Reference

Go to the source code of this file.

Classes

class  Gecode::TFE
 Trace filter expressions. More...
 
class  Gecode::TFE::Node
 Node for trace filter expression. More...
 
class  Gecode::TraceFilter
 Trace filters. More...
 
class  Gecode::TraceFilter::TFO
 The actual object storing the shared filters. More...
 
struct  Gecode::TraceFilter::TFO::Filter
 Filter information. More...
 
class  Gecode::TraceFilter::TFO::StackFrame
 

Functions

TFE Gecode::operator+ (TFE l, const TFE &r)
 Disjunctive combination of trace filter expressions l and r. More...
 
TFE Gecode::operator+ (const TFE &e)
 Positive expression. More...
 
TFE Gecode::operator- (TFE l, const TFE &r)
 Combine positive expression l and negative expression r. More...
 
TFE Gecode::operator- (const TFE &e)
 Return negative expression of e. More...
 
TFE Gecode::propagator (PropagatorGroup g)
 Only propagators (but not post functions) from g are considered. More...
 
TFE Gecode::post (PropagatorGroup g)
 Only post functions (but not propagators) from g are considered. More...
 

Function Documentation

◆ operator+() [1/2]

TFE Gecode::operator+ ( TFE  l,
const TFE r 
)
inline

Disjunctive combination of trace filter expressions l and r.

Definition at line 229 of file filter.hpp.

◆ operator+() [2/2]

TFE Gecode::operator+ ( const TFE e)
inline

Positive expression.

Definition at line 233 of file filter.hpp.

◆ operator-() [1/2]

TFE Gecode::operator- ( TFE  l,
const TFE r 
)
inline

Combine positive expression l and negative expression r.

Definition at line 237 of file filter.hpp.

◆ operator-() [2/2]

TFE Gecode::operator- ( const TFE e)

Return negative expression of e.

Definition at line 126 of file filter.cpp.

◆ propagator()

TFE Gecode::propagator ( PropagatorGroup  g)

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

Definition at line 131 of file filter.cpp.

◆ post()

TFE Gecode::post ( PropagatorGroup  g)

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

Definition at line 138 of file filter.cpp.