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. More... | |
Constructors and initialization | |
ManToOptTask (void) | |
Default constructor. More... | |
Value access | |
bool | mandatory (void) const |
Whether task is mandatory. More... | |
bool | excluded (void) const |
Whether task is excluded. More... | |
bool | optional (void) const |
Whether task can still be optional. More... | |
bool | assigned (void) const |
Test whether task is assigned. More... | |
Value update | |
ModEvent | mandatory (Space &home) |
Mark task as mandatory. More... | |
ModEvent | excluded (Space &home) |
Mark task as excluded. More... | |
Cloning | |
void | update (Space &home, bool share, ManToOptTask &t) |
Update this task to be a clone of task t. More... | |
Dependencies | |
void | subscribe (Space &home, Propagator &p, PropCond pc) |
Subscribe propagator p to task. More... | |
void | cancel (Space &home, Propagator &p, PropCond pc) |
Cancel subscription of propagator p for task. More... | |
Class to define an optional from a mandatory task.
|
inline |
Default constructor.
Definition at line 42 of file man-to-opt.hpp.
|
inline |
Whether task is mandatory.
Definition at line 46 of file man-to-opt.hpp.
|
inline |
Whether task is excluded.
Definition at line 51 of file man-to-opt.hpp.
|
inline |
Whether task can still be optional.
Definition at line 56 of file man-to-opt.hpp.
|
inline |
Test whether task is assigned.
Definition at line 62 of file man-to-opt.hpp.
|
inline |
Mark task as mandatory.
Definition at line 68 of file man-to-opt.hpp.
|
inline |
Mark task as excluded.
Definition at line 73 of file man-to-opt.hpp.
|
inline |
Update this task to be a clone of task t.
Definition at line 79 of file man-to-opt.hpp.
|
inline |
Subscribe propagator p to task.
Definition at line 87 of file man-to-opt.hpp.
|
inline |
Cancel subscription of propagator p for task.
Definition at line 93 of file man-to-opt.hpp.
|
protected |