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,Word<O>> internalTransition)

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

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

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

Modifier and Type	Method	Description
TTTState<I,Word<O>>	TTTHypothesisMealy.getSuccessor(TTTTransitionMealy<I,O> transition)
O	TTTHypothesisMealy.getTransitionOutput(TTTTransitionMealy<I,O> transition)
O	TTTHypothesisMealy.getTransitionProperty(TTTTransitionMealy<I,O> transition)