net.automatalib.modelchecking

Interface ModelCheckerCache<I,A,P,R>

Type Parameters:

I - the input type

A - the automaton type

P - the property type

R - the type of a counterexample

All Superinterfaces:

ModelChecker<I,A,P,R>

All Known Subinterfaces:

ModelCheckerCache.DFAModelCheckerCache<I,P,R>, ModelCheckerCache.MealyModelCheckerCache<I,O,P,R>, ModelCheckerLassoCache<I,A,P,R>, ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>, ModelCheckerLassoCache.MealyModelCheckerLassoCache<I,O,P>

All Known Implementing Classes:

SizeDFAModelCheckerCache, SizeDFAModelCheckerLassoCache, SizeMealyModelCheckerCache, SizeMealyModelCheckerLassoCache

public interface ModelCheckerCache<I,A,P,R>
extends ModelChecker<I,A,P,R>

A model checker that caches calls to ModelChecker.findCounterExample(Object, Collection, Object).

Author:

Jeroen Meijer

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	ModelCheckerCache.DFAModelCheckerCache<I,P,R>
static interface	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>

Method Summary

Modifier and Type	Method and Description
void	clear() Clears the cache.

Methods inherited from interface net.automatalib.modelchecking.ModelChecker

findCounterExample

Method Detail

clear

void clear()

Clears the cache.