net.automatalib.modelchecking

Interface ModelChecker.DFAModelChecker<I,P,R>

All Superinterfaces:

ModelChecker<I,DFA<?,I>,P,R>

All Known Subinterfaces:

LTSminDFA<I,R>, ModelCheckerCache.DFAModelCheckerCache<I,P,R>, ModelCheckerLasso.DFAModelCheckerLasso<I,P>, ModelCheckerLassoCache.DFAModelCheckerLassoCache<I,P>

All Known Implementing Classes:

LTSminLTLDFA, LTSminMonitorDFA, SizeDFAModelCheckerCache, SizeDFAModelCheckerLassoCache

Enclosing interface:

ModelChecker<I,A,P,R>

public static interface ModelChecker.DFAModelChecker<I,P,R>
extends ModelChecker<I,DFA<?,I>,P,R>

Nested Class Summary

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

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

Method Summary

Methods inherited from interface net.automatalib.modelchecking.ModelChecker

findCounterExample