net.automatalib.util.automata.equivalence

Class DeterministicEquivalenceTest<I>

java.lang.Object

net.automatalib.util.automata.equivalence.DeterministicEquivalenceTest<I>

public class DeterministicEquivalenceTest<I>
extends Object

Constructor Summary

Constructors

Constructor and Description
DeterministicEquivalenceTest(UniversalDeterministicAutomaton<?,I,?,?,?> reference)

Method Summary

Methods

Modifier and Type	Method and Description
Word<I>	findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other, Collection<? extends I> inputs)
static <I,S,T,S2,T2> Word<I>	findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> reference, UniversalDeterministicAutomaton<S2,I,T2,?,?> other, Collection<? extends I> inputs)

Methods inherited from class java.lang.Object

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

Constructor Detail

DeterministicEquivalenceTest

public DeterministicEquivalenceTest(UniversalDeterministicAutomaton<?,I,?,?,?> reference)

Method Detail

findSeparatingWord

public Word<I> findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other,
                         Collection<? extends I> inputs)

findSeparatingWord

public static <I,S,T,S2,T2> Word<I> findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> reference,
                                       UniversalDeterministicAutomaton<S2,I,T2,?,?> other,
                                       Collection<? extends I> inputs)