Package | Description |
---|---|
de.learnlib.cache | |
de.learnlib.cache.mealy | |
de.learnlib.cache.sul |
Class and Description |
---|
MealyCacheOracle
Mealy cache.
|
Class and Description |
---|
MealyCacheConsistencyTest
An
EquivalenceOracle that tests an hypothesis for consistency with the
contents of a MealyCacheOracle . |
MealyCacheOracle
Mealy cache.
|
Class and Description |
---|
MealyCacheConsistencyTest
An
EquivalenceOracle that tests an hypothesis for consistency with the
contents of a MealyCacheOracle . |
Copyright © 2015. All rights reserved.