| Class | Description |
|---|---|
| DFACacheConsistencyTest<I> |
An
EquivalenceOracle that tests an hypothesis for consistency with the
contents of a DFACacheOracle. |
| DFACacheOracle<I> |
DFA cache.
|
| DFACaches | |
| DFAHashCacheOracle<I> |
Copyright © 2015. All Rights Reserved.