Package de.learnlib.counterexample

Class LocalSuffixFinders

java.lang.Object

de.learnlib.counterexample.LocalSuffixFinders

public final class LocalSuffixFinders
extends Object

A collection of suffix-based local counterexample analyzers.

See Also:

LocalSuffixFinder

Field Summary

Fields

Modifier and Type	Field	Description
static LocalSuffixFinder<@Nullable Object,@Nullable Object>	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>	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>	RIVEST_SCHAPIRE	Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.

Method Summary

Modifier and Type	Method	Description
static <I,D> int	findLinear(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle)	Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
static <I,D> int	findLinearReverse(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle)	Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
static <I,D> int	findRivestSchapire(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle)	Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.
static LocalSuffixFinder<@Nullable Object,@Nullable Object>[]	values()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

FIND_LINEAR

public static final LocalSuffixFinder<@Nullable Object,@Nullable Object> FIND_LINEAR

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

See Also:

findLinear(Query, AccessSequenceTransformer, SuffixOutput, MembershipOracle)

FIND_LINEAR_REVERSE

public static final LocalSuffixFinder<@Nullable Object,@Nullable Object> FIND_LINEAR_REVERSE

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

See Also:

findLinearReverse(Query, AccessSequenceTransformer, SuffixOutput, MembershipOracle)

RIVEST_SCHAPIRE

public static final LocalSuffixFinder<@Nullable Object,@Nullable Object> RIVEST_SCHAPIRE

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

See Also:

findRivestSchapire(Query, AccessSequenceTransformer, SuffixOutput, MembershipOracle)

Method Detail

findLinear

public static <I,D> int findLinear(Query<I,D> ceQuery,
                                         AccessSequenceTransformer<I> asTransformer,
                                         SuffixOutput<I,D> hypOutput,
                                         MembershipOracle<I,D> oracle)

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

Parameters:

ceQuery - the initial counterexample query

asTransformer - the access sequence transformer

hypOutput - interface to the hypothesis output, for checking whether the oracle output contradicts the hypothesis

oracle - interface to the SUL

Returns:

the index of the respective suffix, or -1 if no counterexample could be found

See Also:

LocalSuffixFinder

findLinearReverse

public static <I,D> int findLinearReverse(Query<I,D> ceQuery,
                                                AccessSequenceTransformer<I> asTransformer,
                                                SuffixOutput<I,D> hypOutput,
                                                MembershipOracle<I,D> oracle)

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

Parameters:

ceQuery - the initial counterexample query

asTransformer - the access sequence transformer

hypOutput - interface to the hypothesis output, for checking whether the oracle output contradicts the hypothesis

oracle - interface to the SUL

Returns:

the index of the respective suffix, or -1 if no counterexample could be found

See Also:

LocalSuffixFinder

findRivestSchapire

public static <I,D> int findRivestSchapire(Query<I,D> ceQuery,
                                                 AccessSequenceTransformer<I> asTransformer,
                                                 SuffixOutput<I,D> hypOutput,
                                                 MembershipOracle<I,D> oracle)

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

Parameters:

ceQuery - the initial counterexample query

asTransformer - the access sequence transformer

hypOutput - interface to the hypothesis output, for checking whether the oracle output contradicts the hypothesis

oracle - interface to the SUL

Returns:

the index of the respective suffix, or -1 if no counterexample could be found

See Also:

LocalSuffixFinder

values

public static LocalSuffixFinder<@Nullable Object,@Nullable Object>[] values()