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