38 namespace Gecode {
namespace Int {
namespace Unary {
40 template<
class ManTask,
class PL>
45 template<
class ManTask,
class PL>
51 template<
class ManTask,
class PL>
59 template<
class ManTask,
class PL>
65 template<
class ManTask,
class PL>
virtual Actor * copy(Space &home, bool share)
Perform copying during cloning.
ExecStatus timetabling(Space &home, Propagator &p, TaskArray< Task > &t)
Perform time-tabling propagation.
Scheduling propagator for unary resource with mandatory tasks
ExecStatus notfirstnotlast(Space &home, TaskArray< ManTask > &t)
Propagate not-first and not-last.
ManProp(Home home, TaskArray< ManTask > &t)
Constructor for creation.
Base-class for both propagators and branchers.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
int p
Number of positive literals for node type.
ExecStatus overload(Space &home, TaskArray< ManTask > &t)
Check mandatory tasks t for overload.
ExecStatus detectable(Space &home, TaskViewArray< ManTaskView > &t)
ExecStatus subsumed(Space &home, Propagator &p, TaskArray< Task > &t)
Check tasks t for subsumption.
ExecStatus edgefinding(Space &home, TaskViewArray< TaskView > &t)
Propagation has not computed fixpoint.
static ExecStatus post(Home home, TaskArray< ManTask > &t)
Post propagator that schedules tasks on unary resource.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators