public static < I > List < Word < I > > stateCover ( DeterministicAutomaton < ? , I , ? > automaton , Collection < ? extends I > inputs ) { final List < Word < I > > result = new ArrayList <> ( automaton . size ( ) ) ; Covers . stateCover ( automaton , inputs , result ) ; return result ; }
Convenient method for computing a state cover .