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. | |
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. | |
Cloning | |
void | update (Space &, bool share, 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 161 of file int-noview.hpp.
Gecode::ViewArray< Int::Linear::NoView >::ViewArray | ( | void | ) | [inline] |
Default constructor (array of size 0)
Definition at line 166 of file int-noview.hpp.
Gecode::ViewArray< Int::Linear::NoView >::ViewArray | ( | Space & | home, |
int | m | ||
) | [inline] |
Allocate array with m variables.
Definition at line 168 of file int-noview.hpp.
Gecode::ViewArray< Int::Linear::NoView >::ViewArray | ( | const ViewArray< Int::Linear::NoView > & | ) | [inline] |
Initialize.
Definition at line 170 of file int-noview.hpp.
Gecode::ViewArray< Int::Linear::NoView >::ViewArray | ( | Space & | , |
const ViewArray< Int::Linear::NoView > & | |||
) | [inline] |
Initialize.
Definition at line 172 of file int-noview.hpp.
const ViewArray<Int::Linear::NoView>& Gecode::ViewArray< Int::Linear::NoView >::operator= | ( | const ViewArray< Int::Linear::NoView > & | ) | [inline] |
Initialize.
Definition at line 174 of file int-noview.hpp.
int Gecode::ViewArray< Int::Linear::NoView >::size | ( | void | ) | const [inline] |
Return size of array (number of elements)
Definition at line 180 of file int-noview.hpp.
void Gecode::ViewArray< Int::Linear::NoView >::size | ( | int | n | ) | [inline] |
Decrease size of array (number of elements)
Definition at line 182 of file int-noview.hpp.
Int::Linear::NoView Gecode::ViewArray< Int::Linear::NoView >::operator[] | ( | int | i | ) | [inline] |
Return view at position i.
Definition at line 188 of file int-noview.hpp.
void Gecode::ViewArray< Int::Linear::NoView >::subscribe | ( | Space & | , |
Propagator & | p, | ||
PropCond | pc, | ||
bool | process = true |
||
) | [inline] |
Subscribe propagator p with propagation condition pc to all views.
Definition at line 198 of file int-noview.hpp.
void Gecode::ViewArray< Int::Linear::NoView >::cancel | ( | Space & | home, |
Propagator & | p, | ||
PropCond | pc | ||
) | [inline] |
Cancel subscription of propagator p with propagation condition pc to all views.
Definition at line 202 of file int-noview.hpp.
void Gecode::ViewArray< Int::Linear::NoView >::update | ( | Space & | , |
bool | share, | ||
ViewArray< Int::Linear::NoView > & | a | ||
) | [inline] |
Update array to be a clone of array a.
If share is true, sharing is retained for all shared data structures. Otherwise, for each of them an independent copy is created.
Definition at line 216 of file int-noview.hpp.
void Gecode::ViewArray< Int::Linear::NoView >::move_fst | ( | int | i | ) | [inline] |
Move assigned view from position 0 to position i (shift elements to the left)
Definition at line 224 of file int-noview.hpp.
void Gecode::ViewArray< Int::Linear::NoView >::move_lst | ( | int | i | ) | [inline] |
Move assigned view from position size()-1
to position i (truncate array by one)
Definition at line 226 of file int-noview.hpp.