36namespace Gecode {
namespace Support {
43 template<
class T,
class A>
81 template<
class T,
class A>
84 :
a(a0),
n(n0),
x(
a.template alloc<T>(
n)) {}
86 template<
class T,
class A>
89 :
a(a0),
n(static_cast<int>(n0)),
x(
a.template alloc<T>(
n)) {}
91 template<
class T,
class A>
94 :
a(da.
a),
n(da.
n),
x(
a.template alloc<T>(
n)) {
98 template<
class T,
class A>
104 template<
class T,
class A>
109 a.free(
x,
n);
n = da.n;
x =
a.template alloc<T>(
n);
116 template<
class T,
class A>
119 int m = std::max(i+1, (3*
n)/2);
120 x =
a.realloc(
x,
n,m);
124 template<
class T,
class A>
127 if (i >=
n) resize(i);
132 template<
class T,
class A>
135 return operator [](
static_cast<int>(i));
138 template<
class T,
class A>
145 template<
class T,
class A>
148 return operator [](
static_cast<int>(i));
151 template<
class T,
class A>
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
static T * copy(T *d, const T *s, long unsigned int n)
Copy n objects starting at s to d.
Array with arbitrary number of elements.
DynamicArray(A &a0, unsigned int n)
Initialize with size n.
T & operator[](int i)
Return element at position i (possibly resize)
~DynamicArray(void)
Release memory.
DynamicArray(const DynamicArray< T, A > &da)
Copy elements from array da.
DynamicArray(A &a0, int n=32)
Initialize with size n.
const DynamicArray< T, A > & operator=(const DynamicArray< T, A > &da)
Assign array (copy elements from a)
Heap heap
The single global heap.
Gecode toplevel namespace
Post propagator for SetVar x