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, 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). | |
| 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. | |
Member Function Documentation
|
|
Default constructor (array of size 0).
Definition at line 150 of file noview.icc. |
|
||||||||||||
|
Allocate array with m variables.
Definition at line 152 of file noview.icc. |
|
|
Initialize.
Definition at line 154 of file noview.icc. |
|
||||||||||||
|
Initialize.
Definition at line 156 of file noview.icc. |
|
|
Initialize.
Definition at line 158 of file noview.icc. |
|
|
Return size of array (number of elements).
Definition at line 164 of file noview.icc. |
|
|
Decrease size of array (number of elements).
Definition at line 166 of file noview.icc. |
|
|
Return view at position i.
Definition at line 172 of file noview.icc. |
|
||||||||||||||||||||
|
Subscribe propagator p with propagation condition pc to all views.
Definition at line 178 of file noview.icc. |
|
||||||||||||||||
|
Cancel subscription of propagator p with propagation condition pc to all views.
Definition at line 180 of file noview.icc. |
|
||||||||||||||||
|
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. |
|
|
Move assigned view from position 0 to position i (shift elements to the left).
Definition at line 199 of file noview.icc. |
|
|
Move assigned view from position
Definition at line 201 of file noview.icc. |
|
||||||||||||||||
|
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. |
|
||||||||||||||||
|
Move view from position Before moving, cancel subscription of propagator p with propagation condition pc to view at position i. Definition at line 213 of file noview.icc. |
|
|
Drop assigned views from positions 0 to i-1 from array.
|
|
|
Drop assigned views from positions i+1 to
|
|
||||||||||||||||
|
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. |
|
||||||||||||||||
|
Drop assigned views from positions i+1 to
Before moving, cancel subscription of propagator p with propagation condition pc to views at positions i+1 to Definition at line 234 of file noview.icc. |
|
|
Test whether array has equal views.
Definition at line 240 of file noview.icc. |
|
|
Test whether array contains view equal to y.
Definition at line 242 of file noview.icc. |
|
|
Remove all duplicate views from array (changes element order).
Definition at line 244 of file noview.icc. |
|
|
Test whether array has shared views.
Definition at line 250 of file noview.icc. |
|
|
Test whether array contains view shared with y.
Definition at line 252 of file noview.icc. |
The documentation for this class was generated from the following file:
- gecode/int/linear/noview.icc (Revision: 3559)