Package net.automatalib.modelchecking

Interface Summary

Interface	Description
Lasso<I,D>	A lasso is an single infinite word.
Lasso.DFALasso<I>	A DFALasso is a lasso for DFAs.
Lasso.MealyLasso<I,O>	A MealyLasso is a lasso for MealyMachines.
ModelChecker<I,A,P,R>	A model checker checks whether a given automaton satisfies a given property.
ModelChecker.DFAModelChecker<I,P,R>
ModelChecker.MealyModelChecker<I,O,P,R>	A model checker for Mealy machines.
ModelCheckerCache<I,A,P,R>	A model checker that caches calls to ModelChecker.findCounterExample(Object, Collection, Object).
ModelCheckerCache.DFAModelCheckerCache<I,P,R>
ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>
ModelCheckerLasso<I,A,P,R extends Lasso<I,?>>	A model checker where the counterexample is a lasso.
ModelCheckerLasso.DFAModelCheckerLasso<I,P>
ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
ModelCheckerLassoCache<I,A,P,R extends Lasso<I,?>>
ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>
ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P>