public enum AutomatonInitialPartitioning extends Enum<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<?> |
initialClassifier(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton) |
static AutomatonInitialPartitioning |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static AutomatonInitialPartitioning[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final AutomatonInitialPartitioning BY_STATE_PROPERTY
public static final AutomatonInitialPartitioning BY_TRANSITION_PROPERTIES
null
property is assumed.
For constructing custom sink classifications required by the partial PaigeTarjanInitializers
, please
refer to the StateSignature
methods.
StateSignature.byTransitionProperties(Object[])
,
StateSignature#byTransitionProperties(FullIntAbstraction, int)
,
StateSignature.byTransitionProperties(UniversalDeterministicAutomaton, Alphabet, Object)
public static final 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.
For constructing custom sink classifications required by the partial PaigeTarjanInitializers
, please
refer to the StateSignature
methods.
StateSignature.byFullSignature(Object, Object[])
,
StateSignature#byFullSignature(FullIntAbstraction, int)
,
StateSignature.byFullSignature(UniversalDeterministicAutomaton, Alphabet, Object)
public static AutomatonInitialPartitioning[] values()
for (AutomatonInitialPartitioning c : AutomatonInitialPartitioning.values()) System.out.println(c);
public static 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<?> initialClassifier(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton)
Copyright © 2020. All rights reserved.