Cumulative (mandatory) task with fixed processing, start or end time.
More...
#include <cumulative.hh>
List of all members.
Value access |
int | c (void) const |
| Return required capacity.
|
double | e (void) const |
| Return required energy.
|
Additional Inherited Members |
| 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.
|
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.
|
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.
|
void | update (Space &home, bool share, ManFixPSETask &t) |
| Update this task to be a clone of task t.
|
Detailed Description
Cumulative (mandatory) task with fixed processing, start or end time.
Definition at line 104 of file cumulative.hh.
Constructor & Destructor Documentation
ManFixPSETask::ManFixPSETask |
( |
void |
| ) |
|
|
inline |
Initialize task.
Depending on t, s is either the end time (if t is FIXS) or the start time of the task, p is the fixed parameter, and c is the required capacity.
Definition at line 90 of file task.hpp.
Member Function Documentation
Initialize task.
Depending on t, s is either the end time (if t is FIXS) or the start time of the task, p is the fixed parameter, and c is the required capacity.
Definition at line 93 of file task.hpp.
Initialize from task t.
Definition at line 97 of file task.hpp.
int ManFixPSETask::c |
( |
void |
| ) |
const |
|
inline |
Return required capacity.
Definition at line 102 of file task.hpp.
double ManFixPSETask::e |
( |
void |
| ) |
const |
|
inline |
Return required energy.
Definition at line 106 of file task.hpp.
Update this task to be a clone of task t.
Definition at line 111 of file task.hpp.
Member Data Documentation
int Gecode::Int::Cumulative::ManFixPSETask::_c |
|
protected |
The documentation for this class was generated from the following files: