80 const T*
begin(
void)
const;
84 const T*
end(
void)
const;
138 int size(
void)
const;
142 iterator
begin(
void);
145 const_iterator
begin(
void)
const;
149 const_iterator
end(
void)
const;
151 reverse_iterator
rbegin(
void);
153 const_reverse_iterator
rbegin(
void)
const;
155 reverse_iterator
rend(
void);
157 const_reverse_iterator
rend(
void)
const;
165 template<
class Char,
class Traits,
class T>
166 std::basic_ostream<Char,Traits>&
167 operator <<(std::basic_ostream<Char,Traits>& os,
196 assert((i>=0) && (i<n));
203 assert((i>=0) && (i<n));
255 assert(
object() == NULL);
262 assert(
object() != NULL);
263 return (*static_cast<SAO*>(
object()))[
i];
269 assert(
object() != NULL);
270 return (*static_cast<SAO*>(
object()))[
i];
277 for (
int i=a.
size();
i--; )
284 assert(
object() != NULL);
285 return static_cast<SAO*
>(object())->
size();
291 assert(
object() != NULL);
292 return static_cast<SAO*
>(object())->begin();
298 assert(
object() != NULL);
299 return static_cast<SAO*
>(object())->begin();
305 assert(
object() != NULL);
306 return static_cast<SAO*
>(object())->end();
312 assert(
object() != NULL);
313 return static_cast<SAO*
>(object())->end();
319 assert(
object() != NULL);
326 assert(
object() != NULL);
333 assert(
object() != NULL);
340 assert(
object() != NULL);
344 template<
class Char,
class Traits,
class T>
345 std::basic_ostream<Char,Traits>&
346 operator <<(std::basic_ostream<Char,Traits>& os,
348 std::basic_ostringstream<Char,Traits> s;
349 s.copyfmt(os); s.width(0);
357 return os << s.str();
T & operator[](int i)
Access element at position i.
int size(void) const
Return size of array (number of elements)
const T * const_iterator
Type of the iterator used to iterate read-only through this array's elements.
T * end(void)
Return end of array (for iterators)
Implementation of object for shared arrays.
const T & const_reference
Type of a constant reference to the value type.
T value_type
Type of the view stored in this array.
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.
unsigned int size(I &i)
Size of all ranges of range iterator i.
int size(void) const
Return number of elements.
reverse_iterator rbegin(void)
Return a reverse iterator at the end of the array.
T & reference
Type of a reference to the value type.
const T * const_pointer
Type of a read-only pointer to the value type.
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.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
T * pointer
Type of a pointer to the value type.
Base-class for argument arrays.
Heap heap
The single global heap.
Post propagator for SetVar x
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.
std::reverse_iterator< const T * > const_reverse_iterator
Type of the iterator used to iterate backwards and read-only through this array's elements...