Package net.automatalib.modelchecking
-
Class Summary Class Description AbstractLasso<I,D> AbstractUnfoldingModelChecker<I,A,P,L extends Lasso<I,?>> AnModelCheckerLasso
that can unfold loops of lassos.DFALassoImpl<I> A DFALasso is a lasso forDFA
s.MealyLassoImpl<I,O> A MealyLasso is a lasso forMealyMachine
s.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.SizeDFAModelCheckerLassoCache<I,P> SizeMealyModelCheckerCache<I,O,P,R> SizeMealyModelCheckerLassoCache<I,O,P>