Package | Description |
---|---|
de.learnlib.algorithms.rpni |
Modifier and Type | Method and Description |
---|---|
protected void |
BlueFringeRPNIDFA.initializePTA(BlueFringePTA<Boolean,Void> pta) |
protected abstract void |
AbstractBlueFringeRPNI.initializePTA(BlueFringePTA<SP,TP> pta)
Initializes an empty PTA with sample data.
|
protected void |
BlueFringeRPNIMealy.initializePTA(BlueFringePTA<Void,O> pta) |
protected net.automatalib.automata.fsa.impl.compact.CompactDFA<I> |
BlueFringeRPNIDFA.ptaToModel(BlueFringePTA<Boolean,Void> pta) |
protected abstract M |
AbstractBlueFringeRPNI.ptaToModel(BlueFringePTA<SP,TP> pta)
Transforms the final PTA into a model.
|
protected net.automatalib.automata.transout.MealyMachine<?,I,?,O> |
BlueFringeRPNIMealy.ptaToModel(BlueFringePTA<Void,O> pta) |
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.
|
Copyright © 2018. All rights reserved.