Constructor and Description |
---|
BaselineLStar(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle)
Initializes a newly created baseline L* implementation.
|
Constructor and Description |
---|
MealyDHC(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle)
Constructor, provided for backwards compatibility reasons.
|
MealyDHC(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder,
Collection<? extends Word<I>> initialSplitters)
Constructor.
|
Constructor and Description |
---|
AbstractDTLearner(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(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
LocalSuffixFinder<? super I,? super Boolean> suffixFinder,
boolean repeatedCounterexampleEvaluation,
boolean epsilonRoot)
Constructor.
|
Constructor and Description |
---|
DTLearnerMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
LocalSuffixFinder<? super I,? super Word<O>> suffixFinder,
boolean repeatedCounterexampleEvaluation)
Constructor.
|
Constructor and Description |
---|
KearnsVaziraniDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer)
Constructor.
|
Constructor and Description |
---|
KearnsVaziraniMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer) |
Modifier and Type | Field and Description |
---|---|
protected MembershipOracle<I,D> |
AbstractLStar.oracle |
Constructor and Description |
---|
AbstractAutomatonLStar(Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
AI internalHyp)
Constructor.
|
AbstractLStar(Alphabet<I> alphabet,
MembershipOracle<I,D> oracle)
Constructor.
|
ExtensibleAutomatonLStar(Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
AI internalHyp,
List<Word<I>> initialPrefixes,
List<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,
SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleGlobalSuffixes(ObservationTable<I,D> table,
List<? extends 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(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<Word<I>> initialPrefixes,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Boolean> cexHandler,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
ExtensibleLStarDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<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 MutableMealyMachine<?,I,?,O>,I,O> |
ClassicLStarMealy.createForSymbolOracle(Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<I,O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
static <A extends MutableMealyMachine<?,I,?,O>,I,O> |
ClassicLStarMealy.createForWordOracle(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
Constructor and Description |
---|
ClassicLStarMealy(Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<Word<I>> initialPrefixes,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
ClassicLStarMealy(Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy)
Constructor.
|
ExtensibleLStarMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialPrefixes,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
ExtensibleLStarMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
ObservationTable.addShortPrefixes(List<? extends Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
ObservationTable.addSuffix(Word<I> suffix,
MembershipOracle<I,D> oracle)
Adds a suffix to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
ObservationTable.addSuffixes(Collection<? extends Word<I>> newSuffixes,
MembershipOracle<I,D> oracle)
Adds suffixes to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
ObservationTable.initialize(List<Word<I>> initialShortPrefixes,
List<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(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
MalerPnueliDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
MalerPnueliMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle) |
MalerPnueliMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
Constructor and Description |
---|
NLStarLearner(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle)
Constructor.
|
ObservationTable(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
Constructor and Description |
---|
RivestSchapireDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
RivestSchapireDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
RivestSchapireMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle) |
RivestSchapireMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
Constructor and Description |
---|
BaseTTTLearner(Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
TTTHypothesis<I,D,?> hypothesis,
LocalSuffixFinder<? super I,? super D> suffixFinder) |
DiscriminationTree(MembershipOracle<I,D> oracle) |
Constructor and Description |
---|
TTTLearnerDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
LocalSuffixFinder<? super I,? super Boolean> suffixFinder) |
Constructor and Description |
---|
TTTLearnerMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
LocalSuffixFinder<? super I,? super Word<O>> suffixFinder) |
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> |
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(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(Alphabet<I> alphabet,
MembershipOracle<I,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(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup.
|
static <I> DFACacheOracle<I> |
DFACaches.createDAGCache(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(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> LearningCacheOracle.DFALearningCacheOracle<I> |
DFACaches.createHashCache(MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACaches.createTreeCache(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACacheOracle.createTreeCacheOracle(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
Constructor and Description |
---|
DFACacheOracle(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate)
Deprecated.
since 2014-01-24. Use
DFACaches.createCache(Alphabet, MembershipOracle) |
DFACacheOracle(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(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup.
|
static <I,O> MealyCacheOracle<I,O> |
MealyCaches.createDAGCache(Alphabet<I> alphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,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(Alphabet<I> alphabet,
MembershipOracle<I,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(Alphabet<I> inputAlphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
MealyCacheOracle.createDAGCacheOracle(Alphabet<I> inputAlphabet,
MembershipOracle<I,Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
MealyCaches.createTreeCache(Alphabet<I> alphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,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(Alphabet<I> alphabet,
MembershipOracle<I,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(Alphabet<I> inputAlphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
MealyCacheOracle.createTreeCacheOracle(Alphabet<I> inputAlphabet,
MembershipOracle<I,Word<O>> delegate) |
Constructor and Description |
---|
MealyCacheOracle(Alphabet<I> alphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> delegate)
Deprecated.
since 2014-01-23. Use
MealyCacheOracle.createDAGCacheOracle(Alphabet, Mapping, MembershipOracle) to reproduce old
behavior. |
MealyCacheOracle(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> delegate)
Deprecated.
since 2014-01-23. Use
MealyCacheOracle.createDAGCacheOracle(Alphabet, MembershipOracle) to reproduce old behavior. |
MealyCacheOracle(IncrementalMealyBuilder<I,O> incrementalBuilder,
Lock lock,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> delegate) |
MealyCacheOracle(IncrementalMealyBuilder<I,O> incrementalBuilder,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> delegate) |
Modifier and Type | Method and Description |
---|---|
static <S,I,D> int |
LocalSuffixFinders.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> List<? extends Word<I>> |
GlobalSuffixFinders.findLinear(Query<I,D> ceQuery,
AccessSequenceTransformer<I> asTransformer,
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,
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 Word<I>> |
GlobalSuffixFinders.findLinearReverse(Query<I,D> ceQuery,
AccessSequenceTransformer<I> asTransformer,
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,
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 Word<I>> |
GlobalSuffixFinders.findRivestSchapire(Query<I,O> ceQuery,
AccessSequenceTransformer<I> asTransformer,
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,
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,
SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle) |
<RI extends I,RD extends D> |
LocalSuffixFinder.findSuffixIndex(Query<RI,RD> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
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,
SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle) |
Constructor and Description |
---|
PrefixTransformAcex(Word<I> counterexample,
MembershipOracle<I,O> oracle,
AccessSequenceTransformer<I> asTransformer,
SuffixOutput<I,O> hypothesis) |
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 Word<I>> words)
Adds words to the sample set.
|
SampleSetEQOracle<I,D> |
SampleSetEQOracle.addAll(MembershipOracle<I,D> oracle,
Word<I>... words)
Adds several query words to the sample set.
|
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> |
EquivalenceQueries.wMethod(int maxDepth,
MembershipOracle<I,D> sulOracle) |
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & 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(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
DFAIncrementalWMethodEQOracle(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(Alphabet<I> alphabet,
MembershipOracle<I,D> oracle) |
IncrementalWMethodEQOracle(Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
int maxDepth) |
MealyIncrementalWMethodEQOracle(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle) |
MealyIncrementalWMethodEQOracle(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
int maxDepth) |
MealyRandomWordsEQOracle(MembershipOracle<I,Word<O>> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random) |
MealyRandomWordsEQOracle(MembershipOracle<I,Word<O>> mqOracle,
int minLength,
int maxLength,
int maxTests,
Random random,
int batchSize) |
MealyWMethodEQOracle(int maxDepth,
MembershipOracle<I,Word<O>> sulOracle) |
MealyWpMethodEQOracle(int maxDepth,
MembershipOracle<I,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
MembershipOracle.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. a roll
back mechanism exists for the invoked symbol) the oracle could ''pump'' those
symbols inside a query once seen. |
Modifier and Type | Method and Description |
---|---|
static <I,O> MembershipOracle<I,O> |
MealyUtil.wrapWordOracle(MembershipOracle<I,Word<O>> oracle) |
Modifier and Type | Method and Description |
---|---|
static <I,O> MembershipOracle<I,O> |
MealyUtil.wrapWordOracle(MembershipOracle<I,Word<O>> oracle) |
Modifier and Type | Interface and Description |
---|---|
interface |
ParallelSingleQueryOracle<I,D> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractSingleQueryOracle<I,D> |
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA<I> |
static class |
AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<I,O> |
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 |
QueryAnswererOracle<I,D> |
class |
SafeOracle<I,D> |
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> D |
MQUtil.output(MembershipOracle<I,D> oracle,
Word<I> queryWord) |
static <I,D> D |
MQUtil.output(MembershipOracle<I,D> oracle,
Word<I> prefix,
Word<I> suffix) |
static <I,D> DefaultQuery<I,D> |
MQUtil.query(MembershipOracle<I,D> oracle,
Word<I> queryWord) |
static <I,D> DefaultQuery<I,D> |
MQUtil.query(MembershipOracle<I,D> oracle,
Word<I> prefix,
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) |
FilterChain(MembershipOracle<I,D> endpoint,
Filter<I,D>... chain) |
HistogramOracle(MembershipOracle<I,D> next,
String name) |
MealyCounterOracle(MembershipOracle<I,Word<O>> nextOracle,
String name) |
OracleQueryAnswerer(MembershipOracle<I,D> oracle) |
SafeOracle(MembershipOracle<I,D> nextOracle) |
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(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 © 2015. All rights reserved.