Package de.learnlib.algorithm.procedural.adapter.dfa

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 using KearnsVaziraniDFA 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

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 interface AccessSequenceTransformer<I>