Method cancel

gecode/int/var-imp/bool.hpp:394–397

* Dependencies * */

   *
   */
  forceinline void
  BoolVarImp::cancel(Space& home, Propagator& p, PropCond) {
    BoolVarImpBase::cancel(home,p,PC_BOOL_VAL);
  }

  forceinline void
  BoolVarImp::cancel(Space& home, Advisor& a, bool fail) {