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 © 2018. All rights reserved.