Uses of Interface
de.learnlib.counterexamples.GlobalSuffixFinder

Packages that use GlobalSuffixFinder

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

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

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

Modifier and Type	Method and Description
static <I,O> ObservationTableCEXHandler<I,O>	ObservationTableCEXHandlers.fromGlobalSuffixFinder(GlobalSuffixFinder<I,O> globalFinder)

Uses of GlobalSuffixFinder in de.learnlib.counterexamples

Fields in de.learnlib.counterexamples declared as GlobalSuffixFinder

Modifier and Type	Field and Description
static GlobalSuffixFinder<Object,Object>	GlobalSuffixFinders.FIND_LINEAR Adds the single suffix found by the access sequence transformation in ascending linear order.
static GlobalSuffixFinder<Object,Object>	GlobalSuffixFinders.FIND_LINEAR_ALLSUFFIXES Adds the suffix found by the access sequence transformation in ascending linear order, and all of its suffixes.
static GlobalSuffixFinder<Object,Object>	GlobalSuffixFinders.FIND_LINEAR_REVERSE Adds the single suffix found by the access sequence transformation in descending linear order.
static GlobalSuffixFinder<Object,Object>	GlobalSuffixFinders.FIND_LINEAR_REVERSE_ALLSUFFIXES Adds the suffix found by the access sequence transformation in descending linear order, and all of its suffixes.
static GlobalSuffixFinder<Object,Object>	GlobalSuffixFinders.MAHLER_PNUELI Adds all suffixes of the input word, as suggested by Mahler & Pnueli.
static GlobalSuffixFinder<Object,Object>	GlobalSuffixFinders.RIVEST_SCHAPIRE Adds the single suffix found by the access sequence transformation using binary search.
static GlobalSuffixFinder<Object,Object>	GlobalSuffixFinders.RIVEST_SCHAPIRE_ALLSUFFIXES Adds the suffix found by the access sequence transformation using binary search, and all of its suffixes.
static GlobalSuffixFinder<Object,Object>	GlobalSuffixFinders.SHAHBAZ Adds all suffixes of the remainder of the input word, after stripping a maximal one-letter extension of an access sequence

Methods in de.learnlib.counterexamples that return GlobalSuffixFinder

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.