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>
127 virtual size_t dispose(
Space& home);
union Gecode::@579::NNF::@61 u
Union depending on nodetype t.
ExecStatus advise(Space &home, ViewArray< View > &a, Val s, int q, int j, const Delta &d)
Advise.
Base-class for propagators.
An array of ViewValSupport data structures.
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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
int p
Number of positive literals for node type.
Sequence propagator for array of integers
ViewValSupport< View, Val, iss > & operator[](int n)
Access element n.
void check(const FloatVal &n, const char *l)
Check whether float n is a valid number, otherwise throw out of limits exception with information l...
Generic domain change information to be supplied to advisors.
Post propagator for SetVar x
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
void reschedule(Space &home, Propagator &p, IntSet &y)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
ViewValSupportArray(void)
Default constructor.
int size(void) const
Return the current size.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
void update(Space &home, bool share, ViewValSupportArray< View, Val, iss > &x)
Cloning.