Package net.automatalib.modelchecking

Interface ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>

All Superinterfaces:

ModelChecker<I,DFA<?,I>,P,Lasso.DFALasso<I>>, ModelChecker.DFAModelChecker<I,P,Lasso.DFALasso<I>>, ModelCheckerCache<I,DFA<?,I>,P,Lasso.DFALasso<I>>, ModelCheckerCache.DFAModelCheckerCache<I,P,Lasso.DFALasso<I>>, ModelCheckerLasso<I,DFA<?,I>,P,Lasso.DFALasso<I>>, ModelCheckerLasso.DFAModelCheckerLasso<I,P>, ModelCheckerLassoCache<I,DFA<?,I>,P,Lasso.DFALasso<I>>

All Known Implementing Classes:

SizeDFAModelCheckerLassoCache

Enclosing interface:

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

public static interface ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>
extends ModelCheckerLassoCache<I,DFA<?,I>,P,Lasso.DFALasso<I>>, ModelCheckerCache.DFAModelCheckerCache<I,P,Lasso.DFALasso<I>>, ModelCheckerLasso.DFAModelCheckerLasso<I,P>

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.ModelCheckerCache

ModelCheckerCache.DFAModelCheckerCache<I,P,R>, ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>

Nested classes/interfaces inherited from interface net.automatalib.modelchecking.ModelCheckerLasso

ModelCheckerLasso.DFAModelCheckerLasso<I,P>, ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>

Nested classes/interfaces inherited from interface net.automatalib.modelchecking.ModelCheckerLassoCache

ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>, ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P>

Method Summary

Methods inherited from interface net.automatalib.modelchecking.ModelChecker

findCounterExample

Methods inherited from interface net.automatalib.modelchecking.ModelCheckerCache

clear

Methods inherited from interface net.automatalib.modelchecking.ModelCheckerLasso

computeUnfolds, getMinimumUnfolds, getMultiplier, setMinimumUnfolds, setMultiplier