Package net.automatalib.modelchecking
Interface ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
-
- All Superinterfaces:
ModelChecker<I,MealyMachine<?,I,?,O>,P,Lasso.MealyLasso<I,O>>
,ModelChecker.MealyModelChecker<I,O,P,Lasso.MealyLasso<I,O>>
,ModelCheckerLasso<I,MealyMachine<?,I,?,O>,P,Lasso.MealyLasso<I,O>>
- All Known Subinterfaces:
ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P>
- All Known Implementing Classes:
AbstractLTSminLTLMealy
,LTSminLTLAlternating
,LTSminLTLIO
,SizeMealyModelCheckerLassoCache
public static interface ModelCheckerLasso.MealyModelCheckerLasso<I,O,P> extends ModelCheckerLasso<I,MealyMachine<?,I,?,O>,P,Lasso.MealyLasso<I,O>>, ModelChecker.MealyModelChecker<I,O,P,Lasso.MealyLasso<I,O>>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.modelchecking.ModelChecker
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
-
Nested classes/interfaces inherited from interface net.automatalib.modelchecking.ModelCheckerLasso
ModelCheckerLasso.DFAModelCheckerLasso<I,P>, ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
-
-
Method Summary
-
Methods inherited from interface net.automatalib.modelchecking.ModelChecker
findCounterExample
-
Methods inherited from interface net.automatalib.modelchecking.ModelChecker.MealyModelChecker
getSkipOutputs, setSkipOutputs
-
Methods inherited from interface net.automatalib.modelchecking.ModelCheckerLasso
computeUnfolds, getMinimumUnfolds, getMultiplier, setMinimumUnfolds, setMultiplier
-
-