Uses of Package
de.learnlib.datastructure.pta.config

Packages that use de.learnlib.datastructure.pta.config

Package	Description
de.learnlib.algorithm.rpni
de.learnlib.datastructure.pta.config

Classes in de.learnlib.datastructure.pta.config used by de.learnlib.algorithm.rpni

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

Classes in de.learnlib.datastructure.pta.config used by de.learnlib.datastructure.pta.config

Class	Description
DefaultProcessingOrders	Standard processing orders that can be used for the RPNI algorithm.
ProcessingOrder	Interface for entities that specify the order in which blue states are processed (i.e., considered for merges).