Package de.learnlib.datastructure.pta.config

Interface Summary

Interface	Description
ProcessingOrder	Interface for entities that specify the order in which blue states are processed (i.e., considered for merges).

Enum Summary

Enum	Description
DefaultProcessingOrders	Standard processing orders that can be used for the RPNI algorithm.