Method propagate

gecode/int/arithmetic/pow.hpp:107–111

  template<class VA, class VB, class Ops>
  ExecStatus
  PowPlusBnd<VA,VB,Ops>::propagate(Space& home, const ModEventDelta&) {
    GECODE_ES_CHECK(prop_pow_plus_bnd(home,x0,x1,ops));
    return x0.assigned() ? home.ES_SUBSUMED(*this) : ES_FIX;
  }