Package | Description |
---|---|
de.learnlib.algorithms.rpni | |
de.learnlib.datastructure.pta.bluefringe |
Class and Description |
---|
ProcessingOrder
Interface for entities that specify the order in which blue states are processed (i.e., considered for merges).
|
Class and 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).
|
Copyright © 2018. All rights reserved.