34namespace Gecode {
namespace Int {
namespace Unary {
36 template<
class ManTask,
class PL>
41 template<
class ManTask,
class PL>
46 template<
class ManTask,
class PL>
54 template<
class ManTask,
class PL>
60 template<
class ManTask,
class PL>
Base-class for both propagators and branchers.
Home class for posting propagators
int size(void) const
Return size of array (number of elements)
Scheduling propagator for unary resource with mandatory tasks
static ExecStatus post(Home home, TaskArray< ManTask > &t)
Post propagator that schedules tasks on unary resource.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Perform copying during cloning.
ManProp(Home home, TaskArray< ManTask > &t)
Constructor for creation.
int ModEventDelta
Modification event deltas.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
ExecStatus timetabling(Space &home, Propagator &p, TaskArray< Task > &t)
Perform time-tabling propagation.
ExecStatus overload(TaskArray< ManTask > &t)
Check mandatory tasks t for overload.
ExecStatus subsumed(Space &home, Propagator &p, TaskArray< Task > &t)
Check tasks t for subsumption.
ExecStatus detectable(Space &home, TaskArray< ManTask > &t)
Propagate detectable precedences.
ExecStatus notfirstnotlast(Space &home, TaskArray< ManTask > &t)
Propagate not-first and not-last.
ExecStatus edgefinding(Space &home, TaskArray< Task > &t)
Propagate by edge-finding.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_NOFIX
Propagation has not computed fixpoint.