Method deallocate

gecode/kernel/memory/allocators.hpp:429–431

* \brief Deallocates storage * * Deallocates storage obtained by a call to allocate() with * arguments \a count and \a p. Note that region allocator never * actually deallocates memory (so this function does nothing); * the memory is released when the region is destroyed. */

     * the memory is released when the region is destroyed.
     */
    void deallocate(pointer p, size_type count) {
      region.rfree(static_cast<void*>(p), count);
    }

    /**
     * \brief Constructs an object