Method propagate

gecode/int/linear/int-nary.hpp:393–396

  template<class Val, class P, class N>
  ExecStatus
  Eq<Val,P,N>::propagate(Space& home, const ModEventDelta& med) {
    return prop_bnd<Val,P,N>(home,med,*this,x,y,c);
  }

  /*
   * Reified bound consistent linear equation