marked-pointer.icc File Reference
(Revision: 5857)
#include <cstddef>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Support |
Functions | |
void * | Gecode::Support::mark (void *p) |
Return marked pointer for p. | |
bool | Gecode::Support::marked (void *p) |
Check whether p is marked. | |
void * | Gecode::Support::unmark (void *p) |
Return the unmarked pointer for a marked pointer p. |