#include <task.hh>
Related Symbols | |
(Note that these are not member symbols.) | |
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. | |
void | reschedule (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND) |
Schedule propagator p. |
Cloning | |
void | update (Space &, TaskArray &a) |
Update array to be a clone of array a. |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |