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

Enclosing interface:

ModelCheckerLasso<I,A,P,R extends Lasso<I,?>>

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