Uses of Interface
net.automatalib.modelchecking.ModelCheckerCache.DFAModelCheckerCache

Packages that use ModelCheckerCache.DFAModelCheckerCache

Package	Description
net.automatalib.modelchecking
net.automatalib.modelchecking.impl	Implementations for 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>

Uses of ModelCheckerCache.DFAModelCheckerCache in net.automatalib.modelchecking.impl

Classes in net.automatalib.modelchecking.impl that implement ModelCheckerCache.DFAModelCheckerCache

Modifier and Type	Class	Description
class	SizeDFAModelCheckerCache<I,P,R>	A DFAModelCheckerCache that invalidates the cached counter examples when ModelChecker.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>	An extension of SizeDFAModelCheckerCache that additionally implements ModelCheckerLassoCache.DFAModelCheckerLassoCache.