Package | Description |
---|---|
net.automatalib.util.partitionrefinement |
Class and 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.
|
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 © 2018. All rights reserved.