public class SizeMealyModelCheckerCache<I,O,P,R> extends Object implements ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>, InternalModelCheckerDelegator.MealyModelCheckerDelegator<ModelChecker.MealyModelChecker<I,O,P,R>,I,O,P,R>
SizeDFAModelCheckerCache
Modifier and Type | Class and Description |
---|---|
static interface |
InternalModelCheckerDelegator.MealyModelCheckerDelegator<MC extends ModelChecker.MealyModelChecker<I,O,P,R>,I,O,P,R>
Specialization of
InternalModelCheckerDelegator . |
static interface |
InternalModelCheckerDelegator.MealyModelCheckerLassoDelegator<MC extends ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>,I,O,P>
Specialization of
InternalModelCheckerDelegator . |
static interface |
InternalModelCheckerDelegator.ModelCheckerLassoDelegator<MC extends ModelCheckerLasso<I,A,P,R>,I,A,P,R extends Lasso<I,?>>
Specialization of
InternalModelCheckerDelegator . |
ModelCheckerCache.DFAModelCheckerCache<I,P,R>, ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
Constructor and Description |
---|
SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I,O,P,R> modelChecker) |
Modifier and Type | Method and Description |
---|---|
void |
clear()
Clears the cache.
|
R |
findCounterExample(A automaton,
Collection<? extends I> inputs,
P property)
The cached implementation for finding counter examples.
|
ModelChecker.MealyModelChecker<I,O,P,R> |
getModelChecker() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
clear
getSkipOutputs, setSkipOutputs
findCounterExample
public SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I,O,P,R> modelChecker)
public ModelChecker.MealyModelChecker<I,O,P,R> getModelChecker()
public R findCounterExample(A automaton, Collection<? extends I> inputs, P property)
findCounterExample
in interface ModelChecker<I,A extends SimpleAutomaton<?,I>,P,R>
automaton
- the automaton to check the property on.inputs
- the alphabet.property
- the property.null
if no counter examples exist.ModelChecker.findCounterExample(Object, Collection, Object)
public void clear()
ModelCheckerCache
clear
in interface ModelCheckerCache<I,A extends SimpleAutomaton<?,I>,P,R>
Copyright © 2020. All rights reserved.