40 namespace Gecode {
namespace Support {
47 template<
class T,
class A>
85 template<
class T,
class A>
88 :
a(a0),
n(n0),
x(
a.template alloc<T>(
n)) {}
90 template<
class T,
class A>
93 :
a(a0),
n(static_cast<int>(n0)),
x(
a.template alloc<T>(
n)) {}
95 template<
class T,
class A>
98 :
a(da.
a),
n(da.
n),
x(
a.template alloc<T>(
n)) {
102 template<
class T,
class A>
108 template<
class T,
class A>
113 a.free(
x,
n);
n = da.n;
x =
a.template alloc<T>(
n);
120 template<
class T,
class A>
124 x =
a.realloc(
x,
n,m);
128 template<
class T,
class A>
131 if (
i >=
n) resize(
i);
136 template<
class T,
class A>
139 return operator [](static_cast<int>(
i));
142 template<
class T,
class A>
149 template<
class T,
class A>
152 return operator [](static_cast<int>(
i));
155 template<
class T,
class A>
const DynamicArray< T, A > & operator=(const DynamicArray< T, A > &da)
Assign array (copy elements from a)
static T * copy(T *d, const T *s, long unsigned int n)
Copy n objects starting at s to d.
const FloatNum max
Largest allowed float value.
Array with arbitrary number of elements.
T & operator [](int i)
Return element at position i (possibly resize)
DynamicArray(A &a0, int n=32)
Initialize with size n.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
IntSet * A
Position of a piece in a square board.
Node * x
Pointer to corresponding Boolean expression node.
Heap heap
The single global heap.
Post propagator for SetVar x
~DynamicArray(void)
Release memory.
Gecode toplevel namespace