Method reschedule

gecode/int/var-imp/bool.cpp:67–70

  }

  void
  BoolVarImp::reschedule(Space& home, Propagator& p, PropCond) {
    BoolVarImpBase::reschedule(home,p,PC_BOOL_VAL,assigned());
  }

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