Cumulative (mandatory) task with fixed processing time.
More...
#include <cumulative.hh>
Protected Attributes |
int | _c |
| Required capacity.
|
Int::IntView | _s |
| Start time.
|
int | _p |
| Processing time.
|
Constructors and initialization |
| 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.
|
Value access |
int | c (void) const |
| Return required capacity.
|
double | e (void) const |
| Return required energy.
|
Additional Inherited Members |
| 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, bool share, ManFixPTask &t) |
| Update this task to be a clone of task t.
|
void | subscribe (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
| Subscribe propagator p to task.
|
void | cancel (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
| Cancel subscription of propagator p for task.
|
Detailed Description
Cumulative (mandatory) task with fixed processing time.
Definition at line 62 of file cumulative.hh.
Constructor & Destructor Documentation
ManFixPTask::ManFixPTask |
( |
void |
| ) |
|
|
inline |
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 49 of file task.hpp.
Member Function Documentation
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 52 of file task.hpp.
Initialize from task t.
Definition at line 56 of file task.hpp.
int ManFixPTask::c |
( |
void |
| ) |
const |
|
inline |
Return required capacity.
Definition at line 61 of file task.hpp.
double ManFixPTask::e |
( |
void |
| ) |
const |
|
inline |
Return required energy.
Definition at line 65 of file task.hpp.
Update this task to be a clone of task t.
Definition at line 70 of file task.hpp.
Member Data Documentation
int Gecode::Int::Cumulative::ManFixPTask::_c |
|
protected |
The documentation for this class was generated from the following files: