Uses of Class
de.learnlib.algorithm.ttt.mealy.TTTTransitionMealy
-
Packages that use TTTTransitionMealy Package Description de.learnlib.algorithm.ttt.mealy -
-
Uses of TTTTransitionMealy in de.learnlib.algorithm.ttt.mealy
Methods in de.learnlib.algorithm.ttt.mealy that return TTTTransitionMealy Modifier and Type Method Description protected TTTTransitionMealy<I,O>
TTTHypothesisMealy. mapTransition(TTTTransition<I,net.automatalib.word.Word<O>> internalTransition)
Methods in de.learnlib.algorithm.ttt.mealy that return types with arguments of type TTTTransitionMealy Modifier and Type Method Description net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction<TTTTransitionMealy<I,O>,Void,O>
TTTHypothesisMealy. fullIntAbstraction(net.automatalib.alphabet.Alphabet<I> alphabet)
Methods in de.learnlib.algorithm.ttt.mealy with parameters of type TTTTransitionMealy Modifier and Type Method Description TTTState<I,net.automatalib.word.Word<O>>
TTTHypothesisMealy. getSuccessor(TTTTransitionMealy<I,O> transition)
O
TTTHypothesisMealy. getTransitionOutput(TTTTransitionMealy<I,O> transition)
O
TTTHypothesisMealy. getTransitionProperty(TTTTransitionMealy<I,O> transition)
-