Modifier and Type | Class and Description |
---|---|
class |
NamedAcexAnalyzer
An abstract counterexample analyzer that carries a name.
|
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 |
BaseTTTLearner.analyzer |
Modifier and Type | Method and Description |
---|---|
static AcexAnalyzer |
BaseTTTLearner.BuilderDefaults.analyzer() |
Constructor and Description |
---|
BaseTTTLearner(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
TTTHypothesis<I,D,?> hypothesis,
AcexAnalyzer analyzer) |
BaseTTTLearner(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
TTTHypothesis<I,D,?> hypothesis,
AcexAnalyzer analyzer,
DTNode<I,D> root) |
Constructor and Description |
---|
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,
DTNode<I,Boolean> root) |
Constructor and Description |
---|
TTTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> 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 © 2016. All rights reserved.