
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.