code: public static <I> Iterator<Word<I>> incrementalStateCoverIterator(DeterministicAutomaton<?, I, ?> automaton,
                                                                        Collection<? extends I> inputs,
                                                                        Collection<? extends Word<I>> stateCover) {
          return new IncrementalStateCoverIterator<>(automaton, inputs, stateCover);
      }
docs: Returns an iterator for the remaining sequences of a state cover. Sequences are computed lazily (i.e. as
  requested by the iterators {@link Iterator#next() next} method.
  
  @param automaton
  the automaton for which the cover should be computed
  @param inputs
  the set of input symbols allowed in the cover sequences
  @param stateCover
  the collection containing the already existing sequences of the state cover
  @param <I>
  input symbol type
  
  @return an iterator for the remaining input sequences of the cover.
  
  @see #incrementalStateCover(DeterministicAutomaton, Collection, Collection, Collection)