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 | 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.
|
Copyright © 2020. All rights reserved.