Method propagate

gecode/int/arithmetic/abs.hpp:134–137

  template<class View>
  ExecStatus
  AbsBnd<View>::propagate(Space& home, const ModEventDelta&) {
    return prop_abs_bnd<View,Rel::EqBnd>(home, *this, x0, x1);
  }