net.automatalib.modelchecking.modelchecker.cache

Class SizeMealyModelCheckerCache<I,O,P,R>

java.lang.Object

net.automatalib.modelchecking.modelchecker.cache.SizeMealyModelCheckerCache<I,O,P,R>

All Implemented Interfaces:

ModelChecker<I,MealyMachine<?,I,?,O>,P,R>, InternalModelCheckerDelegator.MealyModelCheckerDelegator<ModelChecker.MealyModelChecker<I,O,P,R>,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>, InternalModelCheckerDelegator.MealyModelCheckerDelegator<ModelChecker.MealyModelChecker<I,O,P,R>,I,O,P,R>

See Also:

SizeDFAModelCheckerCache

Nested Class Summary

Nested Classes

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.

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

ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>

Constructor Summary

Constructors

Constructor and Description
SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I,O,P,R> modelChecker)

Method Summary

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()

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

clear

Methods inherited from interface net.automatalib.modelchecking.modelchecker.cache.InternalModelCheckerDelegator.MealyModelCheckerDelegator

getSkipOutputs, setSkipOutputs

Methods inherited from interface net.automatalib.modelchecking.ModelChecker

findCounterExample

Constructor Detail

SizeMealyModelCheckerCache

public SizeMealyModelCheckerCache(ModelChecker.MealyModelChecker<I,O,P,R> modelChecker)

Method Detail

getModelChecker

public ModelChecker.MealyModelChecker<I,O,P,R> getModelChecker()

findCounterExample

@Nullable
public R findCounterExample(A automaton,
                                      Collection<? extends I> inputs,
                                      P property)

The cached implementation for finding counter examples.

Specified by:

findCounterExample in interface ModelChecker<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 interface ModelCheckerCache<I,A extends SimpleAutomaton<?,I>,P,R>