Gecode::Int::Unary::ManFixPTask Class Reference
Unary (mandatory) task with fixed processing time More...
#include <unary.hh>
Protected Attributes | |
Int::IntView | _s |
Start time. | |
int | _p |
Processing time. | |
Constructors and initialization | |
| |
ManFixPTask (void) | |
Default constructor. | |
ManFixPTask (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. | |
void | init (const ManFixPTask &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. | |
IntVar | st (void) const |
Return start 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, ManFixPTask &t) |
Update this task to be a clone of task t. | |
Dependencies | |
| |
void | subscribe (Space &home, Propagator &p, PropCond pc) |
Subscribe propagator p to task. | |
void | cancel (Space &home, Propagator &p, PropCond pc) |
Cancel subscription of propagator p for task. | |
void | reschedule (Space &home, Propagator &p, PropCond pc) |
Schedule propagator p. |
Detailed Description
Unary (mandatory) task with fixed processing time
Definition at line 58 of file unary.hh.
Constructor & Destructor Documentation
ManFixPTask::ManFixPTask | ( | void | ) | [inline] |
Default constructor.
Reimplemented in Gecode::Int::Cumulative::ManFixPTask.
ManFixPTask::ManFixPTask | ( | IntVar | s, | |
int | p | |||
) | [inline] |
Member Function Documentation
void ManFixPTask::init | ( | IntVar | s, | |
int | p | |||
) | [inline] |
void ManFixPTask::init | ( | const ManFixPTask & | t | ) | [inline] |
int ManFixPTask::est | ( | void | ) | const [inline] |
Return earliest start time.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
int ManFixPTask::ect | ( | void | ) | const [inline] |
Return earliest completion time.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
int ManFixPTask::lst | ( | void | ) | const [inline] |
Return latest start time.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
int ManFixPTask::lct | ( | void | ) | const [inline] |
Return latest completion time.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
int ManFixPTask::pmin | ( | void | ) | const [inline] |
Return minimum processing time.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
int ManFixPTask::pmax | ( | void | ) | const [inline] |
Return maximum processing time.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
IntVar ManFixPTask::st | ( | void | ) | const [inline] |
bool ManFixPTask::mandatory | ( | void | ) | const [inline] |
bool ManFixPTask::excluded | ( | void | ) | const [inline] |
bool ManFixPTask::optional | ( | void | ) | const [inline] |
bool ManFixPTask::assigned | ( | void | ) | const [inline] |
Update earliest start time to n.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
Update earliest completion time to n.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
Update latest start time to n.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
Update latest completion time to n.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
Update such that task cannot run from e to l.
Reimplemented in Gecode::Int::Unary::ManFixPSETask.
void ManFixPTask::update | ( | Space & | home, | |
bool | share, | |||
ManFixPTask & | t | |||
) | [inline] |
void ManFixPTask::subscribe | ( | Space & | home, | |
Propagator & | p, | |||
PropCond | pc | |||
) | [inline] |
void ManFixPTask::cancel | ( | Space & | home, | |
Propagator & | p, | |||
PropCond | pc | |||
) | [inline] |
void ManFixPTask::reschedule | ( | Space & | home, | |
Propagator & | p, | |||
PropCond | pc | |||
) | [inline] |
Member Data Documentation
Int::IntView Gecode::Int::Unary::ManFixPTask::_s [protected] |
int Gecode::Int::Unary::ManFixPTask::_p [protected] |
The documentation for this class was generated from the following files:
- gecode/int/unary.hh (Revision: 15137)
- gecode/int/unary/task.hpp (Revision: 15137)