Package de.learnlib.datastructure.pta.pta

Class Summary

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

Exception Summary

Exception	Description
PropertyConflictException	Exception to signal that two (state or transition) properties in a PTA cannot be merged since they are incompatible.