Method deallocate

gecode/kernel/memory/allocators.hpp:264–266

Deallocates the storage obtained by a call to allocate() with arguments \a count and \a p.

    /// Deallocates the storage obtained by a call to allocate() with arguments \a count and \a p.
    void deallocate(pointer p, size_type count) {
      space.rfree(static_cast<void*>(p), count);
    }

    /*
     * \brief Constructs an object