Method dispose

gecode/int/task/prop.hpp:63–68

  template<class Task, class PL>
  forceinline size_t
  TaskProp<Task,PL>::dispose(Space& home) {
    t.cancel(home,*this,PL::pc);
    (void) Propagator::dispose(home);
    return sizeof(*this);
  }

}}