Package net.automatalib.modelchecking

Class SizeDFAModelCheckerLassoCache<I,P>

java.lang.Object

net.automatalib.modelchecking.SizeDFAModelCheckerLassoCache<I,P>

All Implemented Interfaces:

InternalModelCheckerDelegator.ModelCheckerLassoDelegator<ModelCheckerLasso.DFAModelCheckerLasso<I,P>,I,DFA<?,I>,P,Lasso.DFALasso<I>>, 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>>, ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>

public class SizeDFAModelCheckerLassoCache<I,P>
extends Object
implements ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>, InternalModelCheckerDelegator.ModelCheckerLassoDelegator<ModelCheckerLasso.DFAModelCheckerLasso<I,P>,I,DFA<?,I>,P,Lasso.DFALasso<I>>

See Also:

SizeDFAModelCheckerCache

Nested Class Summary

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

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

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

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

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

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

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

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

Constructor Summary

Constructors

Constructor	Description
SizeDFAModelCheckerLassoCache(ModelCheckerLasso.DFAModelCheckerLasso<I,P> modelChecker)

Method Summary

Modifier and Type	Method	Description
void	clear()
@Nullable R	findCounterExample(A automaton, Collection<? extends I> inputs, P property)	The cached implementation for finding counter examples.
ModelCheckerLasso.DFAModelCheckerLasso<I,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.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

SizeDFAModelCheckerLassoCache

public SizeDFAModelCheckerLassoCache(ModelCheckerLasso.DFAModelCheckerLasso<I,P> modelChecker)

Method Detail

getModelChecker

public ModelCheckerLasso.DFAModelCheckerLasso<I,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 interface ModelChecker<I,A extends SimpleAutomaton<?,I>,P,R>

See Also:

ModelChecker.findCounterExample(Object, Collection, Object)

clear

public void clear()

Specified by:

clear in interface ModelCheckerCache<I,A extends SimpleAutomaton<?,I>,P,R>