template <class DFA, class State>
void compare_states(DFA& A, State q, State p);
Compare the States p and q using their finality, their number of transitions,
their transitions and the aims of those.
Defined in minimize.h.
Requirements on types
- DFA is a model of DFA .
- State is DFA::State