Modifier and Type | Class and Description |
---|---|
class |
SQOOTBridge<I,O>
A utility class that links an observation tree with a symbol query oracle, meaning that all queries to the symbol
query oracle will be stored in the observation tree.
|
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,
AbstractWordBasedDiscriminationTree<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 |
---|
DTree(DTNode<I> root,
MembershipOracle<I,Boolean> oracle) |
DTree(MembershipOracle<I,Boolean> oracle) |
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.
|
Modifier and Type | Field and Description |
---|---|
protected MembershipOracle<I,Boolean> |
AbstractVPDALearner.oracle |
Constructor and Description |
---|
AbstractVPDALearner(net.automatalib.words.VPDAlphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
DTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
Constructor and Description |
---|
KearnsVaziraniDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer)
Constructor.
|
KVAbstractCounterexample(net.automatalib.words.Word<I> ceWord,
boolean output,
MembershipOracle<I,Boolean> oracle) |
Constructor and Description |
---|
KearnsVaziraniMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer) |
KVAbstractCounterexample(net.automatalib.words.Word<I> ceWord,
net.automatalib.words.Word<O> output,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
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.
|
AbstractExtensibleAutomatonLStar(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) |
AbstractLStar(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleClassicLStar(DefaultQuery<I,D> ceQuery,
MutableObservationTable<I,D> table,
MembershipOracle<I,D> oracle) |
<RI extends I,RD extends D> |
ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RD> ceQuery,
MutableObservationTable<RI,RD> table,
net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleGlobalSuffixes(MutableObservationTable<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,
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) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,D> ceQuery,
MutableObservationTable<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 |
---|
ClassicLStarDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
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,
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,
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,
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) |
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> |
AbstractTTTLearner.oracle |
Constructor and Description |
---|
AbstractTTTLearner(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
AbstractTTTHypothesis<I,D,?> hypothesis,
BaseTTTDiscriminationTree<I,D> dtree,
AcexAnalyzer analyzer) |
BaseTTTDiscriminationTree(MembershipOracle<I,D> oracle,
AbstractBaseDTNode<I,D> root) |
BaseTTTDiscriminationTree(MembershipOracle<I,D> oracle,
Supplier<? extends AbstractBaseDTNode<I,D>> supplier) |
Constructor and Description |
---|
PrefixTTTLearnerDFA(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) |
TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer,
Supplier<? extends AbstractBaseDTNode<I,Boolean>> rootSupplier) |
Constructor and Description |
---|
TTTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
AcexAnalyzer analyzer) |
Constructor and Description |
---|
TTTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet,
MembershipOracle<I,Boolean> 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> |
interface |
SymbolQueryOracle<I,O>
Symbol query interface.
|
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 |
StatisticOracle<I,O>
Common interface for oracles keeping statistics.
|
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> 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.
|
<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) |
MultiDTree(D rootData,
MembershipOracle<I,O> oracle) |
MultiDTree(MembershipOracle<I,O> oracle) |
Modifier and Type | Field and Description |
---|---|
protected MembershipOracle<I,O> |
AbstractDiscriminationTree.oracle |
Modifier and Type | Method and Description |
---|---|
void |
AbstractDiscriminationTree.setOracle(MembershipOracle<I,O> oracle) |
Constructor and Description |
---|
AbstractDiscriminationTree(N root,
MembershipOracle<I,O> oracle) |
AbstractWordBasedDiscriminationTree(AbstractWordBasedDTNode<I,O,D> root,
MembershipOracle<I,O> oracle) |
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
MutableObservationTable.addAlphabetSymbol(I symbol,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
GenericObservationTable.addAlphabetSymbol(I symbol,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
GenericObservationTable.addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
default List<List<Row<I>>> |
MutableObservationTable.addSuffix(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle)
Adds a suffix to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
GenericObservationTable.addSuffix(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.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>>> |
GenericObservationTable.addSuffixes(Collection<? extends net.automatalib.words.Word<I>> newSuffixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.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>>> |
GenericObservationTable.initialize(List<net.automatalib.words.Word<I>> initialShortPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows.
|
List<List<Row<I>>> |
GenericObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle) |
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 | 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.
|
class |
SymbolQueryCache<I,O>
A cache for a
SymbolQueryOracle . |
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 | 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. a roll back
mechanism exists for the invoked symbol) the oracle could ''pump'' those symbols inside a query once seen. |
Modifier and Type | Class and Description |
---|---|
class |
CounterOracle<I,D>
Counts queries.
|
static class |
CounterOracle.DFACounterOracle<I> |
static class |
CounterOracle.MealyCounterOracle<I,O> |
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> |
Modifier and Type | Method and Description |
---|---|
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) |
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) |
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 <I,D> CompleteExplorationEQOracle<I,D> |
EquivalenceQueries.complete(MembershipOracle<I,D> sulOracle,
int maxDepth) |
static <A extends net.automatalib.automata.concepts.Output<I,D>,I,D> |
EquivalenceQueries.randomWords(MembershipOracle<I,D> sulOracle,
int minLength,
int maxLength,
int maxTests) |
static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> |
EquivalenceQueries.wMethod(MembershipOracle<I,D> sulOracle,
int maxDepth) |
static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> |
EquivalenceQueries.wpMethod(MembershipOracle<I,D> sulOracle,
int maxDepth) |
Constructor and Description |
---|
AbstractTestWordEQOracle(MembershipOracle<I,D> membershipOracle) |
AbstractTestWordEQOracle(MembershipOracle<I,D> membershipOracle,
int batchSize) |
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth)
Constructor.
|
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle,
int minDepth,
int maxDepth)
Constructor.
|
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle,
int minDepth,
int maxDepth,
int batchSize)
Constructor.
|
DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle,
int maxDepth) |
DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minDepth,
int maxDepth) |
DFACompleteExplorationEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minDepth,
int maxDepth,
int batchSize) |
DFAIncrementalWMethodEQOracle(MembershipOracle<I,Boolean> oracle,
net.automatalib.words.Alphabet<I> alphabet) |
DFAIncrementalWMethodEQOracle(MembershipOracle<I,Boolean> oracle,
net.automatalib.words.Alphabet<I> alphabet,
int maxDepth) |
DFAIncrementalWMethodEQOracle(MembershipOracle<I,Boolean> oracle,
net.automatalib.words.Alphabet<I> alphabet,
int maxDepth,
int batchSize) |
DFARandomWMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength) |
DFARandomWMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound) |
DFARandomWMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound,
int batchSize) |
DFARandomWMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound,
Random random,
int batchSize) |
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) |
DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength) |
DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound) |
DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound,
int batchSize) |
DFARandomWpMethodEQOracle(MembershipOracle<I,Boolean> mqOracle,
int minimalSize,
int rndLength,
int bound,
Random random,
int batchSize) |
DFAWMethodEQOracle(MembershipOracle<I,Boolean> sulOracle,
int maxDepth) |
DFAWMethodEQOracle(MembershipOracle<I,Boolean> sulOracle,
int maxDepth,
int batchSize) |
DFAWpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle,
int maxDepth) |
DFAWpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle,
int maxDepth,
int batchSize) |
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle,
net.automatalib.words.Alphabet<I> alphabet) |
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle,
net.automatalib.words.Alphabet<I> alphabet,
int maxDepth) |
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle,
net.automatalib.words.Alphabet<I> alphabet,
int maxDepth,
int batchSize) |
MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int maxDepth) |
MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minDepth,
int maxDepth) |
MealyCompleteExplorationEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minDepth,
int maxDepth,
int batchSize) |
MealyIncrementalWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
net.automatalib.words.Alphabet<I> alphabet) |
MealyIncrementalWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
net.automatalib.words.Alphabet<I> alphabet,
int maxDepth) |
MealyIncrementalWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
net.automatalib.words.Alphabet<I> alphabet,
int maxDepth,
int batchSize) |
MealyRandomWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minimalSize,
int rndLength) |
MealyRandomWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minimalSize,
int rndLength,
int bound) |
MealyRandomWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minimalSize,
int rndLength,
int bound,
int batchSize) |
MealyRandomWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minimalSize,
int rndLength,
int bound,
Random random,
int batchSize) |
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) |
MealyRandomWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minimalSize,
int rndLength) |
MealyRandomWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minimalSize,
int rndLength,
int bound) |
MealyRandomWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minimalSize,
int rndLength,
int bound,
int batchSize) |
MealyRandomWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> mqOracle,
int minimalSize,
int rndLength,
int bound,
Random random,
int batchSize) |
MealyWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle,
int maxDepth) |
MealyWMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle,
int maxDepth,
int batchSize) |
MealyWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle,
int maxDepth) |
MealyWpMethodEQOracle(MembershipOracle<I,net.automatalib.words.Word<O>> sulOracle,
int maxDepth,
int batchSize) |
RandomWMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength)
Constructor for an unbounded testing oracle.
|
RandomWMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound)
Constructor for a bounded testing oracle.
|
RandomWMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound,
int batchSize)
Constructor for a bounded testing oracle with a specific batch size.
|
RandomWMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound,
Random random,
int batchSize)
Constructor for a bounded testing oracle with a specific batch size.
|
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle,
int minLength,
int maxLength,
int maxTests) |
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) |
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength)
Constructor for an unbounded testing oracle.
|
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound)
Constructor for a bounded testing oracle.
|
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound,
int batchSize)
Constructor for a bounded testing oracle with specific batch size.
|
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int minimalSize,
int rndLength,
int bound,
Random random,
int batchSize)
Constructor for a bounded testing oracle with specific batch size.
|
WMethodEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth)
Constructor.
|
WMethodEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth,
int batchSize)
Constructor.
|
WpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth)
Constructor.
|
WpMethodEQOracle(MembershipOracle<I,D> sulOracle,
int maxDepth,
int batchSize)
Constructor.
|
Constructor and Description |
---|
RandomWellMatchedWordsEQOracle(Random random,
MembershipOracle<I,Boolean> oracle,
net.automatalib.words.VPDAlphabet<I> alphabet,
double callProb,
int maxTests,
int minLength,
int maxLength) |
RandomWellMatchedWordsEQOracle(Random random,
MembershipOracle<I,Boolean> oracle,
net.automatalib.words.VPDAlphabet<I> alphabet,
double callProb,
int maxTests,
int minLength,
int maxLength,
int batchSize) |
Modifier and Type | Class and Description |
---|---|
class |
FilterChain<I,D>
A chain of oracles.
|
class |
MappedOracle<AI,AO,CI,CO>
A utility class that allows to lift a membership oracle of concrete input/output symbols to a membership oracle of
abstract input/output symbols, given a corresponding mapper.
|
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).
|
class |
SULSymbolQueryOracle<I,O>
A wrapper that allows to use a
SUL where a SymbolQueryOracle is expected. |
Constructor and Description |
---|
FilterChain(MembershipOracle<I,D> endpoint,
Filter<I,D>... chain) |
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 | Method and Description |
---|---|
protected MembershipOracle<Character,Boolean> |
AbstractResumableLearnerDFATest.getOracle(net.automatalib.automata.fsa.DFA<?,Character> target) |
protected MembershipOracle<Character,Boolean> |
AbstractGrowingAlphabetDFATest.getOracle(net.automatalib.automata.fsa.DFA<?,Character> target) |
protected MembershipOracle<Character,net.automatalib.words.Word<Character>> |
AbstractResumableLearnerMealyTest.getOracle(net.automatalib.automata.transout.MealyMachine<?,Character,?,Character> target) |
protected MembershipOracle<Character,net.automatalib.words.Word<Character>> |
AbstractGrowingAlphabetMealyTest.getOracle(net.automatalib.automata.transout.MealyMachine<?,Character,?,Character> target) |
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 . |
protected abstract <I> void |
AbstractVPDALearnerIT.addLearnerVariants(net.automatalib.words.VPDAlphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle,
LearnerVariantList.OneSEVPALearnerVariantList<I> variants)
Adds, for a given setup, all the variants of the OneSEVPA learner to be tested to the specified
variant list . |
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) |
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) |
Copyright © 2018. All rights reserved.