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

Packages that use RedBlueMerge

Package	Description
de.learnlib.datastructure.pta.pta

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

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

Modifier and Type	Method and Description
RedBlueMerge<SP,TP,S>	AbstractBlueFringePTA.tryMerge(S qr, S qb)