A block (i.e., partition class) that is maintained during the Paige/Tarjan partition refinement algorithm (see
An implementation of the Paige/Tarjan partition refinement algorithm.
This class provides methods for translating the result of a
This class provides several methods to initialize a
Utility class for constructing state signatures used for classifying states during
This enum allows to conveniently specify how the states of a deterministic automaton are initially partitioned when initializing the partition refinement data structure.
Determines how the worklist is managed, i.e., where newly created blocks are inserted.
Copyright © 2020. All rights reserved.