View array for no view (empty) More...
#include <int-noview.hpp>
Constructors and initialization | |
ViewArray (void) | |
Default constructor (array of size 0) | |
ViewArray (Space &home, int m) | |
Allocate array with m variables. | |
ViewArray (const ViewArray< Int::Linear::NoView > &) | |
Initialize. | |
ViewArray (Space &, const ViewArray< Int::Linear::NoView > &) | |
Initialize. | |
const ViewArray< Int::Linear::NoView > & | operator= (const ViewArray< Int::Linear::NoView > &) |
Initialize. | |
Array size | |
int | size (void) const |
Return size of array (number of elements) | |
void | size (int n) |
Decrease size of array (number of elements) | |
Array elements | |
Int::Linear::NoView | operator[] (int i) |
Return view at position i. | |
const Int::Linear::NoView | operator[] (int i) const |
Return view at position i. | |
Dependencies | |
void | subscribe (Space &, Propagator &p, PropCond pc, bool process=true) |
Subscribe propagator p with propagation condition pc to all views. | |
void | cancel (Space &home, Propagator &p, PropCond pc) |
Cancel subscription of propagator p with propagation condition pc to all views. | |
void | reschedule (Space &home, Propagator &p, PropCond pc) |
Schedule propagator p. | |
Cloning | |
void | update (Space &home, ViewArray< Int::Linear::NoView > &a) |
Update array to be a clone of array a. | |
Moving elements | |
void | move_fst (int i) |
Move assigned view from position 0 to position i (shift elements to the left) | |
void | move_lst (int i) |
Move assigned view from position size()-1 to position i (truncate array by one) | |
View array for no view (empty)
Definition at line 165 of file int-noview.hpp.
|
inline |
Default constructor (array of size 0)
Definition at line 170 of file int-noview.hpp.
|
inline |
Allocate array with m variables.
Definition at line 172 of file int-noview.hpp.
|
inline |
Initialize.
Definition at line 174 of file int-noview.hpp.
|
inline |
Initialize.
Definition at line 176 of file int-noview.hpp.
|
inline |
Initialize.
Definition at line 178 of file int-noview.hpp.
|
inline |
Return size of array (number of elements)
Definition at line 184 of file int-noview.hpp.
|
inline |
Decrease size of array (number of elements)
Definition at line 186 of file int-noview.hpp.
|
inline |
Return view at position i.
Definition at line 192 of file int-noview.hpp.
|
inline |
Return view at position i.
Definition at line 198 of file int-noview.hpp.
|
inline |
Subscribe propagator p with propagation condition pc to all views.
Definition at line 208 of file int-noview.hpp.
|
inline |
Cancel subscription of propagator p with propagation condition pc to all views.
Definition at line 212 of file int-noview.hpp.
|
inline |
Schedule propagator p.
Definition at line 216 of file int-noview.hpp.
|
inline |
Update array to be a clone of array a.
Definition at line 224 of file int-noview.hpp.
|
inline |
Move assigned view from position 0 to position i (shift elements to the left)
Definition at line 232 of file int-noview.hpp.
|
inline |
Move assigned view from position size()-1
to position i (truncate array by one)
Definition at line 234 of file int-noview.hpp.