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