code: public static <I> CompactDFA<I> minimizeDFA(DFA<?, I> dfa, Alphabet<I> alphabet) {
          return minimizeDFA(dfa, alphabet, PruningMode.PRUNE_AFTER);
      }
docs: Minimizes the given DFA. The result is returned in the form of a {@link CompactDFA}, and pruning (see above) is
  performed after computing state equivalences.
  
  @param dfa
  the DFA to minimize
  @param alphabet
  the input alphabet (this will be the input alphabet of the returned DFA)
  
  @return a minimized version of the specified DFA