Package | Description |
---|---|
de.learnlib.cache.mealy | |
de.learnlib.cache.sul |
Modifier and Type | Method and Description |
---|---|
MealyCacheConsistencyTest<I,O> |
MealyCacheOracle.createCacheConsistencyTest()
Creates an equivalence oracle that checks an hypothesis for consistency with the
contents of this cache.
|
Modifier and Type | Method and Description |
---|---|
MealyCacheConsistencyTest<I,O> |
SULCache.createCacheConsistencyTest() |
Copyright © 2014. All Rights Reserved.