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.
|