Unary (mandatory) task with fixed processing, start or end time
More...
#include <unary.hh>
|
| 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.
|
|
| | 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.
|
| 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.
|
| bool | assigned (void) const |
| | Test whether task is assigned.
|
| 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.
|
| void | update (Space &home, ManFixPTask &t) |
| | Update this task to be a clone of task t.
|
| 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.
|
Unary (mandatory) task with fixed processing, start or end time
Definition at line 148 of file unary.hh.
◆ ManFixPSETask() [1/2]
| ManFixPSETask::ManFixPSETask |
( |
void | | ) |
|
|
inline |
Default constructor.
Definition at line 170 of file task.hpp.
◆ ManFixPSETask() [2/2]
Initialize task.
Depending on t, s is either the end time (if t is TT_FIXS) or the start time of the task, and p is the fixed parameter.
Definition at line 172 of file task.hpp.
◆ init() [1/2]
Initialize task.
Depending on t, s is either the end time (if t is FIXS) or the start time of the task, and p is the fixed parameter.
Definition at line 175 of file task.hpp.
◆ init() [2/2]
Initialize from task t.
Definition at line 179 of file task.hpp.
◆ est() [1/2]
| int ManFixPSETask::est |
( |
void | | ) |
const |
|
inline |
Return earliest start time.
Definition at line 184 of file task.hpp.
◆ ect() [1/2]
| int ManFixPSETask::ect |
( |
void | | ) |
const |
|
inline |
Return earliest completion time.
Definition at line 188 of file task.hpp.
◆ lst() [1/2]
| int ManFixPSETask::lst |
( |
void | | ) |
const |
|
inline |
Return latest start time.
Definition at line 198 of file task.hpp.
◆ lct() [1/2]
| int ManFixPSETask::lct |
( |
void | | ) |
const |
|
inline |
Return latest completion time.
Definition at line 202 of file task.hpp.
◆ pmin()
| int ManFixPSETask::pmin |
( |
void | | ) |
const |
|
inline |
Return minimum processing time.
Definition at line 212 of file task.hpp.
◆ pmax()
| int ManFixPSETask::pmax |
( |
void | | ) |
const |
|
inline |
Return maximum processing time.
Definition at line 222 of file task.hpp.
◆ est() [2/2]
Update earliest start time to n.
Definition at line 233 of file task.hpp.
◆ ect() [2/2]
Update earliest completion time to n.
Definition at line 243 of file task.hpp.
◆ lst() [2/2]
Update latest start time to n.
Definition at line 253 of file task.hpp.
◆ lct() [2/2]
Update latest completion time to n.
Definition at line 263 of file task.hpp.
◆ norun()
Update such that task cannot run from e to l.
Definition at line 273 of file task.hpp.
◆ update()
Update this task to be a clone of task t.
Definition at line 299 of file task.hpp.
◆ _t
| TaskType Gecode::Int::Unary::ManFixPSETask::_t |
|
protected |
The documentation for this class was generated from the following files: