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. |
Enum | Description |
---|---|
PaigeTarjan.WorklistPolicy |
Determines how the worklist is managed, i.e., where newly created blocks are inserted.
|
PaigeTarjanInitializers.AutomatonInitialPartitioning |
This enum allows to conveniently specify how the states of a deterministic automaton are
initially partitioned when initializing the partition refinement data structure.
|
Copyright © 2015. All rights reserved.