Method ES_NOFIX_DISPOSE_FORCE

gecode/kernel/core.hpp:3942–3946

  template<class A>
  forceinline ExecStatus
  Space::ES_NOFIX_DISPOSE_FORCE(Council<A>& c, A& a) {
    a.dispose(*this,c);
    return ES_NOFIX_FORCE;
  }