Uses of Class
net.automatalib.util.partitionrefinement.StateSignature
-
Packages that use StateSignature Package Description net.automatalib.util.partitionrefinement -
-
Uses of StateSignature in net.automatalib.util.partitionrefinement
Methods in net.automatalib.util.partitionrefinement that return StateSignature Modifier and Type Method Description static StateSignature
StateSignature. byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
static <S,I>
StateSignatureStateSignature. byFullSignature(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
static <SP,TP>
StateSignatureStateSignature. byFullSignature(SP stateProperty, TP... transitionProperties)
static StateSignature
StateSignature. byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
static <S,I>
StateSignatureStateSignature. byTransitionProperties(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
static <TP> StateSignature
StateSignature. byTransitionProperties(TP... properties)
-