Package de.learnlib.cache.dfa

Class Summary

Class	Description
DFACacheConsistencyTest<I>	An EquivalenceOracle that tests an hypothesis for consistency with the contents of a DFACacheOracle.
DFACacheOracle<I>	DFA cache.