A C D F G L M O R S T V

A

AcexLocalSuffixFinder - Class in de.learnlib.counterexamples

Wraps a AbstractNamedAcexAnalyzer.

AcexLocalSuffixFinder(AcexAnalyzer, boolean, String) - Constructor for class de.learnlib.counterexamples.AcexLocalSuffixFinder

Constructor.

C

checkEffects(Boolean, Boolean) - Method in class de.learnlib.counterexamples.acex.ClassicPrefixTransformAcex

checkEffects(Word<O>, Word<O>) - Method in class de.learnlib.counterexamples.acex.MealyOutInconsPrefixTransformAcex

checkEffects(D, D) - Method in class de.learnlib.counterexamples.acex.OutInconsPrefixTransformAcex

ClassicPrefixTransformAcex<I,D> - Class in de.learnlib.counterexamples.acex

An abstract counterexample based on prefix transformations.

ClassicPrefixTransformAcex(Word<I>, MembershipOracle<I, D>, SuffixOutput<I, D>, Function<Word<I>, Word<I>>) - Constructor for class de.learnlib.counterexamples.acex.ClassicPrefixTransformAcex

ClassicPrefixTransformAcex(Word<I>, int, MembershipOracle<I, D>, SuffixOutput<I, D>, Function<Word<I>, Word<I>>) - Constructor for class de.learnlib.counterexamples.acex.ClassicPrefixTransformAcex

computeEffect(int) - Method in class de.learnlib.counterexamples.acex.ClassicPrefixTransformAcex

computeEffect(int) - Method in class de.learnlib.counterexamples.acex.OutInconsPrefixTransformAcex

D

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

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

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, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>, 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, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>) - 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, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>, 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, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>) - 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.

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

Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested by Maler & 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, D>, AccessSequenceTransformer<I>, SuffixOutput<I, D>, MembershipOracle<I, D>) - 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, D>, 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, RD>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - 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 class de.learnlib.counterexamples.AcexLocalSuffixFinder

findSuffixIndex(AcexAnalyzer, boolean, Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Static method in class de.learnlib.counterexamples.AcexLocalSuffixFinder

findSuffixIndex(Query<RI, RD>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - 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, D>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

Transforms a LocalSuffixFinder into a global one.

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

Transforms a LocalSuffixFinder into a global one.

G

GlobalSuffixFinder<I,D> - 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,D> - 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

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

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

MealyOutInconsPrefixTransformAcex<I,O> - Class in de.learnlib.counterexamples.acex

MealyOutInconsPrefixTransformAcex(Word<I>, MembershipOracle<I, Word<O>>, Function<Word<I>, Word<I>>) - Constructor for class de.learnlib.counterexamples.acex.MealyOutInconsPrefixTransformAcex

O

OutInconsPrefixTransformAcex<I,D> - Class in de.learnlib.counterexamples.acex

An abstract counterexample for output inconsistencies, based on prefix transformations.

OutInconsPrefixTransformAcex(Word<I>, MembershipOracle<I, D>, Function<Word<I>, Word<I>>) - Constructor for class de.learnlib.counterexamples.acex.OutInconsPrefixTransformAcex

OutInconsPrefixTransformAcex(Word<I>, int, MembershipOracle<I, D>, Function<Word<I>, Word<I>>) - Constructor for class de.learnlib.counterexamples.acex.OutInconsPrefixTransformAcex

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, D>, 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, D>, int, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

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

T

toString() - Method in class de.learnlib.counterexamples.AcexLocalSuffixFinder

V

values() - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders

values() - Static method in class de.learnlib.counterexamples.LocalSuffixFinders

A C D F G L M O R S T V