40 namespace Gecode {
namespace Support {
55 return (reinterpret_cast<ptrdiff_t>(p) & 1) != 0;
60 return reinterpret_cast<void*
>(
reinterpret_cast<ptrdiff_t
>(
p)+1);
65 return reinterpret_cast<void*
>(
reinterpret_cast<ptrdiff_t
>(
p)-1);
69 return reinterpret_cast<void*
>(
reinterpret_cast<ptrdiff_t
>(
p)|1);
73 return reinterpret_cast<void*
>(
reinterpret_cast<ptrdiff_t
>(
p)&
74 ~static_cast<ptrdiff_t>(1));
bool marked(void *p)
Check whether p is marked.
void * mark(void *p)
Return marked pointer for p.
void * funmark(void *p)
Return unmarked pointer for a possibly marked pointer p.
int p
Number of positive literals for node type.
void * unmark(void *p)
Return unmarked pointer for a marked pointer p.
void * fmark(void *p)
Return marked pointer for p (possibly already marked)
Gecode toplevel namespace