107 a->n =
n->
n + e.
n->
n;
156 :
n(n0),
neg(neg0) {}
180 }
while (!next.
empty());
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
bool neg
Is atomic formula negative.
Group baseclass for controlling actors.
static Group all
Group of all actors.
void free(T *b, long unsigned int n)
Delete n objects starting at b.
SharedHandle & operator=(const SharedHandle &sh)
Assignment operator maintaining reference count.
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.
bool neg
Whether the filter is negative.
char what
One bit set for each operation type.
#define GECODE_NEVER
Assert that this command is never executed.