public static < I > boolean incrementalCover ( DeterministicAutomaton < ? , I , ? > automaton , Collection < ? extends I > inputs , Collection < ? extends Word < I > > oldStateCover , Collection < ? extends Word < I > > oldTransCover , Collection < ? super Word < I > > newStateCover , Collection < ? super Word < I > > newTransCover ) { final int oldStateSize = newStateCover . size ( ) ; final int oldTransSize = newTransCover . size ( ) ; incrementalCover ( automaton , inputs , oldStateCover , oldTransCover , newStateCover :: add , newTransCover :: add ) ; return oldStateSize < newStateCover . size ( ) || oldTransSize < newTransCover . size ( ) ; }
Utility method that allows to compute an incremental state and transition cover simultaneously .