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

Packages that use AbstractBlueFringePTA

Package	Description
de.learnlib.datastructure.pta

Uses of AbstractBlueFringePTA in de.learnlib.datastructure.pta

Subclasses of AbstractBlueFringePTA in de.learnlib.datastructure.pta

Modifier and Type	Class	Description
class	BlueFringePTA<SP,TP>

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

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

Constructors in de.learnlib.datastructure.pta with parameters of type AbstractBlueFringePTA

Constructor	Description
RedBlueMerge(AbstractBlueFringePTA<S,SP,TP> pta, S qr, S qb)