I
- input symbol class@ParametersAreNonnullByDefault public class DFACacheOracle<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 |
---|
DFACacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate)
Deprecated.
since 2014-01-24. Use
DFACaches.createCache(Alphabet, MembershipOracle) |
DFACacheOracle(net.automatalib.incremental.dfa.IncrementalDFABuilder<I> incDfa,
MembershipOracle<I,Boolean> delegate) |
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.
|
static <I> DFACacheOracle<I> |
createDAGCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> DFACacheOracle<I> |
createDAGPCCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> DFACacheOracle<I> |
createTreeCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> DFACacheOracle<I> |
createTreePCCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
void |
processQueries(Collection<? extends Query<I,Boolean>> queries)
Processes the specified collection of queries.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
answerQuery, answerQuery, asOracle, processQuery
@Deprecated public DFACacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
DFACaches.createCache(Alphabet, MembershipOracle)
alphabet
- the alphabet of the cachedelegate
- the delegate oraclepublic DFACacheOracle(net.automatalib.incremental.dfa.IncrementalDFABuilder<I> incDfa, MembershipOracle<I,Boolean> delegate)
public static <I> DFACacheOracle<I> createTreeCacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
public static <I> DFACacheOracle<I> createTreePCCacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
public static <I> DFACacheOracle<I> createDAGCacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
public static <I> DFACacheOracle<I> createDAGPCCacheOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate)
public DFACacheConsistencyTest<I> createCacheConsistencyTest()
createCacheConsistencyTest
in interface LearningCache<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
public void processQueries(Collection<? extends Query<I,Boolean>> 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,Boolean>
queries
- the queries to processQuery.answer(Object)
Copyright © 2018. All rights reserved.