Modifier and Type | Method and Description |
---|---|
protected abstract Query<I,D> |
AbstractDTLearner.spQuery(HState<I,D,SP,TP> state) |
protected abstract Query<I,D> |
AbstractDTLearner.tpQuery(HTransition<I,D,SP,TP> transition) |
Modifier and Type | Method and Description |
---|---|
protected Query<I,Boolean> |
DTLearnerDFA.spQuery(HState<I,Boolean,Boolean,Void> state) |
protected Query<I,Boolean> |
DTLearnerDFA.tpQuery(HTransition<I,Boolean,Boolean,Void> transition) |
Modifier and Type | Method and Description |
---|---|
protected Query<I,net.automatalib.words.Word<O>> |
DTLearnerMealy.spQuery(HState<I,net.automatalib.words.Word<O>,Void,O> state) |
protected Query<I,net.automatalib.words.Word<O>> |
DTLearnerMealy.tpQuery(HTransition<I,net.automatalib.words.Word<O>,Void,O> transition) |
Modifier and Type | Method and Description |
---|---|
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery,
MutableObservationTable<I,D> table,
int suffixIndex,
boolean allSuffixes,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery,
MutableObservationTable<I,D> table,
int suffixIndex,
MembershipOracle<I,D> oracle) |
Modifier and Type | Method and Description |
---|---|
default void |
SingleQueryOracle.processQuery(Query<I,D> query) |
default void |
MembershipOracle.processQuery(Query<I,D> query)
Processes a single query.
|
Modifier and Type | Method and Description |
---|---|
default void |
SingleQueryOracle.processQueries(Collection<? extends Query<I,D>> queries) |
void |
MembershipOracle.processQueries(Collection<? extends Query<I,D>> queries)
Processes the specified collection of queries.
|
default void |
SymbolQueryOracle.processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractQuery<I,D> |
class |
DefaultQuery<I,D>
A query is a container for tests a learning algorithms performs, containing the actual test and the corresponding
result.
|
Constructor and Description |
---|
AbstractQuery(Query<I,?> query) |
DefaultQuery(Query<I,?> query) |
Modifier and Type | Method and Description |
---|---|
static <S,I,D> int |
LocalSuffixFinders.findLinear(Query<I,D> ceQuery,
AccessSequenceTransformer<I> asTransformer,
net.automatalib.automata.concepts.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> List<net.automatalib.words.Word<I>> |
GlobalSuffixFinders.findLinear(Query<I,D> ceQuery,
AccessSequenceTransformer<I> asTransformer,
net.automatalib.automata.concepts.SuffixOutput<I,D> hypOutput,
MembershipOracle<I,D> oracle,
boolean allSuffixes)
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence
transformation in ascending linear order.
|
static <I,D> int |
LocalSuffixFinders.findLinearReverse(Query<I,D> ceQuery,
AccessSequenceTransformer<I> asTransformer,
net.automatalib.automata.concepts.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> List<net.automatalib.words.Word<I>> |
GlobalSuffixFinders.findLinearReverse(Query<I,D> ceQuery,
AccessSequenceTransformer<I> asTransformer,
net.automatalib.automata.concepts.SuffixOutput<I,D> hypOutput,
MembershipOracle<I,D> oracle,
boolean allSuffixes)
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence
transformation in descending linear order.
|
static <I,D> List<net.automatalib.words.Word<I>> |
GlobalSuffixFinders.findMalerPnueli(Query<I,D> ceQuery)
Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested by Maler & Pnueli.
|
static <I,D> int |
LocalSuffixFinders.findRivestSchapire(Query<I,D> ceQuery,
AccessSequenceTransformer<I> asTransformer,
net.automatalib.automata.concepts.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 <I,O> List<net.automatalib.words.Word<I>> |
GlobalSuffixFinders.findRivestSchapire(Query<I,O> ceQuery,
AccessSequenceTransformer<I> asTransformer,
net.automatalib.automata.concepts.SuffixOutput<I,O> hypOutput,
MembershipOracle<I,O> oracle,
boolean allSuffixes)
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the binary search access
sequence transformation.
|
static <I,D> List<net.automatalib.words.Word<I>> |
GlobalSuffixFinders.findShahbaz(Query<I,D> ceQuery,
AccessSequenceTransformer<I> asTransformer)
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.
|
<RI extends I,RD extends D> |
GlobalSuffixFinder.findSuffixes(Query<RI,RD> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle)
Finds a set of distinguishing suffixes which will allow to expose at least one additional state in the
hypothesis.
|
static <RI,RO> int |
AcexLocalSuffixFinder.findSuffixIndex(AcexAnalyzer analyzer,
boolean reduce,
Query<RI,RO> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
net.automatalib.automata.concepts.SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle) |
<RI extends I,RD extends D> |
LocalSuffixFinder.findSuffixIndex(Query<RI,RD> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle)
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.
|
<RI,RO> int |
AcexLocalSuffixFinder.findSuffixIndex(Query<RI,RO> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
net.automatalib.automata.concepts.SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle) |
static <I,D> List<net.automatalib.words.Word<I>> |
GlobalSuffixFinders.suffixesForLocalOutput(Query<I,D> ceQuery,
int localSuffixIdx)
Transforms a suffix index returned by a
LocalSuffixFinder into a list containing the single
distinguishing suffix. |
static <I,D> List<net.automatalib.words.Word<I>> |
GlobalSuffixFinders.suffixesForLocalOutput(Query<I,D> ceQuery,
int localSuffixIdx,
boolean allSuffixes)
Transforms a suffix index returned by a
LocalSuffixFinder into a list of distinguishing suffixes. |
Modifier and Type | Method and Description |
---|---|
void |
DFACacheOracle.processQueries(Collection<? extends Query<I,Boolean>> queries) |
void |
DFAHashCacheOracle.processQueries(Collection<? extends Query<I,Boolean>> queries) |
Modifier and Type | Method and Description |
---|---|
void |
MealyCacheOracle.processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries) |
Modifier and Type | Method and Description |
---|---|
void |
JointCounterOracle.processQueries(Collection<? extends Query<I,D>> queries) |
void |
HistogramOracle.processQueries(Collection<? extends Query<I,D>> queries) |
void |
CounterOracle.processQueries(Collection<? extends Query<I,D>> queries) |
Modifier and Type | Method and Description |
---|---|
void |
FilterChain.processQueries(Collection<? extends Query<I,D>> queries) |
void |
SimulatorOracle.processQueries(Collection<? extends Query<I,D>> queries) |
void |
SULOracle.processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries) |
Modifier and Type | Method and Description |
---|---|
void |
DynamicParallelOracle.processQueries(Collection<? extends Query<I,D>> queries) |
void |
StaticParallelOracle.processQueries(Collection<? extends Query<I,D>> queries) |
Modifier and Type | Method and Description |
---|---|
static <I,D> void |
MQUtil.answerQueries(QueryAnswerer<I,D> answerer,
Collection<? extends Query<I,D>> queries) |
static <I,D> void |
MQUtil.answerQueriesAuto(QueryAnswerer<I,D> answerer,
Collection<? extends Query<I,D>> queries) |
static <I,D> void |
MQUtil.answerQueriesParallel(QueryAnswerer<I,D> answerer,
Collection<? extends Query<I,D>> queries) |
Copyright © 2018. All rights reserved.