34#ifndef __GECODE_INT_SEQUENCE_HH__
35#define __GECODE_INT_SEQUENCE_HH__
57 template<
class View,
class Val,
bool iss>
64 template<
class View,
class Val,
bool iss>
100 template<
class View,
class Val>
union Gecode::@603::NNF::@65 u
Union depending on nodetype t.
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Node * x
Pointer to corresponding Boolean expression node.
Base-class for both propagators and branchers.
Generic domain change information to be supplied to advisors.
Home class for posting propagators
Sequence propagator for array of integers
virtual void reschedule(Space &home)
Schedule function.
ExecStatus advise(Space &home, Advisor &_a, const Delta &d)
Advise function.
static ExecStatus post(Home home, ViewArray< View > &x, Val s, int q, int l, int u)
Post propagator for.
virtual Actor * copy(Space &home)
Perform copying during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus check(ViewArray< View > &x, Val s, int q, int l, int u)
Check for consistency.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
Class for advising the propagator.
An array of ViewValSupport data structures.
ViewValSupportArray(void)
Default constructor.
void update(Space &home, ViewValSupportArray< View, Val, iss > &x)
Cloning.
ExecStatus advise(Space &home, ViewArray< View > &a, Val s, int q, int j, const Delta &d)
Advise.
ExecStatus propagate(Space &home, ViewArray< View > &a, Val s, int q, int l, int u)
Propagate.
int size(void) const
Return the current size.
ViewValSupport< View, Val, iss > & operator[](int n)
Access element n.
Class for view value support structure.
Base-class for propagators.
ModEventDelta med
A set of modification events (used during propagation)
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace
Post propagator for SetVar x