Package | Description |
---|---|
net.automatalib.util.partitionrefinement |
Modifier and Type | Method and Description |
---|---|
static PaigeTarjanInitializers.AutomatonInitialPartitioning |
PaigeTarjanInitializers.AutomatonInitialPartitioning.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PaigeTarjanInitializers.AutomatonInitialPartitioning[] |
PaigeTarjanInitializers.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,
PaigeTarjanInitializers.AutomatonInitialPartitioning ip,
boolean pruneUnreachable)
Initializes the partition refinement data structure from a given abstracted
deterministic automaton, using a predefined initial partitioning mode.
|
Copyright © 2015. All rights reserved.