public abstract class LocalSuffixFinders extends Object
LocalSuffixFinder
Modifier and Type | Field and Description |
---|---|
static LocalSuffixFinder<Object,Object> |
FIND_LINEAR
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations in linear ascending order.
|
static LocalSuffixFinder<Object,Object> |
FIND_LINEAR_REVERSE
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations in linear descending order.
|
static LocalSuffixFinder<Object,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.
|
Modifier and Type | Method and Description |
---|---|
static <S,I,O> int |
findLinear(Query<I,O> ceQuery,
AccessSequenceTransformer<I> asTransformer,
SuffixOutput<I,O> hypOutput,
MembershipOracle<I,O> oracle)
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations in linear ascending order.
|
static <I,O> int |
findLinearReverse(Query<I,O> ceQuery,
AccessSequenceTransformer<I> asTransformer,
SuffixOutput<I,O> hypOutput,
MembershipOracle<I,O> oracle)
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations in linear descending order.
|
static <I,O> int |
findRivestSchapire(Query<I,O> ceQuery,
AccessSequenceTransformer<I> asTransformer,
SuffixOutput<I,O> hypOutput,
MembershipOracle<I,O> oracle)
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations using a binary search, as proposed by Rivest & Schapire.
|
public static final LocalSuffixFinder<Object,Object> FIND_LINEAR
public static final LocalSuffixFinder<Object,Object> FIND_LINEAR_REVERSE
public static final LocalSuffixFinder<Object,Object> RIVEST_SCHAPIRE
public static <S,I,O> int findLinear(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle)
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 SULLocalSuffixFinder
public static <I,O> int findLinearReverse(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle)
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 SULLocalSuffixFinder
public static <I,O> int findRivestSchapire(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle)
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 SULLocalSuffixFinder
Copyright © 2014. All Rights Reserved.