|
| ManFixPTask (void) |
| Default constructor. More...
|
|
| ManFixPTask (IntVar s, int p) |
| Initialize with start time s and processing time p. More...
|
|
void | init (IntVar s, int p) |
| Initialize with start time s and processing time p. More...
|
|
void | init (const ManFixPTask &t) |
| Initialize from task t. More...
|
|
int | est (void) const |
| Return earliest start time. More...
|
|
int | ect (void) const |
| Return earliest completion time. More...
|
|
int | lst (void) const |
| Return latest start time. More...
|
|
int | lct (void) const |
| Return latest completion time. More...
|
|
int | pmin (void) const |
| Return minimum processing time. More...
|
|
int | pmax (void) const |
| Return maximum processing time. More...
|
|
IntVar | st (void) const |
| Return start time. 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...
|
|
bool | assigned (void) const |
| Test whether task is assigned. More...
|
|
ModEvent | est (Space &home, int n) |
| Update earliest start time to n. More...
|
|
ModEvent | ect (Space &home, int n) |
| Update earliest completion time to n. More...
|
|
ModEvent | lst (Space &home, int n) |
| Update latest start time to n. More...
|
|
ModEvent | lct (Space &home, int n) |
| Update latest completion time to n. More...
|
|
ModEvent | norun (Space &home, int e, int l) |
| Update such that task cannot run from e to l. More...
|
|
ModEvent | mandatory (Space &home) |
| Mark task as mandatory. More...
|
|
ModEvent | excluded (Space &home) |
| Mark task as excluded. More...
|
|
void | update (Space &home, bool share, ManFixPTask &t) |
| Update this task to be a clone of task t. More...
|
|
void | subscribe (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
| Subscribe propagator p to task. More...
|
|
void | cancel (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
| Cancel subscription of propagator p for task. More...
|
|
Cumulative (mandatory) task with fixed processing time.
Definition at line 74 of file cumulative.hh.