#include <cstring>
#include <cstdlib>
#include <algorithm>
Go to the source code of this file.
|
namespace | Gecode |
| Gecode toplevel namespace
|
|
◆ GECODE_SUPPORT_REALLOC
#define GECODE_SUPPORT_REALLOC |
( |
| T | ) |
|
Value: template<> \
Heap::realloc<T>(T*
b,
long unsigned int,
long unsigned int m) { \
return static_cast<T*
>(rrealloc(
b,m*
sizeof(T))); \
} \
template<> \
Heap::realloc<T>(T*
b,
long int n,
long int m) { \
assert((
n >= 0) && (m >= 0)); \
return realloc<T>(
b,
static_cast<long unsigned int>(
n), \
static_cast<long unsigned int>(m)); \
} \
template<> \
Heap::realloc<T>(T*
b,
unsigned int n,
unsigned int m) { \
return realloc<T>(
b,
static_cast<long unsigned int>(
n), \
static_cast<long unsigned int>(m)); \
} \
template<> \
Heap::realloc<T>(T*
b,
int n,
int m) { \
assert((
n >= 0) && (m >= 0)); \
return realloc<T>(
b,
static_cast<long unsigned int>(
n), \
static_cast<long unsigned int>(m)); \
}
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int n
Number of negative literals for node type.
Definition at line 514 of file heap.hpp.
◆ GECODE_SUPPORT_COPY
#define GECODE_SUPPORT_COPY |
( |
| T | ) |
|
Value: template<> \
Heap::copy(T* d,
const T* s,
long unsigned int n) { \
return static_cast<T*
>(Support::allocator.memcpy(d,s,
n*
sizeof(T))); \
} \
template<> \
Heap::copy(T* d,
const T* s,
long int n) { \
return copy<T>(d,s,
static_cast<long unsigned int>(
n)); \
} \
template<> \
Heap::copy(T* d,
const T* s,
unsigned int n) { \
return copy<T>(d,s,
static_cast<long unsigned int>(
n)); \
} \
template<> \
Heap::copy(T* d,
const T* s,
int n) { \
return copy<T>(d,s,
static_cast<long unsigned int>(
n)); \
}
Definition at line 606 of file heap.hpp.