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