187 virtual Object* copy(
void)
const;
231 :
use(1),
l(NULL),
r(NULL) {}
267 f[0].
g = g;
f[0].
neg =
false;
274 f[0].
g = g;
f[0].
neg =
false;
293 if (
f[
i].what & (1 << vti.
what())) {
295 switch (vti.
what()) {
305 if (
f[
i].g.in(vti.
post()) !=
f[
i].neg)
319 return static_cast<TFO*
>(
object())->
operator ()(vti);
335 return static_cast<TFO*
>(
object())->
operator ()(pg);
351 return static_cast<TFO*
>(
object())->
operator ()(bg);
Node * n
Pointer to trace filter expression node.
Propagator or brancher group.
TFE(void)
Initialize with no node.
int n
Number of leaf groups.
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.
void propagator(Propagator &p)
Record that propagator p is executing.
friend TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
A propagator is currently executing.
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.
int n
The number of filters.
bool operator()(const ViewTraceInfo &vti) const
Check whether filter is true for view trace information vti.
void brancher(Brancher &b)
Record that brancher b is executing.
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.
T * alloc(long unsigned int n)
Allocate block of n objects of type T from heap.
Gecode::IntArgs i(4, 1, 2, 3, 4)
IntRelType neg(IntRelType irt)
Return negated relation type of irt.
A post function is executing.
bool operator()(const ViewTraceInfo &vti) const
Check whether filter is true for view trace information vti.
FloatVal operator+(const FloatVal &x)
SharedHandle::Object * object(void) const
Access to the shared object.
Node for trace filter expression.
NodeType t
Type of expression.
bool decrement(void)
Decrement reference count and possibly free memory.
Group baseclass for controlling actors.
#define GECODE_KERNEL_EXPORT
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
void post(PropagatorGroup g)
Record that a post function with propagator group g is executing.
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
What what(void) const
Return what is currently executing.
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.