| Class | Description |
|---|---|
| MealyCacheConsistencyTest<I,O> |
An
EquivalenceOracle that tests an hypothesis for consistency with the contents of a MealyCacheOracle. |
| MealyCacheOracle<I,O> | |
| MealyCacheOracle.MealyCacheOracleState<I,O> | |
| MealyCaches | |
| SymbolQueryCache<I,O> |
A cache for a
SymbolQueryOracle. |
| SymbolQueryCache.SymbolQueryCacheState<I,O> |
Copyright © 2020. All rights reserved.