38 namespace Gecode {
namespace Int {
namespace Unary {
40 template<
class ManTask,
class PL>
45 template<
class ManTask,
class PL>
50 template<
class ManTask,
class PL>
58 template<
class ManTask,
class PL>
64 template<
class ManTask,
class PL>
ExecStatus timetabling(Space &home, Propagator &p, TaskArray< Task > &t)
Perform time-tabling propagation.
ExecStatus overload(TaskArray< ManTask > &t)
Check mandatory tasks t for overload.
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 detectable(Space &home, TaskViewArray< ManTaskView > &t)
ExecStatus subsumed(Space &home, Propagator &p, TaskArray< Task > &t)
Check tasks t for subsumption.
virtual Actor * copy(Space &home)
Perform copying during cloning.
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.
Gecode toplevel namespace
TaskArray< ManTask > t
Tasks.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
int size(void) const
Return size of array (number of elements)