111 a->n =
n->
n + e.
n->
n;
160 :
n(n0),
neg(neg0) {}
183 }
while (!next.
empty());
188 return new TFO(*
this);
206 return static_cast<TraceFilter&>(SharedHandle::operator =(tf));
FloatVal operator-(const FloatVal &x)
Node * n
Pointer to trace filter expression node.
Propagator or brancher group.
virtual Object * copy(void) const
Create a copy.
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.
A propagator is currently executing.
TFE & operator-=(const TFE &e)
Add expression e as negative expression.
int n
The number of filters.
The actual object storing the shared filters.
TraceFilter & operator=(const TraceFilter &tf)
Assignment operator.
virtual ~TFO(void)
Destructor.
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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::IntArgs i(4, 1, 2, 3, 4)
IntRelType neg(IntRelType irt)
Return negated relation type of irt.
A post function is executing.
Node for trace filter expression.
T pop(void)
Pop topmost element from stack and return it.
NodeType t
Type of expression.
TraceFilter(void)
Initialize without any filter.
bool decrement(void)
Decrement reference count and possibly free memory.
Group baseclass for controlling actors.
TFE propagator(PropagatorGroup g)
Only propagators (but not post functions) from g are considered.
void free(T *b, long unsigned int n)
Delete n objects starting at b.
unsigned int use
Nodes are reference counted.
static TFE other(void)
Expression for other than propagator, brancher, or post.
TFE & operator=(const TFE &e)
Assignment operator.
Heap heap
The single global heap.
void fill(TFE::Node *n)
Fill the filters.
Stack with arbitrary number of elements.
char what
One bit set for each operation type.
StackFrame(void)
Default constructor.
bool neg
Whether it is negated.
Gecode toplevel namespace
static Group all
Group of all actors.
TFE negate(void) const
Return negated the expresssion.
bool empty(void) const
Test whether stack is empty.
#define GECODE_NEVER
Assert that this command is never executed.
Trace filter expressions.
void push(const T &x)
Push element x on top of stack.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.