I
- input symbol classO
- output symbol classpublic class MealyCacheOracle<I,O> extends Object implements LearningCacheOracle.MealyLearningCacheOracle<I,O>
This oracle additionally enables the user to define a Mealy-style prefix-closure filter: a Mapping
from
output symbols to output symbols may be provided, with the following semantics: If in an output word a symbol for
which the given mapping has a non-null value is encountered, all symbols after this symbol are replaced by the
respective value. The rationale behind this is that the concrete error message (key in the mapping) is still
reflected in the learned model, it is forced to result in a sink state with only a single repeating output symbol
(value in the mapping).
LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>
LearningCache.DFALearningCache<I>, LearningCache.MealyLearningCache<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
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
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
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 |
---|---|
MealyCacheConsistencyTest<I,O> |
createCacheConsistencyTest()
Creates a cache consistency test.
|
static <I,O> MealyCacheOracle<I,O> |
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> |
createDAGCacheOracle(net.automatalib.words.Alphabet<I> inputAlphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
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> |
createTreeCacheOracle(net.automatalib.words.Alphabet<I> inputAlphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> delegate) |
int |
getCacheSize() |
void |
processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries)
Processes the specified collection of queries.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
answerQuery, answerQuery, asOracle, processQuery
@Deprecated public MealyCacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> delegate)
createDAGCacheOracle(Alphabet, MembershipOracle)
to reproduce old
behavior.alphabet
- the input alphabet for the cachedelegate
- the delegate Mealy oracle@Deprecated public 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)
createDAGCacheOracle(Alphabet, Mapping, MembershipOracle)
to reproduce
old behavior.alphabet
- the input alphabet for the cacheerrorSyms
- the error symbol mapping (see class description)delegate
- the delegate Mealy oraclepublic 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)
public static <I,O> MealyCacheOracle<I,O> createDAGCacheOracle(net.automatalib.words.Alphabet<I> inputAlphabet, MembershipOracle<I,net.automatalib.words.Word<O>> delegate)
public static <I,O> MealyCacheOracle<I,O> 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)
public static <I,O> MealyCacheOracle<I,O> createTreeCacheOracle(net.automatalib.words.Alphabet<I> inputAlphabet, MembershipOracle<I,net.automatalib.words.Word<O>> delegate)
public static <I,O> MealyCacheOracle<I,O> 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)
public int getCacheSize()
public MealyCacheConsistencyTest<I,O> createCacheConsistencyTest()
LearningCache
The created cache consistency test is backed by the cache contents. This method does not need to be invoked repeatedly when the cache contents change.
createCacheConsistencyTest
in interface LearningCache<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>
public void processQueries(Collection<? extends Query<I,net.automatalib.words.Word<O>>> queries)
MembershipOracle
Query.answer(Object)
method should have been called with an argument reflecting the SUL response to the
respective query.processQueries
in interface MembershipOracle<I,net.automatalib.words.Word<O>>
queries
- the queries to processQuery.answer(Object)
Copyright © 2018. All rights reserved.