Gecode::Scheduling::Unary::ManFixTask Class Reference
Unary (mandatory) task with fixed processing time
More...
#include <unary.hh>
List of all members.
Protected Attributes |
Int::IntView | _s |
| Start time.
|
int | _p |
| Processing time.
|
Constructors and initialization |
|
| ManFixTask (void) |
| Default constructor.
|
| ManFixTask (IntVar s, int p) |
| Initialize with start time s and processing time p.
|
void | init (IntVar s, int p) |
| Initialize with start time s and processing time p.
|
Value access |
|
int | est (void) const |
| Return earliest start time.
|
int | ect (void) const |
| Return earliest completion time.
|
int | lst (void) const |
| Return latest start time.
|
int | lct (void) const |
| Return latest completion time.
|
IntVar | st (void) const |
| Return start time.
|
int | p (void) const |
| Return processing time.
|
bool | mandatory (void) const |
| Whether task is mandatory.
|
bool | excluded (void) const |
| Whether task is excluded.
|
bool | optional (void) const |
| Whether task can still be optional.
|
Domain tests |
|
bool | assigned (void) const |
| Test whether task is assigned.
|
Value update |
|
ModEvent | est (Space &home, int n) |
| Update earliest start time to n.
|
ModEvent | ect (Space &home, int n) |
| Update earliest completion time to n.
|
ModEvent | lst (Space &home, int n) |
| Update latest start time to n.
|
ModEvent | lct (Space &home, int n) |
| Update latest completion time to n.
|
ModEvent | norun (Space &home, int e, int l) |
| Update such that task cannot run from e to l.
|
ModEvent | mandatory (Space &home) |
| Mark task as mandatory.
|
ModEvent | excluded (Space &home) |
| Mark task as excluded.
|
Cloning |
|
void | update (Space &home, bool share, ManFixTask &t) |
| Update this task to be a clone of task t.
|
Dependencies |
|
void | subscribe (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
| Subscribe propagator p to task.
|
void | cancel (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
| Cancel subscription of propagator p for task.
|
Detailed Description
Unary (mandatory) task with fixed processing time
Definition at line 56 of file unary.hh.
Constructor & Destructor Documentation
ManFixTask::ManFixTask |
( |
void |
|
) |
[inline] |
Default constructor.
Definition at line 45 of file task.hpp.
ManFixTask::ManFixTask |
( |
IntVar |
s, |
|
|
int |
p | |
|
) |
| | [inline] |
Initialize with start time s and processing time p.
Definition at line 47 of file task.hpp.
Member Function Documentation
void ManFixTask::init |
( |
IntVar |
s, |
|
|
int |
p | |
|
) |
| | [inline] |
Initialize with start time s and processing time p.
Definition at line 49 of file task.hpp.
int ManFixTask::est |
( |
void |
|
) |
const [inline] |
Return earliest start time.
Definition at line 54 of file task.hpp.
int ManFixTask::ect |
( |
void |
|
) |
const [inline] |
Return earliest completion time.
Definition at line 58 of file task.hpp.
int ManFixTask::lst |
( |
void |
|
) |
const [inline] |
Return latest start time.
Definition at line 62 of file task.hpp.
int ManFixTask::lct |
( |
void |
|
) |
const [inline] |
Return latest completion time.
Definition at line 66 of file task.hpp.
IntVar ManFixTask::st |
( |
void |
|
) |
const [inline] |
Return start time.
Definition at line 70 of file task.hpp.
int ManFixTask::p |
( |
void |
|
) |
const [inline] |
Return processing time.
Definition at line 74 of file task.hpp.
bool ManFixTask::mandatory |
( |
void |
|
) |
const [inline] |
Whether task is mandatory.
Definition at line 79 of file task.hpp.
bool ManFixTask::excluded |
( |
void |
|
) |
const [inline] |
Whether task is excluded.
Definition at line 83 of file task.hpp.
bool ManFixTask::optional |
( |
void |
|
) |
const [inline] |
Whether task can still be optional.
Definition at line 87 of file task.hpp.
bool ManFixTask::assigned |
( |
void |
|
) |
const [inline] |
Test whether task is assigned.
Definition at line 92 of file task.hpp.
Update earliest start time to n.
Definition at line 97 of file task.hpp.
Update earliest completion time to n.
Definition at line 101 of file task.hpp.
Update latest start time to n.
Definition at line 105 of file task.hpp.
Update latest completion time to n.
Definition at line 109 of file task.hpp.
ModEvent ManFixTask::norun |
( |
Space & |
home, |
|
|
int |
e, |
|
|
int |
l | |
|
) |
| | [inline] |
Update such that task cannot run from e to l.
Definition at line 113 of file task.hpp.
Mark task as mandatory.
Definition at line 121 of file task.hpp.
Mark task as excluded.
Definition at line 125 of file task.hpp.
void ManFixTask::update |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
ManFixTask & |
t | |
|
) |
| | [inline] |
Update this task to be a clone of task t.
Definition at line 130 of file task.hpp.
Subscribe propagator p to task.
Definition at line 135 of file task.hpp.
Cancel subscription of propagator p for task.
Definition at line 139 of file task.hpp.
Member Data Documentation
Start time.
Definition at line 59 of file unary.hh.
Processing time.
Definition at line 61 of file unary.hh.
The documentation for this class was generated from the following files: