public class NearLinearEquivalenceTest<I> extends Object
Constructor and Description |
---|
NearLinearEquivalenceTest(UniversalDeterministicAutomaton<?,I,?,?,?> target) |
Modifier and Type | Method and Description |
---|---|
Word<I> |
findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other,
Collection<? extends I> inputs) |
static <S,I,T> Word<I> |
findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> target,
S init1,
S init2,
Collection<? extends I> inputs) |
static <S,S2,I,T,T2> |
findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> target,
UniversalDeterministicAutomaton<S2,I,T2,?,?> other,
Collection<? extends I> inputs) |
public NearLinearEquivalenceTest(UniversalDeterministicAutomaton<?,I,?,?,?> target)
public Word<I> findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other, Collection<? extends I> inputs)
public static <S,S2,I,T,T2> Word<I> findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> target, UniversalDeterministicAutomaton<S2,I,T2,?,?> other, Collection<? extends I> inputs)
public static <S,I,T> Word<I> findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> target, S init1, S init2, Collection<? extends I> inputs)
Copyright © 2015. All Rights Reserved.