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
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <I,D>
intfindLinear(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>
intfindLinearReverse(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>
intfindRivestSchapire(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()
-
-
-
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.
-
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.
-
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.
-
-
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 queryasTransformer
- the access sequence transformerhypOutput
- interface to the hypothesis output, for checking whether the oracle output contradicts the hypothesisoracle
- 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 queryasTransformer
- the access sequence transformerhypOutput
- interface to the hypothesis output, for checking whether the oracle output contradicts the hypothesisoracle
- 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 queryasTransformer
- the access sequence transformerhypOutput
- interface to the hypothesis output, for checking whether the oracle output contradicts the hypothesisoracle
- 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()
-
-