public class DeterministicEquivalenceTest<I> extends Object
Constructor and Description |
---|
DeterministicEquivalenceTest(UniversalDeterministicAutomaton<?,I,?,?,?> reference) |
Modifier and Type | Method and Description |
---|---|
@Nullable Word<I> |
findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other,
Collection<? extends I> inputs) |
static <I,S,T,SP,TP,S2,T2,SP2,TP2> |
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> |
findSeparatingWordLarge(UniversalDeterministicAutomaton<S,I,T,SP,TP> reference,
UniversalDeterministicAutomaton<S2,I,T2,SP2,TP2> other,
Collection<? extends I> inputs) |
public DeterministicEquivalenceTest(UniversalDeterministicAutomaton<?,I,?,?,?> reference)
public @Nullable Word<I> findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other, Collection<? extends I> inputs)
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)
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)
Copyright © 2020. All rights reserved.