Class to define an optional from a mandatory task. More...
#include <task.hh>
Protected Attributes | |
Int::BoolView | _m |
Boolean view whether task is mandatory (= 1) or not. | |
Constructors and initialization | |
ManToOptTask (void) | |
Default constructor. | |
Value access | |
bool | mandatory (void) const |
Whether task is mandatory. | |
bool | excluded (void) const |
Whether task is excluded. | |
bool | optional (void) const |
Whether task can still be optional. | |
bool | assigned (void) const |
Test whether task is assigned. | |
Value update | |
ModEvent | mandatory (Space &home) |
Mark task as mandatory. | |
ModEvent | excluded (Space &home) |
Mark task as excluded. | |
Cloning | |
void | update (Space &home, ManToOptTask &t) |
Update this task to be a clone of task t. | |
Dependencies | |
void | subscribe (Space &home, Propagator &p, PropCond pc) |
Subscribe propagator p to task. | |
void | cancel (Space &home, Propagator &p, PropCond pc) |
Cancel subscription of propagator p for task. | |
void | reschedule (Space &home, Propagator &p, PropCond pc) |
Schedule propagator p. | |
Class to define an optional from a mandatory task.
|
inline |
Default constructor.
Definition at line 38 of file man-to-opt.hpp.
|
inline |
Whether task is mandatory.
Definition at line 42 of file man-to-opt.hpp.
|
inline |
Whether task is excluded.
Definition at line 47 of file man-to-opt.hpp.
|
inline |
Whether task can still be optional.
Definition at line 52 of file man-to-opt.hpp.
|
inline |
Test whether task is assigned.
Definition at line 58 of file man-to-opt.hpp.
|
inline |
Mark task as mandatory.
Definition at line 64 of file man-to-opt.hpp.
|
inline |
Mark task as excluded.
Definition at line 69 of file man-to-opt.hpp.
|
inline |
Update this task to be a clone of task t.
Definition at line 75 of file man-to-opt.hpp.
|
inline |
Subscribe propagator p to task.
Definition at line 82 of file man-to-opt.hpp.
|
inline |
Cancel subscription of propagator p for task.
Definition at line 88 of file man-to-opt.hpp.
|
inline |
Schedule propagator p.
Definition at line 95 of file man-to-opt.hpp.
|
protected |