34 #ifndef __GECODE_INT_CUMULATIVES_HH__ 35 #define __GECODE_INT_CUMULATIVES_HH__ 39 namespace Gecode {
namespace Int {
namespace Cumulatives {
85 template<
class ViewM,
class ViewP,
class ViewU,
class View>
104 int* prune_tasks,
int& prune_tasks_size);
ExecStatus prune(Space &home, int low, int up, int r, int ntask, int su, int *contribution, int *prune_tasks, int &prune_tasks_size)
Base-class for propagators.
static ExecStatus post(Home home, const ViewArray< ViewM > &, const ViewArray< View > &, const ViewArray< ViewP > &, const ViewArray< View > &, const ViewArray< ViewU > &, const SharedArray< int > &, bool)
Post propagator.
Base-class for both propagators and branchers.
ModEventDelta med
A set of modification events (used during propagation)
virtual size_t dispose(Space &home)
Dispose propagator.
Val(Space &home, Val< ViewM, ViewP, ViewU, View > &p)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for the cumulatives constraint
Post propagator for SetVar SetOpType SetVar SetRelType r
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low quadratic)
virtual void reschedule(Space &home)
Schedule function.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
virtual Actor * copy(Space &home)
Create copy during cloning.