Constructor and Description |
---|
BaselineLStar(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle)
Initializes a newly created baseline L* implementation.
|
Constructor and Description |
---|
MealyDHC(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle)
Constructor, provided for backwards compatibility reasons.
|
MealyDHC(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
GlobalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> suffixFinder,
Collection<? extends net.automatalib.words.Word<I>> initialSplitters)
Constructor.
|
Constructor and Description |
---|
AbstractDTLearner(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
LocalSuffixFinder<? super I,? super D> suffixFinder,
boolean repeatedCounterexampleEvaluation,
DiscriminationTree<I,D,HState<I,D,SP,TP>> dtree) |
Constructor and Description |
---|
DTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
LocalSuffixFinder<? super I,? super Boolean> suffixFinder,
boolean repeatedCounterexampleEvaluation,
boolean epsilonRoot)
Constructor.
|
Constructor and Description |
---|
DTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
LocalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> suffixFinder,
boolean repeatedCounterexampleEvaluation)
Constructor.
|
Constructor and Description |
---|
KearnsVaziraniDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer)
Constructor.
|
Constructor and Description |
---|
KearnsVaziraniMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer) |
Modifier and Type | Field and Description |
---|---|
protected MembershipOracle<I,D> |
AbstractLStar.oracle |
Constructor and Description |
---|
AbstractAutomatonLStar(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
AI internalHyp)
Constructor.
|
AbstractLStar(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle)
Constructor.
|
ExtensibleAutomatonLStar(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
AI internalHyp,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super D> cexHandler,
ClosingStrategy<? super I,? super D> closingStrategy) |
Modifier and Type | Method and Description |
---|---|
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleClassicLStar(DefaultQuery<I,D> ceQuery,
ObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
<RI extends I,RD extends D> |
ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RD> ceQuery,
ObservationTable<RI,RD> table,
net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleGlobalSuffixes(ObservationTable<I,D> table,
List<? extends net.automatalib.words.Word<I>> suffixes,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery,
ObservationTable<I,D> table,
int suffixIndex,
boolean allSuffixes,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery,
ObservationTable<I,D> table,
int suffixIndex,
MembershipOracle<I,D> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,D> ceQuery,
ObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
Modifier and Type | Method and Description |
---|---|
<RI,RD> List<Row<RI>> |
CloseRandomStrategy.selectClosingRows(List<List<Row<RI>>> unclosedClasses,
ObservationTable<RI,RD> table,
MembershipOracle<RI,RD> oracle) |
<RI extends I,RO extends D> |
ClosingStrategy.selectClosingRows(List<List<Row<RI>>> unclosedClasses,
ObservationTable<RI,RO> table,
MembershipOracle<RI,RO> oracle)
Given a list of row equivalence classes, this method selects for each of the classes
one (representative) row which is being closed.
|
Constructor and Description |
---|
ExtensibleLStarDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Boolean> cexHandler,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
ExtensibleLStarDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Boolean> cexHandler,
ClosingStrategy<? super I,? super Boolean> closingStrategy)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> |
ClassicLStarMealy.createForSymbolOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<I,O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> |
ClassicLStarMealy.createForWordOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
Constructor and Description |
---|
ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy)
Constructor.
|
ExtensibleLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super net.automatalib.words.Word<O>> cexHandler,
ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy) |
ExtensibleLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super net.automatalib.words.Word<O>> cexHandler,
ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy) |
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
ObservationTable.addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
ObservationTable.addSuffix(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle)
Adds a suffix to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
ObservationTable.addSuffixes(Collection<? extends net.automatalib.words.Word<I>> newSuffixes,
MembershipOracle<I,D> oracle)
Adds suffixes to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
ObservationTable.initialize(List<net.automatalib.words.Word<I>> initialShortPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
MembershipOracle<I,D> oracle)
Initializes an observation table using a specified set of suffixes.
|
List<List<Row<I>>> |
ObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows.
|
Constructor and Description |
---|
MalerPnueliDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
MalerPnueliDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
MalerPnueliMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
MalerPnueliMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy) |
Constructor and Description |
---|
NLStarLearner(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle)
Constructor.
|
ObservationTable(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
Constructor and Description |
---|
RivestSchapireDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
RivestSchapireDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
RivestSchapireMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
RivestSchapireMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy) |
Modifier and Type | Field and Description |
---|---|
protected MembershipOracle<I,D> |
BaseTTTLearner.oracle |
Constructor and Description |
---|
BaseTTTLearner(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
TTTHypothesis<I,D,?> hypothesis,
AcexAnalyzer analyzer) |
BaseTTTLearner(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
TTTHypothesis<I,D,?> hypothesis,
AcexAnalyzer analyzer,
DTNode<I,D> root) |
DiscriminationTree(MembershipOracle<I,D> oracle) |
DiscriminationTree(MembershipOracle<I,D> oracle,
DTNode<I,D> root) |
Constructor and Description |
---|
TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer,
DTNode<I,Boolean> root) |
Constructor and Description |
---|
TTTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
AcexAnalyzer analyzer) |
Modifier and Type | Interface and Description |
---|---|
interface |
Filter<I,D>
A filter is an oracle that can be used as the middle
element in a chain of oracles.
|
static interface |
MembershipOracle.DFAMembershipOracle<I> |
static interface |
MembershipOracle.MealyMembershipOracle<I,O> |
interface |
SingleQueryOracle<I,D>
Base interface for oracles whose semantic is defined in terms of directly answering single queries
(like a
QueryAnswerer , and that cannot profit from batch processing of queries. |
static interface |
SingleQueryOracle.SingleQueryOracleDFA<I> |
static interface |
SingleQueryOracle.SingleQueryOracleMealy<I,O> |
Modifier and Type | Method and Description |
---|---|
default MembershipOracle<I,D> |
QueryAnswerer.asOracle() |
default MembershipOracle<I,D> |
MembershipOracle.asOracle() |
Modifier and Type | Method and Description |
---|---|
void |
Filter.setNext(MembershipOracle<I,D> next)
sets oracle for processing membership queries.
|
Modifier and Type | Interface and Description |
---|---|
interface |
LearningCacheOracle<A,I,D>
A
learning cache that also serves as a membership oracle . |
static interface |
LearningCacheOracle.DFALearningCacheOracle<I>
Specialization of the
LearningCacheOracle interface for DFA learning. |
static interface |
LearningCacheOracle.MealyLearningCacheOracle<I,O>
Specialization of the
LearningCacheOracle interface for Mealy machine learning. |
Modifier and Type | Method and Description |
---|---|
static <I> DFACacheOracle<I> |
Caches.createDFACache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle)
Deprecated.
since 2014-01-24. Use
DFACaches.createCache(Alphabet, MembershipOracle) |
static <I,O> MealyCacheOracle<I,O> |
Caches.createMealyCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
Deprecated.
since 2014-01-24. Use
MealyCaches.createCache(Alphabet, MembershipOracle) |
Modifier and Type | Class and Description |
---|---|
class |
DFACacheOracle<I>
DFA cache.
|
class |
DFAHashCacheOracle<I> |
Modifier and Type | Method and Description |
---|---|
static <I> DFACacheOracle<I> |
DFACaches.createCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup.
|
static <I> DFACacheOracle<I> |
DFACaches.createDAGCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
|
static <I> DFACacheOracle<I> |
DFACacheOracle.createDAGCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> DFACacheOracle<I> |
DFACaches.createDAGPCCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACacheOracle.createDAGPCCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> LearningCacheOracle.DFALearningCacheOracle<I> |
DFACaches.createHashCache(MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACaches.createTreeCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACacheOracle.createTreeCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> DFACacheOracle<I> |
DFACaches.createTreePCCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACacheOracle.createTreePCCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
Constructor and Description |
---|
DFACacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate)
Deprecated.
since 2014-01-24. Use
DFACaches.createCache(Alphabet, MembershipOracle) |
DFACacheOracle(net.automatalib.incremental.dfa.IncrementalDFABuilder<I> incDfa,
MembershipOracle<I,Boolean> delegate) |
DFAHashCacheOracle(MembershipOracle<I,Boolean> delegate) |
Modifier and Type | Class and Description |
---|---|
class |
MealyCacheOracle<I,O>
Mealy cache.
|
Modifier and Type | Method and Description |
---|---|
static <I,O> MealyCacheOracle<I,O> |
MealyCaches.createCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup.
|
static <I,O> MealyCacheOracle<I,O> |
MealyCaches.createDAGCache(net.automatalib.words.Alphabet<I> alphabet,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
|
static <I,O> MealyCacheOracle<I,O> |
MealyCaches.createDAGCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.
|
static <I,O> MealyCacheOracle<I,O> |
MealyCacheOracle.createDAGCacheOracle(net.automatalib.words.Alphabet<I> inputAlphabet,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
MealyCacheOracle.createDAGCacheOracle(net.automatalib.words.Alphabet<I> inputAlphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
MealyCaches.createTreeCache(net.automatalib.words.Alphabet<I> alphabet,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
|
static <I,O> MealyCacheOracle<I,O> |
MealyCaches.createTreeCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.
|
static <I,O> MealyCacheOracle<I,O> |
MealyCacheOracle.createTreeCacheOracle(net.automatalib.words.Alphabet<I> inputAlphabet,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
MealyCacheOracle.createTreeCacheOracle(net.automatalib.words.Alphabet<I> inputAlphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
Constructor and Description |
---|
MealyCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate)
Deprecated.
since 2014-01-23. Use
MealyCacheOracle.createDAGCacheOracle(Alphabet, Mapping, MembershipOracle) to reproduce old
behavior. |
MealyCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate)
Deprecated.
since 2014-01-23. Use
MealyCacheOracle.createDAGCacheOracle(Alphabet, MembershipOracle) to reproduce old behavior. |
MealyCacheOracle(net.automatalib.incremental.mealy.IncrementalMealyBuilder<I,O> incrementalBuilder,
Lock lock,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
MealyCacheOracle(net.automatalib.incremental.mealy.IncrementalMealyBuilder<I,O> incrementalBuilder,
net.automatalib.commons.util.mappings.Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
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<? extends 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<? extends 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> 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<? extends 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.
|
<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) |
Constructor and Description |
---|
ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
int length,
MembershipOracle<I,D> oracle,
net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle,
net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
MealyOutInconsPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
OutInconsPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
int length,
MembershipOracle<I,D> oracle,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
OutInconsPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
Constructor and Description |
---|
BinaryDTree(D rootData,
MembershipOracle<I,Boolean> oracle) |
BinaryDTree(MembershipOracle<I,Boolean> oracle) |
DiscriminationTree(DTNode<I,O,D> root,
MembershipOracle<I,O> oracle) |
MultiDTree(D rootData,
MembershipOracle<I,O> oracle) |
MultiDTree(MembershipOracle<I,O> oracle) |
Modifier and Type | Method and Description |
---|---|
SampleSetEQOracle<I,D> |
SampleSetEQOracle.addAll(MembershipOracle<I,D> oracle,
Collection<? extends net.automatalib.words.Word<I>> words)
Adds words to the sample set.
|
SampleSetEQOracle<I,D> |
SampleSetEQOracle.addAll(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I>... words)
Adds several query words to the sample set.
|
static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> |
EquivalenceQueries.wMethod(int maxDepth,
MembershipOracle<I,D> sulOracle) |
static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> |
EquivalenceQueries.wpMethod(int maxDepth,
MembershipOracle<I,D> sulOracle) |
Constructor and Description |
---|
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth)
Constructor.
|
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle,
int minDepth,
int maxDepth)
Constructor.
|
DFAIncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
DFAIncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
int maxDepth) |
DFARandomWordsEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random) |
DFARandomWordsEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random,
int batchSize) |
DFAWMethodEQOracle(int maxDepth,
MembershipOracle<I,Boolean> sulOracle) |
DFAWpMethodEQOracle(int maxDepth,
MembershipOracle<I,Boolean> sulOracle) |
IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle) |
IncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
int maxDepth) |
MealyIncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
MealyIncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
int maxDepth) |
MealyRandomWordsEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random) |
MealyRandomWordsEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random,
int batchSize) |
MealyWMethodEQOracle(int maxDepth,
MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle) |
MealyWpMethodEQOracle(int maxDepth,
MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle) |
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random) |
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random,
int batchSize) |
WMethodEQOracle(int maxDepth,
MembershipOracle<I,D> sulOracle)
Constructor.
|
WpMethodEQOracle(int maxDepth,
MembershipOracle<I,D> sulOracle)
Constructor.
|
Modifier and Type | Class and Description |
---|---|
class |
ReuseOracle<S,I,O>
The reuse oracle is a
MealyMembershipOracle that is able to
Cache queries: Each processed query will not be delegated again (instead
the answer will be retrieved from the ReuseTree )
Pump queries: If the ReuseTree is configured to know which
symbols are model invariant input symbols via
ReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a
database which does not change the SUL) or configured for failure output
symbols via ReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set) (e.g. |
Modifier and Type | Method and Description |
---|---|
static <I,O> MembershipOracle<I,O> |
MealyUtil.wrapWordOracle(MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
Modifier and Type | Method and Description |
---|---|
static <I,O> MembershipOracle<I,O> |
MealyUtil.wrapWordOracle(MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
Modifier and Type | Interface and Description |
---|---|
interface |
ParallelSingleQueryOracle<I,D>
Deprecated.
since 2015-05-10. Parallelization of query processing should not be determined
by an oracle implementation and always be configurable. Instead, implement
SingleQueryOracle (or the respective specialization) and use the
MQUtil.PARALLEL_THRESHOLD variable (or setting) to configure parallelization. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractSingleQueryOracle<I,D>
Deprecated.
since 2015-05-10. This class is no longer necessary due to the introduction
of default methods. Instead, implement
SingleQueryOracle (or the respective specialization)
directly. |
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA<I>
Deprecated.
|
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<I,O>
Deprecated.
|
class |
CounterOracle<I,D>
Counts queries.
|
static class |
CounterOracle.DFACounterOracle<I> |
static class |
CounterOracle.MealyCounterOracle<I,O> |
class |
FilterChain<I,D>
A chain of oracles.
|
class |
HistogramOracle<I,D>
Collects a histogram of passed query lengths.
|
class |
JointCounterOracle<I,D>
A
MembershipOracle that counts both the number of queries, as well as the
total number of symbols occurring in all those queries. |
static class |
JointCounterOracle.DFAJointCounterOracle<I> |
static class |
JointCounterOracle.MealyJointCounterOracle<I,O> |
class |
QueryAnswererOracle<I,D> |
class |
SafeOracle<I,D>
Deprecated.
since 2015-05-10. This class has no real (and reasonable) use case.
All it does is to check whether the collection of queries passed to
SafeOracle.processQueries(Collection) is being modified. However, this is highly unlikely,
and wrapping the passed queries using Collections.unmodifiableCollection(Collection)
is a way better approach for intercepting these cases than wrapping the oracle. |
class |
SimulatorOracle<I,D>
A membership oracle backed by an automaton.
|
static class |
SimulatorOracle.DFASimulatorOracle<I> |
static class |
SimulatorOracle.MealySimulatorOracle<I,O> |
class |
SULOracle<I,O>
A wrapper around a system under learning (SUL).
|
Modifier and Type | Method and Description |
---|---|
static <I,D> DefaultQuery<I,D> |
MQUtil.normalize(MembershipOracle<I,D> oracle,
DefaultQuery<I,D> query) |
static <I,D> D |
MQUtil.output(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> queryWord)
Deprecated.
|
static <I,D> D |
MQUtil.output(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix)
Deprecated.
|
static <I,D> DefaultQuery<I,D> |
MQUtil.query(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> queryWord) |
static <I,D> DefaultQuery<I,D> |
MQUtil.query(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix) |
void |
HistogramOracle.setNext(MembershipOracle<I,D> next)
set used oracle.
|
void |
CounterOracle.setNext(MembershipOracle<I,D> next) |
Constructor and Description |
---|
CounterOracle(MembershipOracle<I,D> nextOracle,
String name) |
DFACounterOracle(MembershipOracle<I,Boolean> nextOracle,
String name) |
DFAJointCounterOracle(MembershipOracle<I,Boolean> delegate) |
FilterChain(MembershipOracle<I,D> endpoint,
Filter<I,D>... chain) |
HistogramOracle(MembershipOracle<I,D> next,
String name) |
JointCounterOracle(MembershipOracle<I,D> delegate) |
MealyCounterOracle(MembershipOracle<I,net.automatalib.words.Word<O>> nextOracle,
String name) |
MealyJointCounterOracle(MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
OracleQueryAnswerer(MembershipOracle<I,D> oracle)
Deprecated.
|
SafeOracle(MembershipOracle<I,D> nextOracle)
Deprecated.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ParallelOracle<I,D>
Basic interface for
MembershipOracle s that can process queries
in parallel. |
Modifier and Type | Class and Description |
---|---|
class |
DynamicParallelOracle<I,D>
A parallel membership oracle that dynamically distributes queries
to worker threads.
|
class |
StaticParallelOracle<I,D>
A membership oracle that statically distributes a set of queries among several threads.
|
Modifier and Type | Method and Description |
---|---|
static <I,D> DynamicParallelOracleBuilder<I,D> |
ParallelOracleBuilders.newDynamicParallelOracle(MembershipOracle<I,D> sharedOracle) |
static <I,D> StaticParallelOracleBuilder<I,D> |
ParallelOracleBuilders.newStaticParallelOracle(MembershipOracle<I,D> sharedOracle) |
static <I,D> StaticParallelOracleBuilder<I,D> |
ParallelOracleBuilders.newStaticParallelOracle(MembershipOracle<I,D> firstOracle,
MembershipOracle<I,D>... otherOracles) |
static <I,D> StaticParallelOracleBuilder<I,D> |
ParallelOracleBuilders.newStaticParallelOracle(MembershipOracle<I,D> firstOracle,
MembershipOracle<I,D>... otherOracles) |
Modifier and Type | Method and Description |
---|---|
static <I,D> DynamicParallelOracleBuilder<I,D> |
ParallelOracleBuilders.newDynamicParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier) |
static <I,D> StaticParallelOracleBuilder<I,D> |
ParallelOracleBuilders.newStaticParallelOracle(Collection<? extends MembershipOracle<I,D>> oracles) |
static <I,D> StaticParallelOracleBuilder<I,D> |
ParallelOracleBuilders.newStaticParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier) |
Constructor and Description |
---|
DynamicParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier,
int batchSize,
ExecutorService executor) |
DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I,D>> oracleSupplier) |
StaticParallelOracle(Collection<? extends MembershipOracle<I,D>> oracles,
int minBatchSize,
ParallelOracle.PoolPolicy policy) |
StaticParallelOracleBuilder(Collection<? extends MembershipOracle<I,D>> oracles) |
StaticParallelOracleBuilder(Supplier<? extends MembershipOracle<I,D>> oracleSupplier) |
Modifier and Type | Interface and Description |
---|---|
interface |
StatisticOracle<I,O>
Common interface for oracles keeping statistics.
|
Modifier and Type | Method and Description |
---|---|
protected abstract <I,O> void |
AbstractMealySymLearnerIT.addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,O> mqOracle,
LearnerVariantList.MealySymLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the Mealy machine learner to be tested
to the specified
variant list . |
Copyright © 2016. All rights reserved.