Method final_fst

gecode/int/extensional/dfa.hpp:162–166

  }

  forceinline int
  DFA::final_fst(void) const {
    const DFAI* d = static_cast<DFAI*>(object());
    return (d == nullptr) ? 0 : d->final_fst;
  }

  forceinline int
  DFA::final_lst(void) const {