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