Enum AutomatonInitialPartitioning
- java.lang.Object
-
- java.lang.Enum<AutomatonInitialPartitioning>
-
- net.automatalib.util.partitionrefinement.AutomatonInitialPartitioning
-
- All Implemented Interfaces:
Serializable
,Comparable<AutomatonInitialPartitioning>
public enum AutomatonInitialPartitioning extends Enum<AutomatonInitialPartitioning>
This enum allows to conveniently specify how the states of a deterministic automaton are initially partitioned when initializing the partition refinement data structure.
-
-
Enum Constant Summary
Enum Constants Enum Constant 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.
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method 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.
-
-
-
Enum Constant Detail
-
BY_STATE_PROPERTY
public static final AutomatonInitialPartitioning 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
public static final AutomatonInitialPartitioning 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. Note that if transitions are missing, anull
property is assumed.For constructing custom sink classifications required by the partial
PaigeTarjanInitializers
, please refer to theStateSignature
methods.
-
BY_FULL_SIGNATURE
public static final AutomatonInitialPartitioning BY_FULL_SIGNATURE
States are initially partitioned by both their state properties and their transition properties. This mode can be regarded as a combination ofBY_STATE_PROPERTY
andBY_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 theStateSignature
methods.
-
-
Method Detail
-
values
public static AutomatonInitialPartitioning[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (AutomatonInitialPartitioning c : AutomatonInitialPartitioning.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static AutomatonInitialPartitioning valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
initialClassifier
public abstract IntFunction<?> initialClassifier(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton)
-
-