public final class StateSignature extends Object
PaigeTarjanInitializers
.Modifier and Type | Method and Description |
---|---|
static <SP,TP> StateSignature |
byFullSignature(SP stateProperty,
TP... transitionProperties) |
static StateSignature |
byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton,
int state) |
static <S,I> StateSignature |
byFullSignature(UniversalDeterministicAutomaton<S,I,?,?,?> automaton,
Alphabet<I> alphabet,
S state) |
static <TP> StateSignature |
byTransitionProperties(TP... properties) |
static StateSignature |
byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton,
int state) |
static <S,I> StateSignature |
byTransitionProperties(UniversalDeterministicAutomaton<S,I,?,?,?> automaton,
Alphabet<I> alphabet,
S state) |
boolean |
equals(@Nullable Object o) |
int |
hashCode() |
@SafeVarargs public static <SP,TP> StateSignature byFullSignature(SP stateProperty, TP... transitionProperties)
public static StateSignature byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
public static <S,I> StateSignature byFullSignature(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
@SafeVarargs public static <TP> StateSignature byTransitionProperties(TP... properties)
public static StateSignature byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
public static <S,I> StateSignature byTransitionProperties(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
Copyright © 2020. All rights reserved.