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