Package | Description |
---|---|
net.automatalib.util.partitionrefinement |
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.
|
Modifier and Type | Method and Description |
---|---|
void |
PaigeTarjan.setWorklistPolicy(PaigeTarjan.WorklistPolicy policy) |
Copyright © 2015. All rights reserved.