Package | Description |
---|---|
de.learnlib.filter.cache.dfa |
Modifier and Type | Method and Description |
---|---|
static <I> DFACacheOracle<I> |
DFACaches.createCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup.
|
static <I> DFACacheOracle<I> |
DFACaches.createDAGCache(net.automatalib.words.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(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> DFACacheOracle<I> |
DFACaches.createDAGPCCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACacheOracle.createDAGPCCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> DFACacheOracle<I> |
DFACaches.createTreeCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACacheOracle.createTreeCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
static <I> DFACacheOracle<I> |
DFACaches.createTreePCCache(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> mqOracle) |
static <I> DFACacheOracle<I> |
DFACacheOracle.createTreePCCacheOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> delegate) |
Copyright © 2018. All rights reserved.