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>
125 virtual size_t dispose(
Space& home);
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
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.
int p
Number of positive literals for node type.
Sequence propagator for array of integers
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
ViewValSupport< View, Val, iss > & operator[](int n)
Access element n.
union Gecode::@519::NNF::@60 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...
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
int size(void) const
Return the current size.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
ViewValSupportArray(void)
Default constructor.
void update(Space &home, bool share, ViewValSupportArray< View, Val, iss > &x)
Cloning.