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