Uses of Interface
net.automatalib.modelchecking.ModelCheckerCache.DFAModelCheckerCache
-
Packages that use ModelCheckerCache.DFAModelCheckerCache Package Description net.automatalib.modelchecking -
-
Uses of ModelCheckerCache.DFAModelCheckerCache in net.automatalib.modelchecking
Subinterfaces of ModelCheckerCache.DFAModelCheckerCache in net.automatalib.modelchecking Modifier and Type Interface Description static interface
ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>
Classes in net.automatalib.modelchecking that implement ModelCheckerCache.DFAModelCheckerCache Modifier and Type Class Description class
SizeDFAModelCheckerCache<I,P,R>
A DFAModelCheckerCache that invalidates the cached counter examples whenModelChecker.findCounterExample(Object, Collection, Object)
is called with a DFA with a size different, and an input alphabet different from the previous call.class
SizeDFAModelCheckerLassoCache<I,P>
-