I
- input symbol classO
- output symbol classpublic class MealyCacheOracle<I,O> extends Object implements MembershipOracle.MealyMembershipOracle<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).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)
Constructor.
|
MealyCacheOracle(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> delegate)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
MealyCacheConsistencyTest<I,O> |
createCacheConsistencyTest()
Creates an equivalence oracle that checks an hypothesis for consistency with the
contents of this cache.
|
int |
getCacheSize() |
void |
processQueries(Collection<? extends Query<I,Word<O>>> queries)
Processes the specified collection of queries.
|
public MealyCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> delegate)
alphabet
- the input alphabet for the cachedelegate
- the delegate Mealy oraclepublic MealyCacheOracle(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> delegate)
alphabet
- the input alphabet for the cacheerrorSyms
- the error symbol mapping (see class description)delegate
- the delegate Mealy oraclepublic int getCacheSize()
public MealyCacheConsistencyTest<I,O> createCacheConsistencyTest()
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 © 2014. All Rights Reserved.