code: public static <S, L> MinimizationResult<S, L> minimize(UniversalGraph<S, ?, ?, L> graph) {
          return minimize(graph, null);
      }
docs: Minimizes an automaton. The automaton is not minimized directly, instead, a {@link MinimizationResult} structure
  is returned. The automaton is interfaced using an adapter implementing the {@link UniversalGraph} interface.
  
  @param <S>
  state class.
  @param <L>
  transition label class.
  @param graph
  the automaton interface.
  
  @return the result structure.