Method getMincUpdate

gecode/int/distinct/cbs.hpp:124–127

  }

  forceinline double
  ValToUpdate::getMincUpdate(int val, unsigned int varSize) const {
    return mincUpdate[val-minVal] / getMincFactor(varSize-1);
  }

  forceinline double
  ValToUpdate::getLiangUpdate(int val, unsigned int idx,