Class and 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.
|
Class and 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.
|
Class and 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.
|
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.
|
PaigeTarjan.WorklistPolicy
Determines how the worklist is managed, i.e., where newly created blocks are inserted.
|
StateSignature
Utility class for constructing state signatures used for classifying states during
PaigeTarjanInitializers . |
Copyright © 2020. All rights reserved.