34 #ifndef __GECODE_INT_SEQUENCE_HH__ 35 #define __GECODE_INT_SEQUENCE_HH__ 40 namespace Gecode {
namespace Int {
namespace Sequence {
57 template<
class View,
class Val,
bool iss>
64 template<
class View,
class Val,
bool iss>
100 template<
class View,
class Val>
123 virtual size_t dispose(
Space& home);
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.
void update(Space &home, ViewValSupportArray< View, Val, iss > &x)
Cloning.
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.
Sequence propagator for array of integers
ViewValSupport< View, Val, iss > & operator[](int n)
Access element n.
union Gecode::@593::NNF::@62 u
Union depending on nodetype t.
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
Gecode toplevel namespace
void reschedule(Space &home, Propagator &p, IntSet &y)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.
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.