Uses of Class
de.learnlib.datastructure.pta.pta.PTATransition

Packages that use PTATransition

Package	Description
de.learnlib.datastructure.pta.bluefringe
de.learnlib.datastructure.pta.pta

Uses of PTATransition in de.learnlib.datastructure.pta.bluefringe

Methods in de.learnlib.datastructure.pta.bluefringe that return types with arguments of type PTATransition

Modifier and Type	Method and Description
<S extends AbstractBlueFringePTAState<?,?,S>> Queue<PTATransition<S>>	ProcessingOrder.createWorklist() Creates a worklist for managing the set of blue states in the RPNI algorithm.

Uses of PTATransition in de.learnlib.datastructure.pta.pta

Methods in de.learnlib.datastructure.pta.pta that return PTATransition

Modifier and Type	Method and Description
PTATransition<S>	BasePTA.getTransition(S state, Integer input)
PTATransition<S>	AbstractBlueFringePTAState.makeBlue()

Methods in de.learnlib.datastructure.pta.pta that return types with arguments of type PTATransition

Modifier and Type	Method and Description
<I> Graph<S,PTATransition<S>>	BasePTA.graphView(Alphabet<I> alphabet)

Methods in de.learnlib.datastructure.pta.pta with parameters of type PTATransition

Modifier and Type	Method and Description
S	BasePTA.getSuccessor(PTATransition<S> transition)
TP	BasePTA.getTransitionProperty(PTATransition<S> transition)

Method parameters in de.learnlib.datastructure.pta.pta with type arguments of type PTATransition

Modifier and Type	Method and Description
void	RedBlueMerge.apply(AbstractBlueFringePTA<SP,TP,S> pta, Consumer<? super PTATransition<S>> newFrontierConsumer)
void	AbstractBlueFringePTA.init(Consumer<? super PTATransition<S>> newBlue)
void	AbstractBlueFringePTA.promote(S qb, Consumer<? super PTATransition<S>> newBlue)