Uses of Interface
de.learnlib.counterexamples.LocalSuffixFinder

Packages that use LocalSuffixFinder

Package	Description
de.learnlib.algorithms.discriminationtree
de.learnlib.algorithms.discriminationtree.dfa
de.learnlib.algorithms.discriminationtree.mealy
de.learnlib.algorithms.lstar.ce
de.learnlib.counterexamples

Uses of LocalSuffixFinder in de.learnlib.algorithms.discriminationtree

Methods in de.learnlib.algorithms.discriminationtree that return LocalSuffixFinder

Modifier and Type	Method and Description
static <I,O> LocalSuffixFinder<? super I,? super O>	AbstractDTLearner.BuilderDefaults.suffixFinder()

Constructors in de.learnlib.algorithms.discriminationtree with parameters of type LocalSuffixFinder

Constructor and Description
AbstractDTLearner(net.automatalib.words.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.algorithms.discriminationtree.dfa

Methods in de.learnlib.algorithms.discriminationtree.dfa that return LocalSuffixFinder

Modifier and Type	Method and Description
static <I,O> LocalSuffixFinder<? super I,? super O>	DTLearnerDFA.BuilderDefaults.suffixFinder()

Constructors in de.learnlib.algorithms.discriminationtree.dfa with parameters of type LocalSuffixFinder

Constructor and Description
DTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LocalSuffixFinder<? super I,? super Boolean> suffixFinder, boolean repeatedCounterexampleEvaluation, boolean epsilonRoot) Constructor.

Uses of LocalSuffixFinder in de.learnlib.algorithms.discriminationtree.mealy

Constructors in de.learnlib.algorithms.discriminationtree.mealy with parameters of type LocalSuffixFinder

Constructor and Description
DTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, LocalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation) Constructor.

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

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

Modifier and Type	Method and 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.counterexamples

Classes in de.learnlib.counterexamples that implement LocalSuffixFinder

Modifier and Type	Class and Description
class	AcexLocalSuffixFinder Wraps a AbstractNamedAcexAnalyzer.

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 that return LocalSuffixFinder

Modifier and Type	Method and Description
static LocalSuffixFinder<Object,Object>[]	LocalSuffixFinders.values()

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

Modifier and Type	Method and 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.