38 namespace Gecode {
namespace Int {
namespace Unary {
40 template<
class ManTask>
45 template<
class ManTask>
51 template<
class ManTask>
59 template<
class ManTask>
65 template<
class ManTask>
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ManProp(Home home, TaskArray< ManTask > &t)
Constructor for creation.
Scheduling propagator for unary resource with mandatory tasks
virtual Actor * copy(Space &home, bool share)
Perform copying during cloning.
ExecStatus notfirstnotlast(Space &home, TaskArray< ManTask > &t)
Propagate not-first and not-last.
Base-class for both propagators and branchers.
#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.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
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.
int size(void) const
Return size of array (number of elements)
ExecStatus edgefinding(Space &home, TaskViewArray< TaskView > &t)
Propagation has not computed fixpoint.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
static ExecStatus post(Home home, TaskArray< ManTask > &t)
Post propagator that schedules tasks on unary resource.
int ModEventDelta
Modification event deltas.
Home class for posting propagators