Unary (mandatory) task with fixed processing, start or end time More...
#include <unary.hh>
Protected Attributes | |
TaskType | _t |
Task type. More... | |
![]() | |
Int::IntView | _s |
Start time. More... | |
int | _p |
Processing time. More... | |
Constructors and initialization | |
ManFixPSETask (void) | |
Default constructor. More... | |
ManFixPSETask (TaskType t, IntVar s, int p) | |
Initialize task. More... | |
void | init (TaskType t, IntVar s, int p) |
Initialize task. More... | |
void | init (const ManFixPSETask &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... | |
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... | |
Cloning | |
void | update (Space &home, bool share, ManFixPSETask &t) |
Update this task to be a clone of task t. More... | |
Unary (mandatory) task with fixed processing, start or end time
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |