Package net.automatalib.util.partitionrefinement

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 during PaigeTarjanInitializers.

Method Summary

Modifier and Type	Method	Description
static StateSignature	byFullSignature(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
static <S,I> StateSignature	byFullSignature(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
static <SP,TP> StateSignature	byFullSignature(SP stateProperty, TP... transitionProperties)
static StateSignature	byTransitionProperties(UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> automaton, int state)
static <S,I> StateSignature	byTransitionProperties(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
static <TP> StateSignature	byTransitionProperties(TP... properties)
boolean	equals(@Nullable Object o)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

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)

equals

public boolean equals(@Nullable Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object