45 if ((
l != NULL) &&
l->decrement())
47 if ((
r != NULL) &&
r->decrement())
107 a->n =
n->n + e.
n->
n;
109 a->r = e.
n; e.
n->
use++;
156 :
n(n0),
neg(neg0) {}
168 f[i].g = s.
n->
g;
f[i].neg = s.
neg;
f[i].what=s.
n->
w;
180 }
while (!next.
empty());
Group baseclass for controlling actors.
static Group all
Group of all actors.
SharedHandle & operator=(const SharedHandle &sh)
Assignment operator maintaining reference count.
SharedHandle(void)
Create shared handle with no object pointing to.
Stack with arbitrary number of elements.
void push(const T &x)
Push element x on top of stack.
bool empty(void) const
Test whether stack is empty.
T pop(void)
Pop topmost element from stack and return it.
Node for trace filter expression.
NodeType t
Type of expression.
unsigned int use
Nodes are reference counted.
bool decrement(void)
Decrement reference count and possibly free memory.
int n
Number of leaf groups.
char w
Which operations to consider for propagator groups.
Trace filter expressions.
TFE & operator+=(const TFE &e)
Add expression e.
static TFE other(void)
Expression for other than propagator, brancher, or post.
Node * n
Pointer to trace filter expression node.
void init(Group g, char what)
Initialize with propagator group g and flags what.
TFE & operator-=(const TFE &e)
Add expression e as negative expression.
TFE & operator=(const TFE &e)
Assignment operator.
TFE negate(void) const
Return negated the expresssion.
@ NT_NEGATE
Negation of expression.
@ NT_GROUP
Propagator or brancher group.
@ NT_ADD
More than one expression.
TFE(void)
Initialize with no node.
StackFrame(void)
Default constructor.
bool neg
Whether it is negated.
The actual object storing the shared filters.
int n
The number of filters.
void fill(TFE::Node *n)
Fill the filters.
virtual ~TFO(void)
Destructor.
TraceFilter(void)
Initialize without any filter.
static TraceFilter all
Default filter: without any filter.
TraceFilter & operator=(const TraceFilter &tf)
Assignment operator.
@ BRANCHER
A brancher is executing.
@ POST
A post function is executing.
@ PROPAGATOR
A propagator is currently executing.
Heap heap
The single global heap.
Gecode toplevel namespace
FloatVal operator-(const FloatVal &x)
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
TFE propagator(PropagatorGroup g)
Only propagators (but not post functions) from g are considered.
#define GECODE_NEVER
Assert that this command is never executed.