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.