Uses of Interface de.learnlib.counterexample.LocalSuffixFinder (LearnLib 0.17.0 API)

Packages that use LocalSuffixFinder
Package	Description
de.learnlib.algorithm.lstar.ce
de.learnlib.algorithm.observationpack	This package (and sub-packages) provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis Active learning of interface programs by Falk Howar.
de.learnlib.algorithm.observationpack.dfa
de.learnlib.algorithm.observationpack.mealy
de.learnlib.algorithm.observationpack.moore
de.learnlib.counterexample	This package contains a collection of standard algorithms for handling counterexamples in automata learning.

Uses of LocalSuffixFinder in de.learnlib.algorithm.lstar.ce

Methods in de.learnlib.algorithm.lstar.ce with parameters of type LocalSuffixFinder
Modifier and Type	Method	Description
`static <I,D> ObservationTableCEXHandler<I,D>`	ObservationTableCEXHandlers.`fromLocalSuffixFinder(LocalSuffixFinder<I,D> localFinder)`
`static <I,D> ObservationTableCEXHandler<I,D>`	ObservationTableCEXHandlers.`fromLocalSuffixFinder(LocalSuffixFinder<I,D> localFinder, boolean allSuffixes)`

Uses of LocalSuffixFinder in de.learnlib.algorithm.observationpack

Methods in de.learnlib.algorithm.observationpack that return LocalSuffixFinder
Modifier and Type	Method	Description
`static <I,O> LocalSuffixFinder<? super I,? super O>`	AbstractOPLearner.BuilderDefaults.`suffixFinder()`

Constructors in de.learnlib.algorithm.observationpack with parameters of type LocalSuffixFinder
Constructor	Description
`AbstractOPLearner(Alphabet<I> alphabet, MembershipOracle<I,D> oracle, LocalSuffixFinder<? super I,? super D> suffixFinder, boolean repeatedCounterexampleEvaluation, AbstractWordBasedDiscriminationTree<I,D,HState<I,D,SP,TP>> dtree)`

Uses of LocalSuffixFinder in de.learnlib.algorithm.observationpack.dfa

Methods in de.learnlib.algorithm.observationpack.dfa that return LocalSuffixFinder
Modifier and Type	Method	Description
`LocalSuffixFinder<? super I,? super Boolean>`	OPLearnerDFABuilder.`getSuffixFinder()`

Methods in de.learnlib.algorithm.observationpack.dfa with parameters of type LocalSuffixFinder
Modifier and Type	Method	Description
`void`	OPLearnerDFABuilder.`setSuffixFinder(LocalSuffixFinder<? super I,? super Boolean> suffixFinder)`
`OPLearnerDFABuilder<I>`	OPLearnerDFABuilder.`withSuffixFinder(LocalSuffixFinder<? super I,? super Boolean> suffixFinder)`

Constructors in de.learnlib.algorithm.observationpack.dfa with parameters of type LocalSuffixFinder
Constructor	Description
`OPLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LocalSuffixFinder<? super I,? super Boolean> suffixFinder, boolean repeatedCounterexampleEvaluation, boolean epsilonRoot)`	Constructor.

Uses of LocalSuffixFinder in de.learnlib.algorithm.observationpack.mealy

Methods in de.learnlib.algorithm.observationpack.mealy that return LocalSuffixFinder
Modifier and Type	Method	Description
`LocalSuffixFinder<? super I,? super Word<O>>`	OPLearnerMealyBuilder.`getSuffixFinder()`

Methods in de.learnlib.algorithm.observationpack.mealy with parameters of type LocalSuffixFinder
Modifier and Type	Method	Description
`void`	OPLearnerMealyBuilder.`setSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)`
`OPLearnerMealyBuilder<I,O>`	OPLearnerMealyBuilder.`withSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)`

Constructors in de.learnlib.algorithm.observationpack.mealy with parameters of type LocalSuffixFinder
Constructor	Description
`OPLearnerMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation)`	Constructor.

Uses of LocalSuffixFinder in de.learnlib.algorithm.observationpack.moore

Methods in de.learnlib.algorithm.observationpack.moore that return LocalSuffixFinder
Modifier and Type	Method	Description
`LocalSuffixFinder<? super I,? super Word<O>>`	OPLearnerMooreBuilder.`getSuffixFinder()`

Methods in de.learnlib.algorithm.observationpack.moore with parameters of type LocalSuffixFinder
Modifier and Type	Method	Description
`void`	OPLearnerMooreBuilder.`setSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)`
`OPLearnerMooreBuilder<I,O>`	OPLearnerMooreBuilder.`withSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)`

Constructors in de.learnlib.algorithm.observationpack.moore with parameters of type LocalSuffixFinder
Constructor	Description
`OPLearnerMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation)`

Uses of LocalSuffixFinder in de.learnlib.counterexample

Classes in de.learnlib.counterexample that implement LocalSuffixFinder
Modifier and Type	Class	Description
`class`	`AcexLocalSuffixFinder`	Wraps a `AbstractNamedAcexAnalyzer`.

Fields in de.learnlib.counterexample declared as LocalSuffixFinder
Modifier and Type	Field	Description
`static LocalSuffixFinder<@Nullable Object,@Nullable Object>`	LocalSuffixFinders.`FIND_LINEAR`	Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
`static LocalSuffixFinder<@Nullable Object,@Nullable Object>`	LocalSuffixFinders.`FIND_LINEAR_REVERSE`	Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
`static LocalSuffixFinder<@Nullable Object,@Nullable 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.counterexample that return LocalSuffixFinder
Modifier and Type	Method	Description
`static LocalSuffixFinder<@Nullable Object,@Nullable Object>[]`	LocalSuffixFinders.`values()`

Methods in de.learnlib.counterexample with parameters of type LocalSuffixFinder
Modifier and Type	Method	Description
`static <I,D> GlobalSuffixFinder<I,D>`	GlobalSuffixFinders.`fromLocalFinder(LocalSuffixFinder<I,D> localFinder)`	Transforms a `LocalSuffixFinder` into a global one.
`static <I,D> GlobalSuffixFinder<I,D>`	GlobalSuffixFinders.`fromLocalFinder(LocalSuffixFinder<I,D> localFinder, boolean allSuffixes)`	Transforms a `LocalSuffixFinder` into a global one.