
Unary optional task with fixed processing, start or end time. More...
#include <unary.hh>
Related Functions | |
(Note that these are not member functions.) | |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPSETask &t) |
| Print optional task in format est:p:lct:m. More... | |
Constructors and initialization | |
| OptFixPSETask (void) | |
| Default constructor. More... | |
| OptFixPSETask (TaskType t, IntVar s, int p, BoolVar m) | |
| Initialize with start time s, processing time p, and mandatory flag m. More... | |
| void | init (TaskType t, IntVar s, int p, BoolVar m) |
| Initialize with start time s, processing time p, and mandatory flag m. More... | |
Additional Inherited Members | |
Public Member Functions inherited from Gecode::Int::ManToOptTask< ManFixPSETask > | |
| ManToOptTask (void) | |
| Default constructor. More... | |
| 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... | |
| ModEvent | mandatory (Space &home) |
| Mark task as mandatory. More... | |
| ModEvent | excluded (Space &home) |
| Mark task as excluded. More... | |
| bool | assigned (void) const |
| Test whether task is assigned. More... | |
| void | update (Space &home, bool share, ManToOptTask &t) |
| Update this task to be a clone of task t. More... | |
| 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... | |
Protected Attributes inherited from Gecode::Int::ManToOptTask< ManFixPSETask > | |
| Int::BoolView | _m |
| Boolean view whether task is mandatory (= 1) or not. More... | |
Unary optional task with fixed processing, start or end time.
|
inline |
|
related |