Method dispose

gecode/kernel/propagator/advisor.hpp:89–93

  template<class View>
  template<class A>
  forceinline void
  ViewAdvisor<View>::dispose(Space& home, Council<A>& c) {
    x.cancel(home,*this);
    Advisor::dispose(home,c);
  }

}