Package net.automatalib.modelchecking
Class SizeMealyModelCheckerCache<I,O,P,R>
- java.lang.Object
-
- net.automatalib.modelchecking.SizeMealyModelCheckerCache<I,O,P,R>
-
- All Implemented Interfaces:
net.automatalib.modelchecking.InternalModelCheckerDelegator.MealyModelCheckerDelegator<ModelChecker.MealyModelChecker<I,O,P,R>,I,O,P,R>
,ModelChecker<I,MealyMachine<?,I,?,O>,P,R>
,ModelChecker.MealyModelChecker<I,O,P,R>
,ModelCheckerCache<I,MealyMachine<?,I,?,O>,P,R>
,ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>
public class SizeMealyModelCheckerCache<I,O,P,R> extends Object implements ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>, net.automatalib.modelchecking.InternalModelCheckerDelegator.MealyModelCheckerDelegator<ModelChecker.MealyModelChecker<I,O,P,R>,I,O,P,R>
- 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>
-
-
Constructor Summary
Constructors Constructor Description SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I,O,P,R> 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.ModelChecker.MealyModelChecker<I,O,P,R>
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.ModelChecker
findCounterExample
-
Methods inherited from interface net.automatalib.modelchecking.ModelCheckerCache
clear
-
-
-
-
Constructor Detail
-
SizeMealyModelCheckerCache
public SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I,O,P,R> modelChecker)
-
-
Method Detail
-
getModelChecker
public ModelChecker.MealyModelChecker<I,O,P,R> 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>
-
-