Uses of Interface
de.learnlib.counterexamples.LocalSuffixFinder

Uses of LocalSuffixFinder in de.learnlib.counterexamples

Fields in de.learnlib.counterexamples declared as LocalSuffixFinder

Modifier and Type	Field and Description
static LocalSuffixFinder<Object,Object>	LocalSuffixFinders.FIND_LINEAR Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
static LocalSuffixFinder<Object,Object>	LocalSuffixFinders.FIND_LINEAR_REVERSE Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
static LocalSuffixFinder<Object,Object>	LocalSuffixFinders.RIVEST_SCHAPIRE Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.

Methods in de.learnlib.counterexamples with parameters of type LocalSuffixFinder

Modifier and Type	Method and Description
static <I,O> GlobalSuffixFinder<I,O>	GlobalSuffixFinders.fromLocalFinder(LocalSuffixFinder<I,O> localFinder) Transforms a LocalSuffixFinder into a global one.
static <I,O> GlobalSuffixFinder<I,O>	GlobalSuffixFinders.fromLocalFinder(LocalSuffixFinder<I,O> localFinder, boolean allSuffixes) Transforms a LocalSuffixFinder into a global one.