
Unary (mandatory) task with flexible processing time More...
#include <unary.hh>
Protected Attributes | |
| Int::IntView | _s |
| Start time. More... | |
| Int::IntView | _p |
| Processing time. More... | |
| Int::IntView | _e |
| End time. More... | |
Constructors and initialization | |
| ManFlexTask (void) | |
| Default constructor. More... | |
| ManFlexTask (IntVar s, IntVar p, IntVar e) | |
| Initialize with start time s, processing time p, end time e. More... | |
| void | init (IntVar s, IntVar p, IntVar e) |
| Initialize with start time s, processing time p, end time e. More... | |
| void | init (const ManFlexTask &t) |
| Initialize from task t. More... | |
Value access | |
| 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... | |
| IntVar | p (void) const |
| Return processing time. More... | |
| IntVar | e (void) const |
| Return end 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... | |
Domain tests | |
| bool | assigned (void) const |
| Test whether task is assigned. More... | |
Value update | |
| 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... | |
Cloning | |
| void | update (Space &home, bool share, ManFlexTask &t) |
| Update this task to be a clone of task t. More... | |
Dependencies | |
| 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... | |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
|
protected |
|
protected |