Class KearnsVaziraniAdapterDFA<I>
- java.lang.Object
-
- de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA<I>
-
- de.learnlib.algorithm.procedural.adapter.dfa.KearnsVaziraniAdapterDFA<I>
-
- Type Parameters:
I
- input symbol type
- All Implemented Interfaces:
AccessSequenceTransformer<I>
,LearningAlgorithm<DFA<?,I>,I,Boolean>
,LearningAlgorithm.DFALearner<I>
,Resumable<KearnsVaziraniDFAState<I>>
,SupportsGrowingAlphabet<I>
public class KearnsVaziraniAdapterDFA<I> extends KearnsVaziraniDFA<I> implements AccessSequenceTransformer<I>
Adapter for usingKearnsVaziraniDFA
as a procedural learner.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA
KearnsVaziraniDFA.KVAbstractCounterexample
-
Nested classes/interfaces inherited from interface de.learnlib.algorithm.LearningAlgorithm
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>, LearningAlgorithm.MooreLearner<I,O>, LearningAlgorithm.NFALearner<I>
-
-
Field Summary
-
Fields inherited from class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA
stateInfos
-
-
Constructor Summary
Constructors Constructor Description KearnsVaziraniAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Word<I>
transformAccessSequence(Word<I> word)
-
Methods inherited from class de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFA
addAlphabetSymbol, getDiscriminationTree, getHypothesisModel, refineHypothesis, resume, startLearning, suspend
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface de.learnlib.AccessSequenceTransformer
isAccessSequence, longestASPrefix
-
-
-
-
Constructor Detail
-
KearnsVaziraniAdapterDFA
public KearnsVaziraniAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
-
Method Detail
-
transformAccessSequence
public Word<I> transformAccessSequence(Word<I> word)
- Specified by:
transformAccessSequence
in interfaceAccessSequenceTransformer<I>
-
-