36#ifndef __GECODE_INT_DOM_HH__
37#define __GECODE_INT_DOM_HH__
55 template<
class View, ReifyMode rm>
83 template<
class View, ReifyMode rm>
Home class for posting propagators
Boolean view for Boolean variables.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
ReIntSet(Space &home, ReIntSet &p)
Constructor for cloning p.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
static ExecStatus post(Home home, View x, const IntSet &s, BoolView b)
Post propagator for .
static ExecStatus post(Home home, View x, int min, int max, BoolView b)
Post propagator for .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
ReRange(Space &home, ReRange &p)
Constructor for cloning p.
ReUnaryPropagator(Space &home, ReUnaryPropagator &p)
ModEventDelta med
A set of modification events (used during propagation)
int ModEventDelta
Modification event deltas.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
Gecode toplevel namespace
Post propagator for SetVar x