34namespace Gecode {
namespace Int {
36 template<
class ManTask>
40 template<
class ManTask>
45 template<
class ManTask>
50 template<
class ManTask>
56 template<
class ManTask>
62 template<
class ManTask>
67 template<
class ManTask>
73 template<
class ManTask>
80 template<
class ManTask>
86 template<
class ManTask>
93 template<
class ManTask>
int p
Number of positive literals for node type.
Class to define an optional from a mandatory task.
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.
void cancel(Space &home, Propagator &p, VY y)
Cancel propagator p for view y.
void update(VY &y, Space &home, bool shared, VY py)
Update view y from py.
void subscribe(Space &home, Propagator &p, VY y)
Subscribe propagator p to view y.
void reschedule(Space &home, Propagator &p, VY y)
Schedule propagator p for view y.
bool assigned(View x, int v)
Whether x is assigned to value v.
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.