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

Packages that use BlueFringePTAState

Package	Description
de.learnlib.datastructure.pta.pta

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

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

Modifier and Type	Method and Description
protected BlueFringePTAState<SP,TP>	BlueFringePTAState.createState()