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

Packages that use BlueFringePTA

Package	Description
de.learnlib.algorithm.rpni

Uses of BlueFringePTA in de.learnlib.algorithm.rpni

Methods in de.learnlib.algorithm.rpni that return BlueFringePTA

Modifier and Type	Method	Description
protected abstract BlueFringePTA<SP,TP>	AbstractBlueFringeRPNI.fetchPTA()	Fetches the initial PTA for model construction.
protected BlueFringePTA<Boolean,Void>	BlueFringeEDSMDFA.fetchPTA()
protected BlueFringePTA<Boolean,Void>	BlueFringeMDLDFA.fetchPTA()
protected BlueFringePTA<Boolean,Void>	BlueFringeRPNIDFA.fetchPTA()
protected BlueFringePTA<Void,O>	BlueFringeRPNIMealy.fetchPTA()
protected BlueFringePTA<O,Void>	BlueFringeRPNIMoore.fetchPTA()

Methods in de.learnlib.algorithm.rpni with parameters of type BlueFringePTA

Modifier and Type	Method	Description
protected abstract M	AbstractBlueFringeRPNI.ptaToModel(BlueFringePTA<SP,TP> pta)	Transforms the final PTA into a model.
protected net.automatalib.automaton.fsa.DFA<?,I>	BlueFringeEDSMDFA.ptaToModel(BlueFringePTA<Boolean,Void> pta)
protected net.automatalib.automaton.fsa.DFA<?,I>	BlueFringeMDLDFA.ptaToModel(BlueFringePTA<Boolean,Void> pta)
protected net.automatalib.automaton.fsa.DFA<?,I>	BlueFringeRPNIDFA.ptaToModel(BlueFringePTA<Boolean,Void> pta)
protected net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>	BlueFringeRPNIMealy.ptaToModel(BlueFringePTA<Void,O> pta)
protected net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>	BlueFringeRPNIMoore.ptaToModel(BlueFringePTA<O,Void> pta)
protected @Nullable RedBlueMerge<BlueFringePTAState<SP,TP>,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.