Method rightmost

gecode/search/seq/path.hpp:76–79

  }
  template<class Tracer>
  forceinline bool
  Path<Tracer>::Edge::rightmost(void) const {
    return _alt+1 >= _choice->alternatives();
  }
  template<class Tracer>
  forceinline bool
  Path<Tracer>::Edge::lao(void) const {