Method dispose

gecode/search/seq/path.hpp:104–108

  template<class Tracer>
  forceinline void
  Path<Tracer>::Edge::dispose(void) {
    delete _space;
    delete _choice;
  }