Cumulative (mandatory) task with fixed processing time.
More...
#include <cumulative.hh>
|
| ManFixPTask (void) |
| Default constructor.
|
| ManFixPTask (IntVar s, int p, int c) |
| Initialize task with start time s, processing time p, and required resource c.
|
void | init (IntVar s, int p, int c) |
| Initialize task with start time s, processing time p, and required resource c.
|
void | init (const ManFixPTask &t) |
| Initialize from task t.
|
|
int | c (void) const |
| Return required capacity.
|
long long int | e (void) const |
| Return required energy.
|
|
| 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.
|
Cumulative (mandatory) task with fixed processing time.
Definition at line 70 of file cumulative.hh.
◆ ManFixPTask() [1/2]
ManFixPTask::ManFixPTask |
( |
void | | ) |
|
|
inline |
Default constructor.
Definition at line 43 of file task.hpp.
◆ ManFixPTask() [2/2]
ManFixPTask::ManFixPTask |
( |
IntVar | s, |
|
|
int | p, |
|
|
int | c ) |
|
inline |
Initialize task with start time s, processing time p, and required resource c.
Definition at line 45 of file task.hpp.
◆ init() [1/2]
void ManFixPTask::init |
( |
IntVar | s, |
|
|
int | p, |
|
|
int | c ) |
|
inline |
Initialize task with start time s, processing time p, and required resource c.
Definition at line 48 of file task.hpp.
◆ init() [2/2]
Initialize from task t.
Definition at line 52 of file task.hpp.
◆ c()
int ManFixPTask::c |
( |
void | | ) |
const |
|
inline |
Return required capacity.
Definition at line 57 of file task.hpp.
◆ e()
long long int ManFixPTask::e |
( |
void | | ) |
const |
|
inline |
Return required energy.
Definition at line 61 of file task.hpp.
◆ update()
Update this task to be a clone of task t.
Definition at line 66 of file task.hpp.
◆ _c
int Gecode::Int::Cumulative::ManFixPTask::_c |
|
protected |
The documentation for this class was generated from the following files: