Uses of Package
de.learnlib.datastructure.pta.config
-
Packages that use de.learnlib.datastructure.pta.config 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 -
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).