Package net.automatalib.util.partitionrefinement

Class Summary

Class	Description
Block	A block (i.e., partition class) that is maintained during the Paige/Tarjan partition refinement algorithm (see PaigeTarjan).
PaigeTarjan	An implementation of the Paige/Tarjan partition refinement algorithm.
PaigeTarjanExtractors	This class provides methods for translating the result of a PaigeTarjan coarsest stable partition computation into several common, more usable forms such as automata.
PaigeTarjanInitializers	This class provides several methods to initialize a PaigeTarjan partition refinement data structure from common sources, e.g., automata.
StateSignature	Utility class for constructing state signatures used for classifying states during PaigeTarjanInitializers.

Enum Summary

Enum	Description
AutomatonInitialPartitioning	This enum allows to conveniently specify how the states of a deterministic automaton are initially partitioned when initializing the partition refinement data structure.
PaigeTarjan.WorklistPolicy	Determines how the worklist is managed, i.e., where newly created blocks are inserted.