Method dispose

gecode/kernel/core.cpp:46–47

* Variable type disposer * */

   *
   */
  void
  VarImpDisposerBase::dispose(Space&,VarImpBase*) {}

  VarImpDisposerBase::~VarImpDisposerBase(void) {}