An array of IdxView pairs. More...
#include <idx-view.hh>
Public Member Functions | |
IdxViewArray (void) | |
Default constructor. | |
IdxViewArray (const IdxViewArray< View > &) | |
Copy constructor. | |
IdxViewArray (Space &home, const typename ViewToVarArg< View >::argtype &x) | |
Construct an IdxViewArray from x. | |
IdxViewArray (Space &home, int n) | |
Construct an IdxViewArray of size n. | |
int | size (void) const |
Return the current size. | |
void | size (int n) |
Set the size to n. | |
IdxView< View > & | operator[] (int n) |
Access element n. | |
const IdxView< View > & | operator[] (int) const |
Access element n. | |
void | subscribe (Space &home, Propagator &p, PropCond pc, bool process=true) |
void | cancel (Space &home, Propagator &p, PropCond pc) |
void | reschedule (Space &home, Propagator &p, PropCond pc) |
Schedule propagator p. | |
void | update (Space &home, IdxViewArray< View > &x) |
Cloning. |
Related Symbols | |
(Note that these are not member symbols.) | |
template<class Char, class Traits, class View> | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const IdxViewArray< View > &x) |
Print array elements enclosed in curly brackets. |
An array of IdxView pairs.
Definition at line 67 of file idx-view.hh.
|
inline |
Default constructor.
Definition at line 73 of file idx-view.hpp.
|
inline |
Copy constructor.
Definition at line 77 of file idx-view.hpp.
|
inline |
Construct an IdxViewArray from x.
Definition at line 83 of file idx-view.hpp.
|
inline |
Construct an IdxViewArray of size n.
Definition at line 96 of file idx-view.hpp.
|
inline |
Return the current size.
Definition at line 105 of file idx-view.hpp.
|
inline |
Set the size to n.
Definition at line 111 of file idx-view.hpp.
|
inline |
Access element n.
Definition at line 117 of file idx-view.hpp.
|
inline |
Access element n.
Definition at line 124 of file idx-view.hpp.
|
inline |
Subscribe propagator p with propagation condition pc to all elements of the array.
Definition at line 131 of file idx-view.hpp.
|
inline |
Cancel subscription of propagator p with propagation condition pc for all elements of the array.
Definition at line 139 of file idx-view.hpp.
|
inline |
Schedule propagator p.
Definition at line 146 of file idx-view.hpp.
|
inline |
Cloning.
Definition at line 153 of file idx-view.hpp.
|
Print array elements enclosed in curly brackets.
Definition at line 153 of file idx-view.hpp.