Related Functions |
(Note that these are not member functions.)
|
| template<class Char , class Traits , class Task > |
std::basic_ostream< Char,
Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const TaskArray< Task > &t) |
| | Print array elements enclosed in curly brackets.
|
Constructors and initialization |
| | TaskArray (void) |
| | Default constructor (array of size 0)
|
| | TaskArray (Space &home, int n) |
| | Allocate memory for n tasks (no initialization)
|
| | TaskArray (const TaskArray< Task > &a) |
| | Initialize from task array a (share elements)
|
| const TaskArray< Task > & | operator= (const TaskArray< Task > &a) |
| | Initialize from task array a (share elements)
|
Array size |
| int | size (void) const |
| | Return size of array (number of elements)
|
| void | size (int n) |
| | Set size of array (number of elements) to n, must not be larger.
|
Array elements |
| Task & | operator[] (int i) |
| | Return task at position i.
|
| const Task & | operator[] (int i) const |
| | Return task at position i.
|
Dependencies |
| void | subscribe (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
| | Subscribe propagator p to all tasks.
|
| void | cancel (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
| | Cancel subscription of propagator p for all tasks.
|
Cloning |
| void | update (Space &, bool share, TaskArray &a) |
| | Update array to be a clone of array a.
|
template<class Task>
class Gecode::Int::TaskArray< Task >
Task array.
Definition at line 167 of file task.hh.