public class DeterministicEquivalenceTest<I> extends Object
Modifier and Type | Field and Description |
---|---|
static int |
mapThreshold |
Constructor and Description |
---|
DeterministicEquivalenceTest(UniversalDeterministicAutomaton<?,I,?,?,?> reference) |
Modifier and Type | Method and Description |
---|---|
Word<I> |
findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other,
Collection<? extends I> inputs) |
static <I,S,T,S2,T2> |
findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> reference,
UniversalDeterministicAutomaton<S2,I,T2,?,?> other,
Collection<? extends I> inputs) |
static <I,S,T,S2,T2> |
findSeparatingWordLarge(UniversalDeterministicAutomaton<S,I,T,?,?> reference,
UniversalDeterministicAutomaton<S2,I,T2,?,?> other,
Collection<? extends I> inputs) |
public DeterministicEquivalenceTest(UniversalDeterministicAutomaton<?,I,?,?,?> reference)
public Word<I> findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other, Collection<? extends I> inputs)
public static <I,S,T,S2,T2> Word<I> findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> reference, UniversalDeterministicAutomaton<S2,I,T2,?,?> other, Collection<? extends I> inputs)
public static <I,S,T,S2,T2> Word<I> findSeparatingWordLarge(UniversalDeterministicAutomaton<S,I,T,?,?> reference, UniversalDeterministicAutomaton<S2,I,T2,?,?> other, Collection<? extends I> inputs)
Copyright © 2015. All rights reserved.