I
- input symbol classpublic class DFACacheOracle<I> extends Object implements MembershipOracle.DFAMembershipOracle<I>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
DFACacheOracle(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
DFACacheConsistencyTest<I> |
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,Boolean>> queries)
Processes the specified collection of queries.
|
public DFACacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
alphabet
- the alphabet of the cachedelegate
- the delegate oraclepublic int getCacheSize()
public DFACacheConsistencyTest<I> createCacheConsistencyTest()
public void processQueries(Collection<? extends Query<I,Boolean>> queries)
MembershipOracle
processQueries
in interface MembershipOracle<I,Boolean>
queries
- the queries to processDefaultQuery.getOutput()
Copyright © 2014. All Rights Reserved.