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,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<Object,Object>[] |
values() |
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,D> int findLinear(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> 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,D> int findLinearReverse(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> 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,D> int findRivestSchapire(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> 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 LocalSuffixFinder<Object,Object>[] values()
Copyright © 2015. All rights reserved.