public static < I > boolean incrementalStructuralCover ( DeterministicAutomaton < ? , I , ? > automaton , Collection < ? extends I > inputs , Collection < ? extends Word < I > > oldCover , Collection < ? super Word < I > > newCover ) { final int oldCoverSize = newCover . size ( ) ; incrementalCover ( automaton , inputs , oldCover , Collections . emptySet ( ) , newCover :: add , newCover :: add ) ; return oldCoverSize < newCover . size ( ) ; }
Computes an incremental structural cover for a given automaton i . e . a cover that only contains the missing sequences for obtaining a complete structural cover .