36 template<
class ManTask>
40 template<
class ManTask>
45 template<
class ManTask>
50 template<
class ManTask>
56 template<
class ManTask>
59 return ManTask::assigned() &&
_m.assigned();
62 template<
class ManTask>
67 template<
class ManTask>
73 template<
class ManTask>
76 ManTask::update(home, t);
80 template<
class ManTask>
83 ManTask::subscribe(home, p, pc);
86 template<
class ManTask>
90 ManTask::cancel(home, p, pc);
93 template<
class ManTask>
97 ManTask::reschedule(home, p, pc);
Int::BoolView _m
Boolean view whether task is mandatory (= 1) or not.
bool assigned(void) const
Test whether task is assigned.
bool mandatory(void) const
Whether task is mandatory.
ManToOptTask(void)
Default constructor.
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p for task.
void update(Space &home, ManToOptTask &t)
Update this task to be a clone of task t.
bool optional(void) const
Whether task can still be optional.
bool excluded(void) const
Whether task is excluded.
void subscribe(Space &home, Propagator &p, PropCond pc)
Subscribe propagator p to task.
void reschedule(Space &home, Propagator &p, PropCond pc)
Schedule propagator p.
Base-class for propagators.
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Gecode toplevel namespace
int PropCond
Type for propagation conditions.
int ModEvent
Type for modification events.