I
- input symbol typeD
- output domain typepublic class JointCounterOracle<I,D> extends Object implements MembershipOracle<I,D>
MembershipOracle
that counts both the number of queries, as well as the total number of symbols occurring
in all those queries.Modifier and Type | Class and Description |
---|---|
static class |
JointCounterOracle.DFAJointCounterOracle<I> |
static class |
JointCounterOracle.MealyJointCounterOracle<I,O> |
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
JointCounterOracle(MembershipOracle<I,D> delegate) |
Modifier and Type | Method and Description |
---|---|
long |
getQueryCount()
Retrieves the number of queries posed to this oracle.
|
long |
getSymbolCount()
Retrieves the number of symbols in all queries posed to this oracle.
|
void |
processQueries(Collection<? extends Query<I,D>> queries)
Processes the specified collection of queries.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
answerQuery, answerQuery, asOracle, processQuery
public JointCounterOracle(MembershipOracle<I,D> delegate)
public void processQueries(Collection<? extends Query<I,D>> 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,D>
queries
- the queries to processQuery.answer(Object)
public long getQueryCount()
public long getSymbolCount()
Copyright © 2018. All rights reserved.