38 namespace Gecode {
namespace Int {
40 template<
class ManTask>
44 template<
class ManTask>
49 template<
class ManTask>
54 template<
class ManTask>
60 template<
class ManTask>
66 template<
class ManTask>
71 template<
class ManTask>
77 template<
class ManTask>
81 ManTask::update(home, share, t);
82 _m.update(home,share,t.
_m);
85 template<
class ManTask>
91 template<
class ManTask>
void cancel(Space &home, Propagator &p, IntSet &y)
void subscribe(Space &home, Propagator &p, PropCond pc)
Subscribe propagator p to task.
int ModEvent
Type for modification events.
Base-class for propagators.
int p
Number of positive literals for node type.
bool assigned(void) const
Test whether task is assigned.
int PropCond
Type for propagation conditions.
void subscribe(Space &home, Propagator &p, IntSet &y)
bool optional(void) const
Whether task can still be optional.
ManToOptTask(void)
Default constructor.
Class to define an optional from a mandatory task.
bool assigned(View x, int v)
Whether x is assigned to value v.
bool excluded(void) const
Whether task is excluded.
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p for task.
Int::BoolView _m
Boolean view whether task is mandatory (= 1) or not.
Gecode toplevel namespace
void update(Space &home, bool share, ManToOptTask &t)
Update this task to be a clone of task t.
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
bool mandatory(void) const
Whether task is mandatory.