Package de.learnlib.datastructure.pta

Class Summary

Class	Description
AbstractBasePTAState<S extends AbstractBasePTAState<S,SP,TP>,SP,TP>
AbstractBlueFringePTA<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>
AbstractBlueFringePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>
BasePTA<S extends AbstractBasePTAState<S,SP,TP>,SP,TP>	Base class for prefix tree acceptors.
BlueFringePTA<SP,TP>
BlueFringePTAState<SP,TP>
PTATransition<S extends AbstractBasePTAState<S,?,?>>
RedBlueMerge<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>