Uses of Interface
net.automatalib.modelchecking.ModelCheckerCache

Packages that use ModelCheckerCache

Package	Description
net.automatalib.modelchecking

Uses of ModelCheckerCache in net.automatalib.modelchecking

Subinterfaces of ModelCheckerCache in net.automatalib.modelchecking

Modifier and Type	Interface	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>

Classes in net.automatalib.modelchecking that implement ModelCheckerCache

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>
class	SizeMealyModelCheckerCache<I,O,P,R>
class	SizeMealyModelCheckerLassoCache<I,O,P>