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