Method symbol_max

gecode/int/extensional/dfa.hpp:181–186

  }

  forceinline int
  DFA::symbol_max(void) const {
    const DFAI* d = static_cast<DFAI*>(object());
    return ((d != nullptr) && (d->n_trans > 0)) ?
      d->trans[d->n_trans-1].symbol : Int::Limits::max;
  }

  forceinline std::size_t
  DFA::hash(void) const {