View array for no view (empty)
More...
#include <int-noview.hpp>
|
(Note that these are not member symbols.)
|
bool | shared (ViewArray< ViewX > x, ViewArray< ViewY > y) |
| Test whether array x together with array y contains shared views.
|
|
bool | shared (ViewArray< ViewX > x, ViewY y) |
| Test whether array x contains a view shared with y.
|
|
bool | shared (ViewX x, ViewArray< ViewY > y) |
| Test whether array y contains a view shared with x.
|
|
bool | shared (ViewArray< Int::Linear::NoView > x) |
| Test whether array x contains shared views.
|
|
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ViewArray< Int::Linear::NoView > &x) |
| Print array elements enclosed in curly brackets.
|
|
bool | shared (ViewArray< ViewX > x, ViewArray< ViewY > y) |
| Test whether array x together with array y contains shared views.
|
|
bool | shared (ViewArray< ViewX > x, ViewY y) |
| Test whether array x contains a view shared with y.
|
|
bool | shared (ViewX x, ViewArray< ViewY > y) |
| Test whether array y contains a view shared with x.
|
|
bool | shared (ViewArray< Int::Linear::NoView > x) |
| Test whether array x contains shared views.
|
|
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ViewArray< Int::Linear::NoView > &x) |
| Print array elements enclosed in curly brackets.
|
|
|
int | size (void) const |
| Return size of array (number of elements)
|
|
void | size (int n) |
| Decrease size of array (number of 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)
|
|
|
int | size (void) const |
| Return size of array (number of elements)
|
|
void | size (int n) |
| Decrease size of array (number of elements)
|
|
|
void | move_fst (int i) |
| Move view from position 0 to position i (shift elements to the left)
|
|
void | move_fst (int i, Space &home, Propagator &p, PropCond pc) |
| Move view from position 0 to position i (shift elements to the left)
|
|
void | move_fst (int i, Space &home, Advisor &a) |
| Move view from position 0 to position i (shift elements to the left)
|
|
void | move_lst (int i) |
| Move view from position size()-1 to position i (truncate array by one)
|
|
void | move_lst (int i, Space &home, Propagator &p, PropCond pc) |
| Move view from position size()-1 to position i (truncate array by one)
|
|
void | move_lst (int i, Space &home, Advisor &a) |
| Move view from position size()-1 to position i (truncate array by one)
|
|
|
void | drop_fst (int i) |
| Drop views from positions 0 to i-1 from array.
|
|
void | drop_fst (int i, Space &home, Propagator &p, PropCond pc) |
| Drop views from positions 0 to i-1 from array.
|
|
void | drop_fst (int i, Space &home, Advisor &a) |
| Drop views from positions 0 to i-1 from array.
|
|
void | drop_lst (int i) |
| Drop views from positions i+1 to size()-1 from array.
|
|
void | drop_lst (int i, Space &home, Propagator &p, PropCond pc) |
| Drop assigned views from positions i+1 to size()-1 from array.
|
|
void | drop_lst (int i, Space &home, Advisor &a) |
| Drop assigned views from positions i+1 to size()-1 from array.
|
|
bool | assigned (void) const |
| Test if all variables are assigned.
|
|
|
bool | same (void) const |
| Test whether array has multiple occurence of the same view.
|
|
bool | same (const Int::Linear::NoView &y) const |
| Test whether array contains a view being the same as y.
|
|
void | unique (void) |
| Remove all duplicate views from array (changes element order)
|
|
View array for no view (empty)
Definition at line 165 of file int-noview.hpp.
◆ value_type
Type of the view stored in this array.
Definition at line 263 of file array.hpp.
◆ reference
Type of a reference to the value type.
Definition at line 265 of file array.hpp.
◆ const_reference
Type of a constant reference to the value type.
Definition at line 267 of file array.hpp.
◆ pointer
Type of a pointer to the value type.
Definition at line 269 of file array.hpp.
◆ const_pointer
Type of a read-only pointer to the value type.
Definition at line 271 of file array.hpp.
◆ iterator
Type of the iterator used to iterate through this array's elements.
Definition at line 273 of file array.hpp.
◆ const_iterator
Type of the iterator used to iterate read-only through this array's elements.
Definition at line 275 of file array.hpp.
◆ reverse_iterator
Type of the iterator used to iterate backwards through this array's elements.
Definition at line 277 of file array.hpp.
◆ const_reverse_iterator
Type of the iterator used to iterate backwards and read-only through this array's elements.
Definition at line 279 of file array.hpp.
◆ ViewArray() [1/12]
◆ ViewArray() [2/12]
◆ ViewArray() [3/12]
◆ ViewArray() [4/12]
◆ ViewArray() [5/12]
Default constructor (array of size 0)
Definition at line 285 of file array.hpp.
◆ ViewArray() [6/12]
Allocate array with m views.
Definition at line 287 of file array.hpp.
◆ ViewArray() [7/12]
Allocate array with m views.
Definition at line 289 of file array.hpp.
◆ ViewArray() [8/12]
Initialize from view array a (share elements)
Definition at line 291 of file array.hpp.
◆ ViewArray() [9/12]
Initialize from view array a (copy elements)
Definition at line 293 of file array.hpp.
◆ ViewArray() [10/12]
Initialize from view array a (copy elements)
Definition at line 295 of file array.hpp.
◆ ViewArray() [11/12]
Initialize from variable argument array a (copy elements)
Note that the view type View must provide a constructor for the associated Var type.
Definition at line 305 of file array.hpp.
◆ ViewArray() [12/12]
Initialize from variable argument array a (copy elements)
Note that the view type View must provide a constructor for the associated Var type.
Definition at line 323 of file array.hpp.
◆ operator=() [1/2]
◆ size() [1/4]
Return size of array (number of elements)
Definition at line 184 of file int-noview.hpp.
◆ size() [2/4]
Decrease size of array (number of elements)
Definition at line 186 of file int-noview.hpp.
◆ operator[]() [1/4]
◆ operator[]() [2/4]
◆ subscribe() [1/3]
Subscribe propagator p with propagation condition pc to all views.
Definition at line 208 of file int-noview.hpp.
◆ cancel() [1/3]
Cancel subscription of propagator p with propagation condition pc to all views.
Definition at line 212 of file int-noview.hpp.
◆ reschedule() [1/2]
◆ update() [1/2]
Update array to be a clone of array a.
Definition at line 224 of file int-noview.hpp.
◆ move_fst() [1/4]
Move assigned view from position 0 to position i (shift elements to the left)
Definition at line 232 of file int-noview.hpp.
◆ move_lst() [1/4]
Move assigned view from position size()-1
to position i (truncate array by one)
Definition at line 234 of file int-noview.hpp.
◆ operator=() [2/2]
Initialize from view array a (share elements)
Definition at line 297 of file array.hpp.
◆ size() [3/4]
Return size of array (number of elements)
Definition at line 339 of file array.hpp.
◆ size() [4/4]
Decrease size of array (number of elements)
Definition at line 341 of file array.hpp.
◆ operator[]() [3/4]
Return view at position i.
Definition at line 347 of file array.hpp.
◆ operator[]() [4/4]
Return view at position i.
Definition at line 349 of file array.hpp.
◆ begin() [1/2]
Return an iterator at the beginning of the array.
Definition at line 355 of file array.hpp.
◆ begin() [2/2]
Return a read-only iterator at the beginning of the array.
Definition at line 357 of file array.hpp.
◆ end() [1/2]
Return an iterator past the end of the array.
Definition at line 359 of file array.hpp.
◆ end() [2/2]
Return a read-only iterator past the end of the array.
Definition at line 361 of file array.hpp.
◆ rbegin() [1/2]
Return a reverse iterator at the end of the array.
Definition at line 363 of file array.hpp.
◆ rbegin() [2/2]
Return a reverse and read-only iterator at the end of the array.
Definition at line 365 of file array.hpp.
◆ rend() [1/2]
Return a reverse iterator past the beginning of the array.
Definition at line 367 of file array.hpp.
◆ rend() [2/2]
Return a reverse and read-only iterator past the beginning of the array.
Definition at line 369 of file array.hpp.
◆ subscribe() [2/3]
Subscribe propagator p with propagation condition pc to variable.
In case process is false, the propagator is just subscribed but not scheduled for execution (this must be used when creating subscriptions during propagation).
Definition at line 381 of file array.hpp.
◆ subscribe() [3/3]
Subscribe advisor a to variable.
Definition at line 386 of file array.hpp.
◆ cancel() [2/3]
Cancel subscription of propagator p with propagation condition pc to all views.
Definition at line 384 of file array.hpp.
◆ cancel() [3/3]
Cancel subscription of advisor a.
Definition at line 388 of file array.hpp.
◆ reschedule() [2/2]
Re-schedule propagator p with propagation condition pc.
Definition at line 390 of file array.hpp.
◆ update() [2/2]
Update array to be a clone of array a.
Definition at line 396 of file array.hpp.
◆ move_fst() [2/4]
Move view from position 0 to position i (shift elements to the left)
Definition at line 403 of file array.hpp.
◆ move_fst() [3/4]
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 411 of file array.hpp.
◆ move_fst() [4/4]
Move view from position 0 to position i (shift elements to the left)
Before moving, cancel subscription of advisor a to view at position i.
Definition at line 423 of file array.hpp.
◆ move_lst() [2/4]
Move view from position size()-1
to position i (truncate array by one)
Definition at line 405 of file array.hpp.
◆ move_lst() [3/4]
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 417 of file array.hpp.
◆ move_lst() [4/4]
Move view from position size()-1
to position i (truncate array by one)
Before moving, cancel subscription of advisor a to view at position i.
Definition at line 429 of file array.hpp.
◆ drop_fst() [1/3]
Drop views from positions 0 to i-1 from array.
Definition at line 435 of file array.hpp.
◆ drop_fst() [2/3]
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 443 of file array.hpp.
◆ drop_fst() [3/3]
Drop views from positions 0 to i-1 from array.
Before moving, cancel subscription of advisor a to views at positions 0 to i-1.
Definition at line 456 of file array.hpp.
◆ drop_lst() [1/3]
Drop views from positions i+1 to size()-1
from array.
Definition at line 437 of file array.hpp.
◆ drop_lst() [2/3]
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 450 of file array.hpp.
◆ drop_lst() [3/3]
Drop assigned views from positions i+1 to size()-1
from array.
Before moving, cancel subscription of advisor a to views at positions i+1 to size()-1
.
Definition at line 462 of file array.hpp.
◆ assigned()
◆ same() [1/2]
Test whether array has multiple occurence of the same view.
Note that assigned views are ignored.
Definition at line 475 of file array.hpp.
◆ same() [2/2]
Test whether array contains a view being the same as y.
Note that assigned views are ignored.
Definition at line 481 of file array.hpp.
◆ unique()
Remove all duplicate views from array (changes element order)
Definition at line 483 of file array.hpp.
◆ shared() [1/8]
Test whether array x together with array y contains shared views.
Note that assigned views are ignored.
Definition at line 498 of file array.hpp.
◆ shared() [2/8]
bool shared |
( |
ViewArray< ViewX > | x, |
|
|
ViewY | y ) |
|
related |
Test whether array x contains a view shared with y.
Note that assigned views are ignored.
Definition at line 506 of file array.hpp.
◆ shared() [3/8]
bool shared |
( |
ViewX | x, |
|
|
ViewArray< ViewY > | y ) |
|
related |
Test whether array y contains a view shared with x.
Note that assigned views are ignored.
Definition at line 514 of file array.hpp.
◆ shared() [4/8]
Test whether array x contains shared views.
Note that assigned views are ignored.
Definition at line 522 of file array.hpp.
◆ operator<<() [1/2]
Print array elements enclosed in curly brackets.
Definition at line 864 of file array.hpp.
◆ shared() [5/8]
Test whether array x together with array y contains shared views.
Note that assigned views are ignored.
Definition at line 498 of file array.hpp.
◆ shared() [6/8]
bool shared |
( |
ViewArray< ViewX > | x, |
|
|
ViewY | y ) |
|
related |
Test whether array x contains a view shared with y.
Note that assigned views are ignored.
Definition at line 506 of file array.hpp.
◆ shared() [7/8]
bool shared |
( |
ViewX | x, |
|
|
ViewArray< ViewY > | y ) |
|
related |
Test whether array y contains a view shared with x.
Note that assigned views are ignored.
Definition at line 514 of file array.hpp.
◆ shared() [8/8]
Test whether array x contains shared views.
Note that assigned views are ignored.
Definition at line 522 of file array.hpp.
◆ operator<<() [2/2]
Print array elements enclosed in curly brackets.
Definition at line 864 of file array.hpp.
The documentation for this class was generated from the following files: