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 Description static PaigeTarjan.WorklistPolicyPaigeTarjan.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.
-