Gecode::Int::Unary::ManFixPSETask Class Reference
Unary (mandatory) task with fixed processing, start or end time More...
#include <unary.hh>
Protected Attributes | |
TaskType | _t |
Task type. | |
Constructors and initialization | |
| |
ManFixPSETask (void) | |
Default constructor. | |
ManFixPSETask (TaskType t, IntVar s, int p) | |
Initialize task. | |
void | init (TaskType t, IntVar s, int p) |
Initialize task. | |
void | init (const ManFixPSETask &t) |
Initialize from task t. | |
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. | |
int | pmin (void) const |
Return minimum processing time. | |
int | pmax (void) const |
Return maximum processing time. | |
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. | |
Cloning | |
| |
void | update (Space &home, ManFixPSETask &t) |
Update this task to be a clone of task t. |
Detailed Description
Unary (mandatory) task with fixed processing, start or end time
Definition at line 148 of file unary.hh.
Constructor & Destructor Documentation
ManFixPSETask::ManFixPSETask | ( | void | ) | [inline] |
Default constructor.
Reimplemented in Gecode::Int::Cumulative::ManFixPSETask.
Member Function Documentation
void ManFixPSETask::init | ( | const ManFixPSETask & | t | ) | [inline] |
int ManFixPSETask::est | ( | void | ) | const [inline] |
Return earliest start time.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
int ManFixPSETask::ect | ( | void | ) | const [inline] |
Return earliest completion time.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
int ManFixPSETask::lst | ( | void | ) | const [inline] |
Return latest start time.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
int ManFixPSETask::lct | ( | void | ) | const [inline] |
Return latest completion time.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
int ManFixPSETask::pmin | ( | void | ) | const [inline] |
Return minimum processing time.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
int ManFixPSETask::pmax | ( | void | ) | const [inline] |
Return maximum processing time.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
Update earliest start time to n.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
Update earliest completion time to n.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
Update latest start time to n.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
Update latest completion time to n.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
Update such that task cannot run from e to l.
Reimplemented from Gecode::Int::Unary::ManFixPTask.
void ManFixPSETask::update | ( | Space & | home, | |
ManFixPSETask & | t | |||
) | [inline] |
Member Data Documentation
TaskType Gecode::Int::Unary::ManFixPSETask::_t [protected] |
The documentation for this class was generated from the following files: