public static enum PaigeTarjanInitializers.AutomatonInitialPartitioning extends Enum<PaigeTarjanInitializers.AutomatonInitialPartitioning>
Enum Constant and Description |
---|
BY_FULL_SIGNATURE
States are initially partitioned by both their state properties and their transition properties.
|
BY_STATE_PROPERTY
States are initially partitioned by their state property, i.e., states with the same state property are
initially placed in the same partition class.
|
BY_TRANSITION_PROPERTIES
States are initially partitioned by all of their transition properties, i.e., states with the same input
symbol/transition property combinations are initially placed in the same partition class.
|
Modifier and Type | Method and Description |
---|---|
abstract IntFunction<Object> |
initialClassifier(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton) |
abstract <S,I> Function<S,Object> |
initialClassifier(UniversalDeterministicAutomaton<S,I,?,?,?> automaton,
Alphabet<I> alphabet) |
static PaigeTarjanInitializers.AutomatonInitialPartitioning |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PaigeTarjanInitializers.AutomatonInitialPartitioning[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final PaigeTarjanInitializers.AutomatonInitialPartitioning BY_STATE_PROPERTY
public static final PaigeTarjanInitializers.AutomatonInitialPartitioning BY_TRANSITION_PROPERTIES
null
property is assumed.public static final PaigeTarjanInitializers.AutomatonInitialPartitioning BY_FULL_SIGNATURE
BY_STATE_PROPERTY
and BY_TRANSITION_PROPERTIES
,
resulting in the coarsest initial partition that refines both partitions obtained using the other modes.public static PaigeTarjanInitializers.AutomatonInitialPartitioning[] values()
for (PaigeTarjanInitializers.AutomatonInitialPartitioning c : PaigeTarjanInitializers.AutomatonInitialPartitioning.values()) System.out.println(c);
public static PaigeTarjanInitializers.AutomatonInitialPartitioning 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 nullpublic abstract IntFunction<Object> initialClassifier(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton)
public abstract <S,I> Function<S,Object> initialClassifier(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet)
Copyright © 2018. All rights reserved.