Package | Description |
---|---|
de.learnlib.acex.analyzers | |
de.learnlib.algorithms.kv.dfa | |
de.learnlib.algorithms.kv.mealy | |
de.learnlib.counterexamples |
Modifier and Type | Class and Description |
---|---|
class |
NamedAcexAnalyzer
An abstract counterexample analyzer that carries a name.
|
Constructor and Description |
---|
KearnsVaziraniDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer)
Constructor.
|
Constructor and Description |
---|
KearnsVaziraniMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
boolean repeatedCounterexampleEvaluation,
AcexAnalyzer counterexampleAnalyzer) |
Modifier and Type | Method and Description |
---|---|
static <RI,RO> int |
AcexLocalSuffixFinder.findSuffixIndex(AcexAnalyzer analyzer,
boolean reduce,
Query<RI,RO> ceQuery,
AccessSequenceTransformer<RI> asTransformer,
SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle) |
Constructor and Description |
---|
AcexLocalSuffixFinder(AcexAnalyzer analyzer,
boolean reduce,
String name)
Constructor.
|
Copyright © 2015. All rights reserved.