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. | |
