Uses of Class
de.learnlib.filter.cache.dfa.DFACacheOracle

Packages that use DFACacheOracle

Package	Description
de.learnlib.filter.cache.dfa

Uses of DFACacheOracle in de.learnlib.filter.cache.dfa

Methods in de.learnlib.filter.cache.dfa that return DFACacheOracle

Modifier and Type	Method and Description
static <I> DFACacheOracle<I>	DFACaches.createCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle) Creates a cache oracle for a DFA learning setup.
static <I> DFACacheOracle<I>	DFACaches.createDAGCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle) Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
static <I> DFACacheOracle<I>	DFACacheOracle.createDAGCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.
static <I> DFACacheOracle<I>	DFACaches.createDAGPCCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle) Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG for internal cache organization.
static <I> DFACacheOracle<I>	DFACacheOracle.createDAGPCCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG for internal cache organization.
static <I> DFACacheOracle<I>	DFACaches.createTreeCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle) Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.
static <I> DFACacheOracle<I>	DFACacheOracle.createTreeCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.
static <I> DFACacheOracle<I>	DFACaches.createTreePCCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle) Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.
static <I> DFACacheOracle<I>	DFACacheOracle.createTreePCCacheOracle(Alphabet<I> alphabet, MembershipOracle<I,Boolean> delegate) Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.