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