Modifier and Type | Method and Description |
---|---|
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> |
HopcroftMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton,
Alphabet<I> alphabet,
AutomatonCreator<A,I> creator,
AutomatonInitialPartitioning ap,
HopcroftMinimization.PruningMode pruningMode)
Minimizes the given automaton depending on the given partitioning function.
|
Modifier and Type | Method and Description |
---|---|
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> |
PaigeTarjanMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton,
Alphabet<I> alphabet,
AutomatonCreator<A,I> creator,
AutomatonInitialPartitioning ap,
Object sinkClassification)
Minimizes the given automaton depending on the given partitioning function.
|
Modifier and Type | Method and Description |
---|---|
static AutomatonInitialPartitioning |
AutomatonInitialPartitioning.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static AutomatonInitialPartitioning[] |
AutomatonInitialPartitioning.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static void |
PaigeTarjanInitializers.initCompleteDeterministic(PaigeTarjan pt,
UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> absAutomaton,
AutomatonInitialPartitioning ip,
boolean pruneUnreachable)
Initializes the partition refinement data structure from a given abstracted deterministic automaton, using a
predefined initial partitioning mode.
|
Copyright © 2020. All rights reserved.