Uses of Interface
de.learnlib.datastructure.pta.config.ProcessingOrder

Packages that use ProcessingOrder

Package	Description
de.learnlib.algorithm.rpni	This package (and sub-packages) provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper Inferring regular languages in polynomial update time by Jose Oncina and Pedro García.
de.learnlib.datastructure.pta.config

Uses of ProcessingOrder in de.learnlib.algorithm.rpni

Methods in de.learnlib.algorithm.rpni with parameters of type ProcessingOrder

Modifier and Type	Method	Description
void	AbstractBlueFringeRPNI.setProcessingOrder(ProcessingOrder order)	Sets the order in which the respective merge candidates should be processed.

Uses of ProcessingOrder in de.learnlib.datastructure.pta.config

Classes in de.learnlib.datastructure.pta.config that implement ProcessingOrder

Modifier and Type	Class	Description
class	DefaultProcessingOrders	Standard processing orders that can be used for the RPNI algorithm.