public static enum HopcroftMinimization.PruningMode extends Enum<HopcroftMinimization.PruningMode>
Enum Constant and Description |
---|
DONT_PRUNE
Do not prune at all.
|
PRUNE_AFTER
Prune after the computation of equivalent states.
|
PRUNE_BEFORE
Prune the automaton before the computation of equivalent states.
|
Modifier and Type | Method and Description |
---|---|
static HopcroftMinimization.PruningMode |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static HopcroftMinimization.PruningMode[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final HopcroftMinimization.PruningMode PRUNE_BEFORE
PRUNE_AFTER
is usually the better choice. This value, however, always guarantees a correct (i.e.,
minimal and initially connected) result.public static final HopcroftMinimization.PruningMode PRUNE_AFTER
public static final HopcroftMinimization.PruningMode DONT_PRUNE
public static HopcroftMinimization.PruningMode[] values()
for (HopcroftMinimization.PruningMode c : HopcroftMinimization.PruningMode.values()) System.out.println(c);
public static HopcroftMinimization.PruningMode valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullCopyright © 2020. All rights reserved.