Class StateSignature
- java.lang.Object
-
- net.automatalib.util.partitionrefinement.StateSignature
-
public final class StateSignature extends Object
Utility class for constructing state signatures used for classifying states duringPaigeTarjanInitializers
.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static StateSignature
byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
static <S,I>
StateSignaturebyFullSignature(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
static <SP,TP>
StateSignaturebyFullSignature(SP stateProperty, TP... transitionProperties)
static StateSignature
byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
static <S,I>
StateSignaturebyTransitionProperties(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
static <TP> StateSignature
byTransitionProperties(TP... properties)
boolean
equals(@Nullable Object o)
int
hashCode()
-
-
-
Method Detail
-
byFullSignature
@SafeVarargs public static <SP,TP> StateSignature byFullSignature(SP stateProperty, TP... transitionProperties)
-
byFullSignature
public static StateSignature byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
-
byFullSignature
public static <S,I> StateSignature byFullSignature(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
-
byTransitionProperties
@SafeVarargs public static <TP> StateSignature byTransitionProperties(TP... properties)
-
byTransitionProperties
public static StateSignature byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
-
byTransitionProperties
public static <S,I> StateSignature byTransitionProperties(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
-
-