| 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 |
Copyright © 2014. All Rights Reserved.