83 const T*
end(
void)
const;
167 template<
class Char,
class Traits,
class T>
168 std::basic_ostream<Char,Traits>&
198 assert((i>=0) && (i<
n));
205 assert((i>=0) && (i<
n));
257 assert(
object() == NULL);
264 assert(
object() != NULL);
265 return (*
static_cast<SAO*
>(
object()))[i];
271 assert(
object() != NULL);
272 return (*
static_cast<SAO*
>(
object()))[i];
278 if (size() != sa.
size())
280 if (
object()==sa.
object())
282 for (
int i=0; i<size(); i++) {
283 if ((*
this)[i] != sa[i])
293 for (
int i=0; i<
a.
size(); i++)
300 assert(
object() != NULL);
301 return static_cast<SAO*
>(object())->size();
307 assert(
object() != NULL);
308 return static_cast<SAO*
>(object())->begin();
314 assert(
object() != NULL);
315 return static_cast<SAO*
>(object())->begin();
321 assert(
object() != NULL);
322 return static_cast<SAO*
>(object())->end();
328 assert(
object() != NULL);
329 return static_cast<SAO*
>(object())->end();
335 assert(
object() != NULL);
342 assert(
object() != NULL);
349 assert(
object() != NULL);
356 assert(
object() != NULL);
360 template<
class Char,
class Traits,
class T>
361 std::basic_ostream<Char,Traits>&
364 std::basic_ostringstream<Char,Traits> s;
365 s.copyfmt(os); s.width(0);
369 for (
int i=1; i<
x.size(); i++)
373 return os << s.str();
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Base-class for argument arrays.
int size(void) const
Return size of array (number of elements)
void free(T *b, long unsigned int n)
Delete n objects starting at b.
T * alloc(long unsigned int n)
Allocate block of n objects of type T from heap.
Implementation of object for shared arrays.
T * end(void)
Return end of array (for iterators)
T * begin(void)
Return beginning of array (for iterators)
SAO(int n)
Allocate for n elements.
int size(void) const
Return number of elements.
T & operator[](int i)
Access element at position i.
virtual ~SAO(void)
Delete object.
Shared array with arbitrary number of elements.
const_iterator begin(void) const
Return a read-only iterator at the beginning of the array.
std::reverse_iterator< T * > reverse_iterator
Type of the iterator used to iterate backwards through this array's elements.
const T * const_iterator
Type of the iterator used to iterate read-only through this array's elements.
const_reverse_iterator rend(void) const
Return a reverse and read-only iterator past the beginning of the array.
reverse_iterator rend(void)
Return a reverse iterator past the beginning of the array.
const_iterator end(void) const
Return a read-only iterator past the end of the array.
std::reverse_iterator< const T * > const_reverse_iterator
Type of the iterator used to iterate backwards and read-only through this array's elements.
bool operator==(const SharedArray< T > &sa) const
Test equality with sa.
SharedArray(const ArgArrayBase< T > &a)
Initialize from argument array a.
SharedArray(int n)
Initialize as array with n elements.
T & reference
Type of a reference to the value type.
reverse_iterator rbegin(void)
Return a reverse iterator at the end of the array.
T * iterator
Type of the iterator used to iterate through this array's elements.
iterator begin(void)
Return an iterator at the beginning of the array.
iterator end(void)
Return an iterator past the end of the array.
T value_type
Type of the view stored in this array.
SharedArray(const SharedArray &a)
Initialize from shared array a (share elements)
T * pointer
Type of a pointer to the value type.
SharedArray(void)
Construct as not yet intialized.
int size(void) const
Return number of elements.
const_reverse_iterator rbegin(void) const
Return a reverse and read-only iterator at the end of the array.
const T & const_reference
Type of a constant reference to the value type.
T & operator[](int i)
Access element at position i.
void init(int n)
Initialize as array with n elements.
const T * const_pointer
Type of a read-only pointer to the value type.
SharedHandle::Object * object(void) const
Access to the shared object.
Heap heap
The single global heap.
Gecode toplevel namespace
Archive & operator<<(Archive &e, FloatNumBranch nl)
Post propagator for SetVar x