180 bool operator ()(
const ExecInfo& ei)
const;
183 virtual Object* copy(
void)
const;
208 bool operator ()(
const ExecInfo& ei)
const;
223 :
use(1),
l(NULL),
r(NULL) {}
259 f[0].
g = g;
f[0].
neg =
false;
266 f[0].
g = g;
f[0].
neg =
false;
285 if (
f[
i].what & (1 << ei.
what())) {
297 if (
f[
i].g.in(ei.
post()) !=
f[
i].neg)
311 return static_cast<TFO*
>(
object())->
operator ()(ei);
Node * n
Pointer to trace filter expression node.
Propagator or brancher group.
TFE(void)
Initialize with no node.
int n
Number of leaf groups.
void brancher(Brancher &b)
Record that brancher b is executing.
static TraceFilter all
Default filter: without any filter.
TFE & operator+=(const TFE &e)
Add expression e.
More than one expression.
TFO(void)
Initialize without any filter and with fixpoint and done tracing.
friend TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
TFE & operator-=(const TFE &e)
Add expression e as negative expression.
friend TFE propagator(PropagatorGroup g)
Only propagators (but not post functions) from g are considered.
A post function is executing.
int n
The number of filters.
The actual object storing the shared filters.
bool neg
Whether the filter is negative.
char w
Which operations to consider for propagator groups.
void init(Group g, char what)
Initialize with propagator group g and flags what.
What what(void) const
Return what is currently executing.
bool operator()(const ExecInfo &ei) const
Check whether filter is true for execution information ei.
T * alloc(long unsigned int n)
Allocate block of n objects of type T from heap.
Gecode::IntArgs i(4, 1, 2, 3, 4)
bool operator()(const ExecInfo &ei) const
Check whether filter is true for execution information ei.
FloatVal operator+(const FloatVal &x)
SharedHandle::Object * object(void) const
Access to the shared object.
Node for trace filter expression.
A propagator is currently executing.
NodeType t
Type of expression.
void post(PropagatorGroup g)
Record that a post function with propagator group g is executing.
bool decrement(void)
Decrement reference count and possibly free memory.
Group baseclass for controlling actors.
#define GECODE_KERNEL_EXPORT
unsigned int use
Nodes are reference counted.
static TFE other(void)
Expression for other than propagator, brancher, or post.
friend TFE operator-(const TFE &r)
Return negative expression of e.
TFE & operator=(const TFE &e)
Assignment operator.
Heap heap
The single global heap.
void fill(TFE::Node *n)
Fill the filters.
char what
One bit set for each operation type.
bool neg
Whether it is negated.
Gecode toplevel namespace
TFE negate(void) const
Return negated the expresssion.
Node(void)
Default constructor.
NodeType
Type of trace filter expression.
Base class for heap allocated objects.
#define GECODE_NEVER
Assert that this command is never executed.
Trace filter expressions.
void propagator(Propagator &p)
Record that propagator p is executing.
bool neg
Is atomic formula negative.