Uses of Interface
net.automatalib.modelchecking.ModelCheckerCache

Packages that use ModelCheckerCache

Package	Description
net.automatalib.modelchecking
net.automatalib.modelchecking.modelchecker.cache

Uses of ModelCheckerCache in net.automatalib.modelchecking

Subinterfaces of ModelCheckerCache in net.automatalib.modelchecking

Modifier and Type	Interface and Description
static interface	ModelCheckerCache.DFAModelCheckerCache<I,P,R>
static interface	ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>
interface	ModelCheckerLassoCache<I,A,P,R extends Lasso<I,?>>
static interface	ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>
static interface	ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P>

Uses of ModelCheckerCache in net.automatalib.modelchecking.modelchecker.cache

Classes in net.automatalib.modelchecking.modelchecker.cache that implement ModelCheckerCache

Modifier and Type	Class and 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 than the previous call.
class	SizeDFAModelCheckerLassoCache<I,P>
class	SizeMealyModelCheckerCache<I,O,P,R>
class	SizeMealyModelCheckerLassoCache<I,O,P>