Module de.learnlib.datastructure

Package de.learnlib.datastructure.pta.config

package de.learnlib.datastructure.pta.config

Related Packages

Package	Description
de.learnlib.datastructure.pta
de.learnlib.datastructure.pta.visualization
de.learnlib.datastructure.pta.wrapper

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).