Interface | Description |
---|---|
Lasso<I,D> |
A lasso is an single infinite word.
|
Lasso.DFALasso<I> |
A DFALasso is a lasso for
DFA s. |
Lasso.MealyLasso<I,O> |
A MealyLasso is a lasso for
MealyMachine s. |
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> |
Copyright © 2020. All rights reserved.