Module net.automatalib.util

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.RegularAutomaton<S,I,T,SP,TP> reference, UniversalDeterministicAutomaton.RegularAutomaton<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 Details

findSeparatingWord

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