Modifier and Type | Interface and Description |
---|---|
static interface |
SingleQueryOracle.SingleQueryOracleDFA<I> |
Modifier and Type | Interface and Description |
---|---|
static interface |
LearningCacheOracle.DFALearningCacheOracle<I>
Specialization of the
LearningCacheOracle interface for DFA learning. |
Modifier and Type | Class and Description |
---|---|
class |
DFACacheOracle<I>
DFA cache.
|
class |
DFAHashCacheOracle<I> |
Modifier and Type | Class and Description |
---|---|
static class |
CounterOracle.DFACounterOracle<I> |
static class |
JointCounterOracle.DFAJointCounterOracle<I> |
Modifier and Type | Class and Description |
---|---|
static class |
SimulatorOracle.DFASimulatorOracle<I> |
Modifier and Type | Method and Description |
---|---|
protected abstract <I> void |
AbstractDFALearnerIT.addLearnerVariants(net.automatalib.words.Alphabet<I> alphabet,
int targetSize,
MembershipOracle.DFAMembershipOracle<I> mqOracle,
LearnerVariantList.DFALearnerVariantList<I> variants)
Adds, for a given setup, all the variants of the DFA learner to be tested to the specified
variant list . |
Copyright © 2018. All rights reserved.