Uses of Interface
de.learnlib.counterexamples.LocalSuffixFinder

Packages that use LocalSuffixFinder

Package	Description
de.learnlib.algorithms.lstargeneric.ce
de.learnlib.counterexamples

Uses of LocalSuffixFinder in de.learnlib.algorithms.lstargeneric.ce

Methods in de.learnlib.algorithms.lstargeneric.ce with parameters of type LocalSuffixFinder

Modifier and Type	Method and Description
static <I,O> ObservationTableCEXHandler<I,O>	ObservationTableCEXHandlers.fromLocalSuffixFinder(LocalSuffixFinder<I,O> localFinder)
static <I,O> ObservationTableCEXHandler<I,O>	ObservationTableCEXHandlers.fromLocalSuffixFinder(LocalSuffixFinder<I,O> localFinder, boolean allSuffixes)

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.