Package net.automatalib.util.automaton.equivalence

Class DeterministicEquivalenceTest

java.lang.Object

net.automatalib.util.automaton.equivalence.DeterministicEquivalenceTest

public final class DeterministicEquivalenceTest
extends Object

Method Summary

Modifier and Type	Method	Description
static <I,S,T,SP,TP,S2,T2,SP2,TP2> @Nullable Word<I>	findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,SP,TP> reference, UniversalDeterministicAutomaton<S2,I,T2,SP2,TP2> other, Collection<? extends I> inputs)
static <I,S,T,SP,TP,S2,T2,SP2,TP2> @Nullable Word<I>	findSeparatingWordLarge(UniversalDeterministicAutomaton<S,I,T,SP,TP> reference, UniversalDeterministicAutomaton<S2,I,T2,SP2,TP2> other, Collection<? extends I> inputs)

Methods inherited from class java.lang.Object

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

Method Detail

findSeparatingWord

public static <I,S,T,SP,TP,S2,T2,SP2,TP2> @Nullable Word<I> findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,SP,TP> reference,
                                                                                                                               UniversalDeterministicAutomaton<S2,I,T2,SP2,TP2> other,
                                                                                                                               Collection<? extends I> inputs)

findSeparatingWordLarge

public static <I,S,T,SP,TP,S2,T2,SP2,TP2> @Nullable Word<I> findSeparatingWordLarge(UniversalDeterministicAutomaton<S,I,T,SP,TP> reference,
                                                                                                                                    UniversalDeterministicAutomaton<S2,I,T2,SP2,TP2> other,
                                                                                                                                    Collection<? extends I> inputs)