Unary optional task with fixed processing 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 OptFixPTask &t) |
Print optional task in format est:p:lct:m. More... | |
Constructors and initialization | |
OptFixPTask (void) | |
Default constructor. More... | |
OptFixPTask (IntVar s, int p, BoolVar m) | |
Initialize with start time s, processing time p, and mandatory flag m. More... | |
void | init (IntVar s, int p, BoolVar m) |
Initialize with start time s, processing time p, and mandatory flag m. More... | |
Additional Inherited Members | |
![]() | |
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... | |
![]() | |
Int::BoolView | _m |
Boolean view whether task is mandatory (= 1) or not. More... | |
|
inline |
|
related |