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

Packages that use RedBlueMerge

Package	Description
de.learnlib.algorithms.rpni
de.learnlib.datastructure.pta.pta

Uses of RedBlueMerge in de.learnlib.algorithms.rpni

Methods in de.learnlib.algorithms.rpni that return RedBlueMerge

Modifier and Type	Method and Description
protected RedBlueMerge<SP,TP,BlueFringePTAState<SP,TP>>	AbstractBlueFringeRPNI.tryMerge(BlueFringePTA<SP,TP> pta, BlueFringePTAState<SP,TP> qr, BlueFringePTAState<SP,TP> qb) Attempts to merge a blue state into a red state.

Methods in de.learnlib.algorithms.rpni with parameters of type RedBlueMerge

Modifier and Type	Method and Description
protected boolean	BlueFringeMDLDFA.decideOnValidMerge(RedBlueMerge<Boolean,Void,BlueFringePTAState<Boolean,Void>> merge)
protected boolean	AbstractBlueFringeRPNI.decideOnValidMerge(RedBlueMerge<SP,TP,BlueFringePTAState<SP,TP>> merge) Implementing the method allows subclasses to decide (and possible reject) valid merges.

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)