Function pathmax_h

gecode/int/gcc/bnd-sup.hpp:571–576

* \name Path maximum * * Returns the greatest reachable index starting from \a i. * \ingroup GCCBndSup */ @{ Path maximum for hall pointer structure

  //@{
  /// Path maximum for hall pointer structure
  forceinline int
  pathmax_h(const HallInfo hall[], int i) {
    while (hall[i].h > i)
      i = hall[i].h;
    return i;
  }
  /// Path maximum for capacity pointer structure
  forceinline int
  pathmax_t(const HallInfo hall[], int i) {