Method n_states

gecode/int/extensional/dfa.hpp:138–142

    : SharedHandle(d) {}

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

  forceinline unsigned int
  DFA::n_symbols(void) const {