Package | Description |
---|---|
de.learnlib.algorithms.ttt.mealy |
Modifier and Type | Method and Description |
---|---|
protected TTTTransitionMealy<I,O> |
TTTHypothesisMealy.mapTransition(TTTTransition<I,Word<O>> internalTransition) |
Modifier and Type | Method and Description |
---|---|
TTTState<I,Word<O>> |
TTTHypothesisMealy.getSuccessor(TTTTransitionMealy<I,O> transition) |
O |
TTTHypothesisMealy.getTransitionOutput(TTTTransitionMealy<I,O> transition) |
Copyright © 2015. All rights reserved.