Package | Description |
---|---|
de.learnlib.algorithms.ttt.mealy |
Modifier and Type | Method and Description |
---|---|
protected TTTTransitionMealy<I,O> |
TTTHypothesisMealy.mapTransition(TTTTransition<I,net.automatalib.words.Word<O>> internalTransition) |
Modifier and Type | Method and Description |
---|---|
net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction<TTTTransitionMealy<I,O>,Void,O> |
TTTHypothesisMealy.fullIntAbstraction(net.automatalib.words.Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
TTTState<I,net.automatalib.words.Word<O>> |
TTTHypothesisMealy.getSuccessor(TTTTransitionMealy<I,O> transition) |
O |
TTTHypothesisMealy.getTransitionOutput(TTTTransitionMealy<I,O> transition) |
O |
TTTHypothesisMealy.getTransitionProperty(TTTTransitionMealy<I,O> transition) |
Copyright © 2018. All rights reserved.