I
- input symbol classO
- output symbol classpublic class MealyCacheOracle<I,O> extends Object implements LearningCacheOracle.MealyLearningCacheOracle<I,O>
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(Alphabet<I> alphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> delegate)
Deprecated.
since 2014-01-23. Use
createDAGCacheOracle(Alphabet, Mapping, MembershipOracle) to reproduce old
behavior. |
MealyCacheOracle(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> delegate)
Deprecated.
since 2014-01-23. Use
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 |
---|---|
MealyCacheConsistencyTest<I,O> |
createCacheConsistencyTest()
Creates a cache consistency test.
|
static <I,O> MealyCacheOracle<I,O> |
createDAGCacheOracle(Alphabet<I> inputAlphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
createDAGCacheOracle(Alphabet<I> inputAlphabet,
MembershipOracle<I,Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
createTreeCacheOracle(Alphabet<I> inputAlphabet,
Mapping<? super O,? extends O> errorSyms,
MembershipOracle<I,Word<O>> delegate) |
static <I,O> MealyCacheOracle<I,O> |
createTreeCacheOracle(Alphabet<I> inputAlphabet,
MembershipOracle<I,Word<O>> delegate) |
int |
getCacheSize() |
void |
processQueries(Collection<? extends Query<I,Word<O>>> queries)
Processes the specified collection of queries.
|
public MealyCacheOracle(IncrementalMealyBuilder<I,O> incrementalBuilder, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> delegate)
public MealyCacheOracle(IncrementalMealyBuilder<I,O> incrementalBuilder, Lock lock, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> delegate)
@Deprecated public MealyCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> delegate)
createDAGCacheOracle(Alphabet, MembershipOracle)
to reproduce old behavior.alphabet
- the input alphabet for the cachedelegate
- the delegate Mealy oracle@Deprecated public MealyCacheOracle(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,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 static <I,O> MealyCacheOracle<I,O> createDAGCacheOracle(Alphabet<I> inputAlphabet, MembershipOracle<I,Word<O>> delegate)
public static <I,O> MealyCacheOracle<I,O> createDAGCacheOracle(Alphabet<I> inputAlphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> delegate)
public static <I,O> MealyCacheOracle<I,O> createTreeCacheOracle(Alphabet<I> inputAlphabet, MembershipOracle<I,Word<O>> delegate)
public static <I,O> MealyCacheOracle<I,O> createTreeCacheOracle(Alphabet<I> inputAlphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,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<MealyMachine<?,I,?,O>,I,Word<O>>
public void processQueries(Collection<? extends Query<I,Word<O>>> queries)
MembershipOracle
processQueries
in interface MembershipOracle<I,Word<O>>
queries
- the queries to processDefaultQuery.getOutput()
Copyright © 2015. All rights reserved.