
Cumulative (mandatory) task with flexible processing time. More...
#include <cumulative.hh>
Protected Attributes | |
| int | _c |
| Required capacity. | |
Related Functions | |
(Note that these are not member functions.) | |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ManFlexTask &t) |
| Print task in format est:[p,c]:lct. | |
Constructors and initialization | |
| ManFlexTask (void) | |
| Default constructor. | |
| ManFlexTask (IntVar s, IntVar p, IntVar e, int c) | |
| Initialize with start time s, processing time p, end time e. | |
| void | init (IntVar s, IntVar p, IntVar e, int c) |
| Initialize with start time s, processing time p, end time e. | |
| void | init (const ManFlexTask &t) |
| Initialize from task t. | |
Value access | |
| int | c (void) const |
| Return required capacity. | |
| double | e (void) const |
| Return required energy. | |
Cloning | |
| void | update (Space &home, bool share, ManFlexTask &t) |
| Update this task to be a clone of task t. | |
Cumulative (mandatory) task with flexible processing time.
| Gecode::Int::Cumulative::ManFlexTask::ManFlexTask | ( | void | ) | [inline] |
Default constructor.
Reimplemented from Gecode::Int::Unary::ManFlexTask.
| void Gecode::Int::Cumulative::ManFlexTask::init | ( | const ManFlexTask & | t | ) | [inline] |
| int Gecode::Int::Cumulative::ManFlexTask::c | ( | void | ) | const [inline] |
| double Gecode::Int::Cumulative::ManFlexTask::e | ( | void | ) | const [inline] |
Return required energy.
Reimplemented from Gecode::Int::Unary::ManFlexTask.
| void Gecode::Int::Cumulative::ManFlexTask::update | ( | Space & | home, |
| bool | share, | ||
| ManFlexTask & | t | ||
| ) | [inline] |
| std::basic_ostream< Char, Traits > & operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const ManFlexTask & | t | ||
| ) | [related] |
int Gecode::Int::Cumulative::ManFlexTask::_c [protected] |
Required capacity.
Definition at line 161 of file cumulative.hh.