Generated on Sat Feb 7 2015 02:01:35 for Gecode by doxygen 1.8.9.1
heap.hpp File Reference

(Revision: 13879)

#include <cstring>
#include <cstdlib>
#include <algorithm>

Go to the source code of this file.

Classes

class  Gecode::Heap
 Heap memory management class More...
 

Namespaces

 Gecode
 Gecode toplevel namespace
 

Macros

#define GECODE_SUPPORT_REALLOC(T)
 
#define GECODE_SUPPORT_COPY(T)
 

Macro Definition Documentation

#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)); \
}
int n
Number of negative literals for node type.
Definition: bool-expr.cpp:238
#define forceinline
Definition: config.hpp:132
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)

Definition at line 483 of file heap.hpp.

#define GECODE_SUPPORT_COPY (   T)
Value:
template<> \
Heap::copy(T* d, const T* s, long unsigned int n) { \
return static_cast<T*>(memcpy(d,s,n*sizeof(T))); \
} \
template<> \
Heap::copy(T* d, const T* s, long int n) { \
assert(n >= 0); \
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) { \
assert(n >= 0); \
return copy<T>(d,s,static_cast<long unsigned int>(n)); \
}
Gecode::IntSet d(v, 7)
int n
Number of negative literals for node type.
Definition: bool-expr.cpp:238
#define forceinline
Definition: config.hpp:132

Definition at line 575 of file heap.hpp.