Modifier and Type | Class and Description |
---|---|
class |
AbstractNamedAcexAnalyzer
An abstract counterexample analyzer that carries a name.
|
Modifier and Type | Field and Description |
---|---|
protected AcexAnalyzer |
DTLearnerVPDA.analyzer |
Constructor and Description |
---|
DTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
Constructor and Description |
---|
KearnsVaziraniDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer)
Constructor.
|
Constructor and Description |
---|
KearnsVaziraniMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer) |
Modifier and Type | Field and Description |
---|---|
protected AcexAnalyzer |
AbstractTTTLearner.analyzer |
Modifier and Type | Method and Description |
---|---|
static AcexAnalyzer |
AbstractTTTLearner.BuilderDefaults.analyzer() |
Constructor and Description |
---|
AbstractTTTLearner(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
AbstractTTTHypothesis<I,D,?> hypothesis,
BaseTTTDiscriminationTree<I,D> dtree,
AcexAnalyzer analyzer) |
Constructor and Description |
---|
PrefixTTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer,
Supplier<? extends AbstractBaseDTNode<I,Boolean>> rootSupplier) |
Constructor and Description |
---|
TTTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
AcexAnalyzer analyzer) |
Constructor and Description |
---|
TTTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
Modifier and Type | Method and Description |
---|---|
static <RI,RO> int |
AcexLocalSuffixFinder.findSuffixIndex(AcexAnalyzer analyzer,
boolean reduce,
Query<RI,RO> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
net.automatalib.automata.concepts.SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle) |
Constructor and Description |
---|
AcexLocalSuffixFinder(AcexAnalyzer analyzer,
boolean reduce,
String name)
Constructor.
|
Copyright © 2018. All rights reserved.