Package net.automatalib.modelchecking
Class SizeMealyModelCheckerLassoCache<I,O,P>
- java.lang.Object
-
- net.automatalib.modelchecking.SizeMealyModelCheckerLassoCache<I,O,P>
-
- All Implemented Interfaces:
net.automatalib.modelchecking.InternalModelCheckerDelegator.MealyModelCheckerDelegator<ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>,I,O,P,Lasso.MealyLasso<I,O>>
,net.automatalib.modelchecking.InternalModelCheckerDelegator.MealyModelCheckerLassoDelegator<ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>,I,O,P>
,net.automatalib.modelchecking.InternalModelCheckerDelegator.ModelCheckerLassoDelegator<ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>,I,MealyMachine<?,I,?,O>,P,Lasso.MealyLasso<I,O>>
,ModelChecker<I,MealyMachine<?,I,?,O>,P,Lasso.MealyLasso<I,O>>
,ModelChecker.MealyModelChecker<I,O,P,Lasso.MealyLasso<I,O>>
,ModelCheckerCache<I,MealyMachine<?,I,?,O>,P,Lasso.MealyLasso<I,O>>
,ModelCheckerCache.MealyModelCheckerCache<I,O,P,Lasso.MealyLasso<I,O>>
,ModelCheckerLasso<I,MealyMachine<?,I,?,O>,P,Lasso.MealyLasso<I,O>>
,ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
,ModelCheckerLassoCache<I,MealyMachine<?,I,?,O>,P,Lasso.MealyLasso<I,O>>
,ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P>
public class SizeMealyModelCheckerLassoCache<I,O,P> extends Object implements ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P>, net.automatalib.modelchecking.InternalModelCheckerDelegator.MealyModelCheckerLassoDelegator<ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>,I,O,P>
- See Also:
SizeDFAModelCheckerCache
-
-
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>
-
-
Constructor Summary
Constructors Constructor Description SizeMealyModelCheckerLassoCache(ModelCheckerLasso.MealyModelCheckerLasso<I,O,P> modelChecker)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
clear()
Clears the cache.@Nullable R
findCounterExample(A automaton, Collection<? extends I> inputs, P property)
The cached implementation for finding counter examples.ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
getModelChecker()
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.modelchecking.InternalModelCheckerDelegator.MealyModelCheckerDelegator
getSkipOutputs, setSkipOutputs
-
Methods inherited from interface net.automatalib.modelchecking.InternalModelCheckerDelegator.ModelCheckerLassoDelegator
getMinimumUnfolds, getMultiplier, setMinimumUnfolds, setMultiplier
-
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
-
-
-
-
Constructor Detail
-
SizeMealyModelCheckerLassoCache
public SizeMealyModelCheckerLassoCache(ModelCheckerLasso.MealyModelCheckerLasso<I,O,P> modelChecker)
-
-
Method Detail
-
getModelChecker
public ModelCheckerLasso.MealyModelCheckerLasso<I,O,P> getModelChecker()
-
findCounterExample
public @Nullable R findCounterExample(A automaton, Collection<? extends I> inputs, P property)
The cached implementation for finding counter examples.- Specified by:
findCounterExample
in interfaceModelChecker<I,A extends SimpleAutomaton<?,I>,P,R>
- Parameters:
automaton
- the automaton to check the property on.inputs
- the alphabet.property
- the property.- Returns:
- the counter examples, or
null
if no counter examples exist. - See Also:
ModelChecker.findCounterExample(Object, Collection, Object)
-
clear
public void clear()
Description copied from interface:ModelCheckerCache
Clears the cache.- Specified by:
clear
in interfaceModelCheckerCache<I,A extends SimpleAutomaton<?,I>,P,R>
-
-