Module de.learnlib.datastructure

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>

Enum Summary

Enum	Description
Color	Indicates the coloring of states of the prefix-tree acceptor during merging.