Uses of Class
de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy

Packages that use TTTTransitionMealy

Package	Description
de.learnlib.algorithms.ttt.mealy

Uses of TTTTransitionMealy in de.learnlib.algorithms.ttt.mealy

Methods in de.learnlib.algorithms.ttt.mealy that return TTTTransitionMealy

Modifier and Type	Method and Description
protected TTTTransitionMealy<I,O>	TTTHypothesisMealy.mapTransition(TTTTransition<I,net.automatalib.words.Word<O>> internalTransition)

Methods in de.learnlib.algorithms.ttt.mealy that return types with arguments of type TTTTransitionMealy

Modifier and Type	Method and Description
net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction<TTTTransitionMealy<I,O>,Void,O>	TTTHypothesisMealy.fullIntAbstraction(net.automatalib.words.Alphabet<I> alphabet)

Methods in de.learnlib.algorithms.ttt.mealy with parameters of type TTTTransitionMealy

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)