Uses of Interface
de.learnlib.counterexamples.GlobalSuffixFinder

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.