Gecode::ViewArray< Int::Linear::NoView > Class Template Reference
List of all members.Detailed Description
template<>
class Gecode::ViewArray< Int::Linear::NoView >
View array for no view (empty).
Definition at line 145 of file noview.icc.
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) |
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). | |
void | move_fst (int i, Propagator *p, PropCond pc) |
Move view from position 0 to position i (shift elements to the left). | |
void | move_lst (int i, Propagator *p, PropCond pc) |
Move view from position size()-1 to position i (truncate array by one). | |
Dropping elements | |
void | drop_fst (int i) |
Drop assigned views from positions 0 to i-1 from array. | |
void | drop_lst (int i) |
Drop assigned views from positions i+1 to size()-1 from array. | |
void | drop_fst (int i, Propagator *p, PropCond pc) |
Drop views from positions 0 to i-1 from array. | |
void | drop_lst (int i, Propagator *p, PropCond pc) |
Drop assigned views from positions i+1 to size()-1 from array. | |
View equality | |
bool | equal (void) const |
Test whether array has equal views. | |
bool | equal (const Int::Linear::NoView &y) const |
Test whether array contains view equal to y. | |
void | unique (void) |
Remove all duplicate views from array (changes element order). | |
View sharing | |
bool | shared (void) const |
Test whether array has shared views. | |
bool | shared (const Int::Linear::NoView &y) const |
Test whether array contains view shared with y. |
Constructor & Destructor Documentation
Gecode::ViewArray< Int::Linear::NoView >::ViewArray | ( | void | ) | [inline] |
Gecode::ViewArray< Int::Linear::NoView >::ViewArray | ( | Space * | home, | |
int | m | |||
) | [inline] |
Gecode::ViewArray< Int::Linear::NoView >::ViewArray | ( | const ViewArray< Int::Linear::NoView > & | ) | [inline] |
Gecode::ViewArray< Int::Linear::NoView >::ViewArray | ( | Space * | , | |
const ViewArray< Int::Linear::NoView > & | ||||
) | [inline] |
Member Function Documentation
const ViewArray<Int::Linear::NoView>& Gecode::ViewArray< Int::Linear::NoView >::operator= | ( | const ViewArray< Int::Linear::NoView > & | ) | [inline] |
int Gecode::ViewArray< Int::Linear::NoView >::size | ( | void | ) | const [inline] |
void Gecode::ViewArray< Int::Linear::NoView >::size | ( | int | n | ) | [inline] |
Int::Linear::NoView Gecode::ViewArray< Int::Linear::NoView >::operator[] | ( | int | i | ) | [inline] |
void Gecode::ViewArray< Int::Linear::NoView >::subscribe | ( | Space * | , | |
Propagator * | p, | |||
PropCond | pc | |||
) | [inline] |
Subscribe propagator p with propagation condition pc to all views.
Definition at line 178 of file noview.icc.
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 180 of file noview.icc.
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 192 of file noview.icc.
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 199 of file noview.icc.
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 201 of file noview.icc.
void Gecode::ViewArray< Int::Linear::NoView >::move_fst | ( | int | i, | |
Propagator * | p, | |||
PropCond | pc | |||
) | [inline] |
Move view from position 0 to position i (shift elements to the left).
Before moving, cancel subscription of propagator p with propagation condition pc to view at position i.
Definition at line 207 of file noview.icc.
void Gecode::ViewArray< Int::Linear::NoView >::move_lst | ( | int | i, | |
Propagator * | p, | |||
PropCond | pc | |||
) | [inline] |
Move view from position size()-1
to position i (truncate array by one).
Before moving, cancel subscription of propagator p with propagation condition pc to view at position i.
Definition at line 213 of file noview.icc.
void Gecode::ViewArray< Int::Linear::NoView >::drop_fst | ( | int | i | ) |
Drop assigned views from positions 0 to i-1 from array.
void Gecode::ViewArray< Int::Linear::NoView >::drop_lst | ( | int | i | ) |
Drop assigned views from positions i+1 to size()-1
from array.
void Gecode::ViewArray< Int::Linear::NoView >::drop_fst | ( | int | i, | |
Propagator * | p, | |||
PropCond | pc | |||
) | [inline] |
Drop views from positions 0 to i-1 from array.
Before moving, cancel subscription of propagator p with propagation condition pc to views at positions 0 to i-1.
Definition at line 227 of file noview.icc.
void Gecode::ViewArray< Int::Linear::NoView >::drop_lst | ( | int | i, | |
Propagator * | p, | |||
PropCond | pc | |||
) | [inline] |
Drop assigned views from positions i+1 to size()-1
from array.
Before moving, cancel subscription of propagator p with propagation condition pc to views at positions i+1 to size()-1
.
Definition at line 234 of file noview.icc.
bool Gecode::ViewArray< Int::Linear::NoView >::equal | ( | void | ) | const [inline] |
bool Gecode::ViewArray< Int::Linear::NoView >::equal | ( | const Int::Linear::NoView & | y | ) | const [inline] |
void Gecode::ViewArray< Int::Linear::NoView >::unique | ( | void | ) | [inline] |
Remove all duplicate views from array (changes element order).
Definition at line 244 of file noview.icc.
bool Gecode::ViewArray< Int::Linear::NoView >::shared | ( | void | ) | const [inline] |
bool Gecode::ViewArray< Int::Linear::NoView >::shared | ( | const Int::Linear::NoView & | y | ) | const [inline] |
The documentation for this class was generated from the following file:
- gecode/int/linear/noview.icc (Revision: 3236)