de.learnlib.datastructure.pta.pta

Classes

• AbstractBasePTAState
• AbstractBlueFringePTA
• AbstractBlueFringePTAState
• BasePTA
• BlueFringePTA
• BlueFringePTAState
• PTATransition
• RedBlueMerge

Exceptions

• PropertyConflictException