Method cancel

gecode/kernel/core.hpp:4504–4508

  template<class VIC>
  forceinline void
  VarImp<VIC>::cancel(Space& home, Propagator& p, PropCond pc) {
    if (b.base != nullptr)
      remove(home,&p,pc);
  }

  template<class VIC>
  void