Uses of Class
net.automatalib.util.partitionrefinement.PaigeTarjan.WorklistPolicy

Packages that use PaigeTarjan.WorklistPolicy

Package	Description
net.automatalib.util.partitionrefinement

Uses of PaigeTarjan.WorklistPolicy in net.automatalib.util.partitionrefinement

Methods in net.automatalib.util.partitionrefinement that return PaigeTarjan.WorklistPolicy

Modifier and Type	Method and Description
static PaigeTarjan.WorklistPolicy	PaigeTarjan.WorklistPolicy.valueOf(String name) Returns the enum constant of this type with the specified name.
static PaigeTarjan.WorklistPolicy[]	PaigeTarjan.WorklistPolicy.values() Returns an array containing the constants of this enum type, in the order they are declared.