40 namespace Gecode {
namespace Int {
namespace Unary {
42 template<
class OptTask,
class PL>
47 template<
class OptTask,
class PL>
53 template<
class OptTask,
class PL>
57 for (
int i=
t.size();
i--; ) {
74 template<
class OptTask,
class PL>
80 template<
class OptTask,
class PL>
100 while ((
i <
n) &&
t[
i].mandatory())
i++;
101 while ((j >= 0) && !
t[j].mandatory()) j--;
ExecStatus timetabling(Space &home, Propagator &p, TaskArray< Task > &t)
Perform time-tabling propagation.
Scheduling propagator for unary resource with mandatory tasks
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.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ExecStatus subsumed(Space &home, Propagator &p, TaskArray< Task > &t)
Check tasks t for subsumption.
Scheduling propagator for unary resource with optional tasks
static ExecStatus post(Home home, TaskArray< OptTask > &t)
Post propagator that schedules tasks on unary resource.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
virtual Actor * copy(Space &home, bool share)
Perform copying during cloning.
OptProp(Home home, TaskArray< OptTask > &t)
Constructor for creation.
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
bool optional(const BoolVarArgs &m)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.
const Gecode::ModEvent ME_BOOL_VAL
Domain operation has resulted in a value (assigned variable)