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.