Package | Description |
---|---|
de.learnlib.algorithms.rpni | |
de.learnlib.datastructure.pta.pta |
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.
|
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.
|
Modifier and Type | Method and Description |
---|---|
RedBlueMerge<SP,TP,S> |
AbstractBlueFringePTA.tryMerge(S qr,
S qb) |
Copyright © 2018. All rights reserved.