public class DFAHashCacheOracle<I> extends Object implements LearningCacheOracle.DFALearningCacheOracle<I>
LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>
LearningCache.DFALearningCache<I>, LearningCache.MealyLearningCache<I,O>
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
DFAHashCacheOracle(MembershipOracle<I,Boolean> delegate) |
Modifier and Type | Method and Description |
---|---|
EquivalenceOracle<DFA<?,I>,I,Boolean> |
createCacheConsistencyTest()
Creates a cache consistency test.
|
void |
processQueries(Collection<? extends Query<I,Boolean>> queries)
Processes the specified collection of queries.
|
public DFAHashCacheOracle(MembershipOracle<I,Boolean> delegate)
public EquivalenceOracle<DFA<?,I>,I,Boolean> 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<DFA<?,I>,I,Boolean>
public void processQueries(Collection<? extends Query<I,Boolean>> queries)
MembershipOracle
processQueries
in interface MembershipOracle<I,Boolean>
queries
- the queries to processDefaultQuery.getOutput()
Copyright © 2015. All rights reserved.