typedef BoolVar value_type
Type of the view stored in this array.
typedef BoolVar & reference
Type of a reference to the value type.
typedef const BoolVar & const_reference
Type of a constant reference to the value type.
typedef BoolVar * pointer
Type of a pointer to the value type.
typedef const BoolVar * const_pointer
Type of a read-only pointer to the value type.
typedef BoolVar * iterator
Type of the iterator used to iterate through this array's elements.
typedef const BoolVar * const_iterator
Type of the iterator used to iterate read-only through this array's elements.
typedef std::reverse_iterator< BoolVar * > reverse_iterator
Type of the iterator used to iterate backwards through this array's elements.
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.
VarArgArray (void)
Allocate empty array.
VarArgArray (int n )
Allocate array with n elements.
VarArgArray (const VarArgArray < BoolVar > &a )
Initialize from variable argument array a (copy elements)
VarArgArray (const VarArray < BoolVar > &a )
Initialize from variable array a (copy elements)
VarArgArray (const std::vector< BoolVar > &a )
Initialize from vector a .
VarArgArray (std::initializer_list< BoolVar > a )
Initialize from initializer list a .
VarArgArray (InputIterator first, InputIterator last)
Initialize from InputIterator first and last .
ArrayTraits < VarArgArray < BoolVar > >::ArgsType slice (int start, int inc=1, int n =-1)
Return slice of length n such that forall , .
ArrayTraits < VarArgArray < BoolVar > >::ArgsType & operator<< (const BoolVar &x )
Insert a new element x at the end of the array (increase size by 1)
ArrayTraits < VarArgArray < BoolVar > >::ArgsType & operator<< (const VarArgArray < BoolVar > &x )
Append x to the end of the array.
bool assigned (void) const
Test if all variables are assigned.
ArgArrayBase (void)
Allocate empty array.
ArgArrayBase (int n )
Allocate array with n elements.
ArgArrayBase (const ArgArrayBase < BoolVar > &a )
Initialize from argument array a (copy elements)
ArgArrayBase (const std::vector< BoolVar > &a )
Initialize from vector a .
ArgArrayBase (std::initializer_list< BoolVar > a )
Initialize from initializer list a .
ArgArrayBase (InputIterator first, InputIterator last)
Initialize from InputIterator begin and end .
const ArgArrayBase < BoolVar > & operator= (const ArgArrayBase < BoolVar > &a )
Initialize from view array a (copy elements)
int size (void) const
Return size of array (number of elements)
BoolVar & operator[] (int i)
Return element at position i .
const BoolVar & operator[] (int i) const
Return element at position i .
iterator begin (void)
Return an iterator at the beginning of the array.
const_iterator begin (void) const
Return a read-only iterator at the beginning of the array.
iterator end (void)
Return an iterator past the end of the array.
const_iterator end (void) const
Return a read-only iterator past the end of the array.
reverse_iterator rbegin (void)
Return a reverse iterator at the end of the array.
const_reverse_iterator rbegin (void) const
Return a reverse and read-only iterator at the end of the array.
reverse_iterator rend (void)
Return a reverse iterator past the beginning of the array.
const_reverse_iterator rend (void) const
Return a reverse and read-only iterator past the beginning of the array.
~ArgArrayBase (void)
Destructor.
BoolVar * allocate (int n )
Allocate memory for n elements.
void resize (int i)
Resize to hold at least i additional elements.
A concat (const ArgArrayBase < BoolVar > &x ) const
Return this array concatenated with x .
A concat (const BoolVar &x ) const
Return this array concatenated with x .
A & append (const BoolVar &x )
Insert a new element x at the end of the array (increase size by 1)
A & append (const ArgArrayBase < BoolVar > &x )
Append x to the end of the array.
A slice (int start, int inc=1, int n =-1)
int n
Number of elements.
int capacity
Allocated size of the array.
BoolVar * a
Element array.
BoolVar onstack [onstack_size ]
In-array storage for elements.
static const int onstack_size
How many elements are possible inside array.
bool same (VarArgArray < BoolVar > x , VarArgArray < BoolVar > y )
Test whether array x together with array y contains at least one variable being the same.
bool same (VarArgArray < BoolVar > x , BoolVar y )
Test whether array x contains variable y .
bool same (BoolVar x , VarArgArray < BoolVar > y )
Test whether array y contains variable x .
bool same (VarArgArray < BoolVar > x )
Test whether array x contains a variable multiply.
std::basic_ostream< Char, Traits > & operator<< (std::basic_ostream< Char, Traits > &os, const ArgArrayBase < BoolVar > &x )
Print array elements enclosed in curly brackets.
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.
Definition at line 712 of file int.hh .