D F G L M R S

D

de.learnlib.counterexamples - package de.learnlib.counterexamples

F

FIND_LINEAR - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders

Adds the single suffix found by the access sequence transformation in ascending linear order.

FIND_LINEAR - Static variable in class de.learnlib.counterexamples.LocalSuffixFinders

Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.

FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders

Adds the suffix found by the access sequence transformation in ascending linear order, and all of its suffixes.

FIND_LINEAR_REVERSE - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders

Adds the single suffix found by the access sequence transformation in descending linear order.

FIND_LINEAR_REVERSE - Static variable in class de.learnlib.counterexamples.LocalSuffixFinders

Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.

FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders

Adds the suffix found by the access sequence transformation in descending linear order, and all of its suffixes.

findLinear(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence transformation in ascending linear order.

findLinear(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders

Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.

findLinearReverse(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence transformation in descending linear order.

findLinearReverse(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders

Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.

findMahlerPnueli(Query<I, O>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested by Mahler & Pnueli.

findRivestSchapire(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the binary search access sequence transformation.

findRivestSchapire(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders

Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.

findShahbaz(Query<I, O>, AccessSequenceTransformer<I>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Returns all suffixes of the counterexample word as distinguishing suffixes, after stripping a maximal one-letter extension of an access sequence, as suggested by Shahbaz.

findSuffixes(Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.counterexamples.GlobalSuffixFinder

Finds a set of distinguishing suffixes which will allow to expose at least one additional state in the hypothesis.

findSuffixIndex(Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.counterexamples.LocalSuffixFinder

Finds, for a given counterexample, a "split index", such that: - the part of the query word before this index leads to the state being split - the part of the query word from this index on is a suffix capable of splitting this state.

fromLocalFinder(LocalSuffixFinder<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Transforms a LocalSuffixFinder into a global one.

fromLocalFinder(LocalSuffixFinder<I, O>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Transforms a LocalSuffixFinder into a global one.

G

GlobalSuffixFinder<I,O> - Interface in de.learnlib.counterexamples

Interface for a global suffix finder.

GlobalSuffixFinders - Class in de.learnlib.counterexamples

A collection of suffix-based global counterexample analyzers.

L

LocalSuffixFinder<I,O> - Interface in de.learnlib.counterexamples

Suffix-based local counterexample analyzer.

LocalSuffixFinders - Class in de.learnlib.counterexamples

A collection of suffix-based local counterexample analyzers.

M

MAHLER_PNUELI - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders

Adds all suffixes of the input word, as suggested by Mahler & Pnueli.

R

RIVEST_SCHAPIRE - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders

Adds the single suffix found by the access sequence transformation using binary search.

RIVEST_SCHAPIRE - Static variable in class de.learnlib.counterexamples.LocalSuffixFinders

Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.

RIVEST_SCHAPIRE_ALLSUFFIXES - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders

Adds the suffix found by the access sequence transformation using binary search, and all of its suffixes.

S

SHAHBAZ - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders

Adds all suffixes of the remainder of the input word, after stripping a maximal one-letter extension of an access sequence

suffixesForLocalOutput(Query<I, O>, int) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Transforms a suffix index returned by a LocalSuffixFinder into a list containing the single distinguishing suffix.

suffixesForLocalOutput(Query<I, O>, int, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Transforms a suffix index returned by a LocalSuffixFinder into a list of distinguishing suffixes.

D F G L M R S