static <SP,TP> StateSignature |
StateSignature.byFullSignature(SP stateProperty,
TP... transitionProperties) |
static StateSignature |
StateSignature.byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton,
int state) |
static <S,I> StateSignature |
StateSignature.byFullSignature(UniversalDeterministicAutomaton<S,I,?,?,?> automaton,
Alphabet<I> alphabet,
S state) |
static <TP> StateSignature |
StateSignature.byTransitionProperties(TP... properties) |
static StateSignature |
StateSignature.byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton,
int state) |
static <S,I> StateSignature |
StateSignature.byTransitionProperties(UniversalDeterministicAutomaton<S,I,?,?,?> automaton,
Alphabet<I> alphabet,
S state) |