Passing Boolean variables. More...
#include <int.hh>
Constructors and initialization | |
BoolVarArgs (void) | |
Allocate empty array. More... | |
BoolVarArgs (int n) | |
Allocate array with n elements. More... | |
BoolVarArgs (const BoolVarArgs &a) | |
Initialize from variable argument array a (copy elements) More... | |
BoolVarArgs (const VarArray< BoolVar > &a) | |
Initialize from variable array a (copy elements) More... | |
BoolVarArgs (const std::vector< BoolVar > &a) | |
Initialize from vector a. More... | |
template<class InputIterator > | |
BoolVarArgs (InputIterator first, InputIterator last) | |
Initialize from InputIterator first and last. More... | |
BoolVarArgs (Space &home, int n, int min, int max) | |
Initialize array with n new variables. More... | |
Additional Inherited Members | |
![]() | |
typedef BoolVar | value_type |
Type of the view stored in this array. More... | |
typedef BoolVar & | reference |
Type of a reference to the value type. More... | |
typedef const BoolVar & | const_reference |
Type of a constant reference to the value type. More... | |
typedef BoolVar * | pointer |
Type of a pointer to the value type. More... | |
typedef const BoolVar * | const_pointer |
Type of a read-only pointer to the value type. More... | |
typedef BoolVar * | iterator |
Type of the iterator used to iterate through this array's elements. More... | |
typedef const BoolVar * | const_iterator |
Type of the iterator used to iterate read-only through this array's elements. More... | |
typedef std::reverse_iterator< BoolVar * > | reverse_iterator |
Type of the iterator used to iterate backwards through this array's elements. More... | |
typedef std::reverse_iterator< const BoolVar * > | const_reverse_iterator |
Type of the iterator used to iterate backwards and read-only through this array's elements. More... | |
![]() | |
bool | assigned (void) const |
Test if all variables are assigned. More... | |
VarArgArray (void) | |
Allocate empty array. More... | |
VarArgArray (int n) | |
Allocate array with n elements. More... | |
VarArgArray (const VarArgArray< BoolVar > &a) | |
Initialize from variable argument array a (copy elements) More... | |
VarArgArray (const VarArray< BoolVar > &a) | |
Initialize from variable array a (copy elements) More... | |
VarArgArray (const std::vector< BoolVar > &a) | |
Initialize from vector a. More... | |
VarArgArray (InputIterator first, InputIterator last) | |
Initialize from InputIterator first and last. More... | |
ArrayTraits< VarArgArray< BoolVar > >::ArgsType | slice (int start, int inc=1, int n=-1) |
Return slice ![]() ![]() ![]() | |
ArrayTraits< VarArgArray< BoolVar > >::ArgsType & | operator<< (const BoolVar &x) |
Insert a new element x at the end of the array (increase size by 1) More... | |
ArrayTraits< VarArgArray< BoolVar > >::ArgsType & | operator<< (const VarArgArray< BoolVar > &x) |
Append x to the end of the array. More... | |
bool | same (const Space &home) const |
Test whether array contains same variable multiply. More... | |
bool | same (const Space &home, const BoolVar &y) const |
Test whether array contains variable y. More... | |
bool | same (const Space &home, const VarArgArray< BoolVar > &y) const |
Test whether all elements from array and y contains same variable multiply. More... | |
![]() | |
ArgArrayBase (void) | |
Allocate empty array. More... | |
ArgArrayBase (int n) | |
Allocate array with n elements. More... | |
ArgArrayBase (const ArgArrayBase< BoolVar > &a) | |
Initialize from argument array a (copy elements) More... | |
ArgArrayBase (const std::vector< BoolVar > &a) | |
Initialize from vector a. More... | |
ArgArrayBase (InputIterator first, InputIterator last) | |
Initialize from InputIterator begin and end. More... | |
const ArgArrayBase< BoolVar > & | operator= (const ArgArrayBase< BoolVar > &a) |
Initialize from view array a (copy elements) More... | |
int | size (void) const |
Return size of array (number of elements) More... | |
BoolVar & | operator[] (int i) |
Return element at position i. More... | |
const BoolVar & | operator[] (int i) const |
Return element at position i. More... | |
iterator | begin (void) |
Return an iterator at the beginning of the array. More... | |
const_iterator | begin (void) const |
Return a read-only iterator at the beginning of the array. More... | |
iterator | end (void) |
Return an iterator past the end of the array. More... | |
const_iterator | end (void) const |
Return a read-only iterator past the end of the array. More... | |
reverse_iterator | rbegin (void) |
Return a reverse iterator at the end of the array. More... | |
const_reverse_iterator | rbegin (void) const |
Return a reverse and read-only iterator at the end of the array. More... | |
reverse_iterator | rend (void) |
Return a reverse iterator past the beginning of the array. More... | |
const_reverse_iterator | rend (void) const |
Return a reverse and read-only iterator past the beginning of the array. More... | |
~ArgArrayBase (void) | |
Destructor. More... | |
![]() | |
BoolVar * | allocate (int n) |
Allocate memory for n elements. More... | |
void | resize (int i) |
Resize to hold at least i additional elements. More... | |
A | concat (const ArgArrayBase< BoolVar > &x) const |
Return this array concatenated with x. More... | |
A | concat (const BoolVar &x) const |
Return this array concatenated with x. More... | |
A & | append (const BoolVar &x) |
Insert a new element x at the end of the array (increase size by 1) More... | |
A & | append (const ArgArrayBase< BoolVar > &x) |
Append x to the end of the array. More... | |
A | slice (int start, int inc=1, int n=-1) |
![]() | |
int | n |
Number of elements. More... | |
int | capacity |
Allocated size of the array. More... | |
BoolVar * | a |
Element array. More... | |
BoolVar | onstack [onstack_size] |
In-array storage for elements. More... | |
![]() | |
static const int | onstack_size |
How many elements are possible inside array. More... | |
Passing Boolean variables.
We could have used a simple typedef instead, but doxygen cannot resolve some overloading then, leading to unusable documentation for important parts of the library. As long as there is no fix for this, we will keep this workaround.
|
inline |
|
inlineexplicit |
|
inline |
|
inline |
|
inline |
Gecode::BoolVarArgs::BoolVarArgs | ( | Space & | home, |
int | n, | ||
int | min, | ||
int | max | ||
) |
Initialize array with n new variables.
The variables are created with a domain ranging from min to max. The following execptions might be thrown: