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

Packages that use AbstractBlueFringePTA

Package	Description
de.learnlib.datastructure.pta.pta

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

Subclasses of AbstractBlueFringePTA in de.learnlib.datastructure.pta.pta

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

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

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

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

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