Module net.automatalib.api
Package net.automatalib.modelchecking
package net.automatalib.modelchecking
-
InterfacesClassDescriptionLasso<I,
D> A lasso is a single infinite word.A DFALasso is a lasso forDFAs.Lasso.MealyLasso<I,O> A MealyLasso is a lasso forMealyMachines.ModelChecker<I,M, P, R> A model-checker checks whether a given model 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 toModelChecker.findCounterExample(Object, Collection, Object).ModelCheckerLasso<I,A, P, R extends Lasso<I, ?>> A model checker where the counterexample is a lasso.ModelCheckerLassoCache<I,A, P, R extends Lasso<I, ?>> Combines the two concepts ofModelCheckerCaches andModelCheckerLassos.