86 const T*
begin(
void)
const;
90 const T*
end(
void)
const;
144 int size(
void)
const;
148 iterator
begin(
void);
151 const_iterator
begin(
void)
const;
155 const_iterator
end(
void)
const;
157 reverse_iterator
rbegin(
void);
159 const_reverse_iterator
rbegin(
void)
const;
161 reverse_iterator
rend(
void);
163 const_reverse_iterator
rend(
void)
const;
171 template<
class Char,
class Traits,
class T>
172 std::basic_ostream<Char,Traits>&
173 operator <<(std::basic_ostream<Char,Traits>& os,
211 assert((i>=0) && (i<
n));
218 assert((i>=0) && (i<
n));
270 assert(
object() == NULL);
277 assert(
object() != NULL);
278 return (*static_cast<SAO*>(
object()))[
i];
284 assert(
object() != NULL);
285 return (*static_cast<SAO*>(
object()))[
i];
292 for (
int i=a.
size();
i--; )
299 assert(
object() != NULL);
300 return static_cast<SAO*
>(object())->
size();
306 assert(
object() != NULL);
307 return static_cast<SAO*
>(object())->begin();
313 assert(
object() != NULL);
314 return static_cast<SAO*
>(object())->begin();
320 assert(
object() != NULL);
321 return static_cast<SAO*
>(object())->end();
327 assert(
object() != NULL);
328 return static_cast<SAO*
>(object())->end();
334 assert(
object() != NULL);
341 assert(
object() != NULL);
348 assert(
object() != NULL);
355 assert(
object() != NULL);
359 template<
class Char,
class Traits,
class T>
360 std::basic_ostream<Char,Traits>&
361 operator <<(std::basic_ostream<Char,Traits>& os,
363 std::basic_ostringstream<Char,Traits> s;
364 s.copyfmt(os); s.width(0);
372 return os << s.str();
T & operator[](int i)
Access element at position i.
const T * const_iterator
Type of the iterator used to iterate read-only through this array's elements.
int size(void) const
Return size of array (number of elements)
T * end(void)
Return end of array (for iterators)
Implementation of object for shared arrays.
iterator end(void)
Return an iterator past the end of the array.
const T & const_reference
Type of a constant reference to the value type.
T value_type
Type of the view stored in this array.
Heap heap
The single global heap.
SAO(int n)
Allocate for n elements.
T * alloc(long unsigned int n)
Allocate block of n objects of type T from heap.
Gecode::IntArgs i(4, 1, 2, 3, 4)
void init(int n)
Initialize as array with n elements.
int n
Number of negative literals for node type.
T * iterator
Type of the iterator used to iterate through this array's elements.
T & operator[](int i)
Access element at position i.
unsigned int size(I &i)
Size of all ranges of range iterator i.
int size(void) const
Return number of elements.
iterator begin(void)
Return an iterator at the beginning of the array.
reverse_iterator rbegin(void)
Return a reverse iterator at the end of the array.
virtual SharedHandle::Object * copy(void) const
Create copy of elements.
T & reference
Type of a reference to the value type.
const T * const_pointer
Type of a read-only pointer to the value type.
int size(void) const
Return number of elements.
T * begin(void)
Return beginning of array (for iterators)
virtual ~SAO(void)
Delete object.
void free(T *b, long unsigned int n)
Delete n objects starting at b.
Node * x
Pointer to corresponding Boolean expression node.
T * pointer
Type of a pointer to the value type.
Base-class for argument arrays.
reverse_iterator rend(void)
Return a reverse iterator past the beginning of the array.
std::reverse_iterator< T * > reverse_iterator
Type of the iterator used to iterate backwards through this array's elements.
Gecode toplevel namespace
Shared array with arbitrary number of elements.
SharedArray(void)
Construct as not yet intialized.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
std::reverse_iterator< const T * > const_reverse_iterator
Type of the iterator used to iterate backwards and read-only through this array's elements...