Module de.learnlib.algorithm.procedural

Package de.learnlib.algorithm.procedural.adapter.mealy

Class KearnsVaziraniAdapterMealy<I,O>

java.lang.Object

de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy<I,O>

de.learnlib.algorithm.procedural.adapter.mealy.KearnsVaziraniAdapterMealy<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, LearningAlgorithm.MealyLearner<I,O>, Resumable<KearnsVaziraniMealyState<I,O>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>

public class KearnsVaziraniAdapterMealy<I,O>
extends KearnsVaziraniMealy<I,O>
implements AccessSequenceTransformer<I>

Adapter for using KearnsVaziraniMealy as a procedural learner.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy

KearnsVaziraniMealy.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.mealy.KearnsVaziraniMealy

stateInfos

Constructor Summary

Constructors

Constructor	Description
KearnsVaziraniAdapterMealy(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle)

Method Summary

Modifier and Type	Method	Description
net.automatalib.word.Word<I>	transformAccessSequence(net.automatalib.word.Word<I> word)

Methods inherited from class de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealy

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

KearnsVaziraniAdapterMealy

public KearnsVaziraniAdapterMealy(net.automatalib.alphabet.Alphabet<I> alphabet,
                                  MembershipOracle<I,net.automatalib.word.Word<O>> oracle)

Method Detail

transformAccessSequence

public net.automatalib.word.Word<I> transformAccessSequence(net.automatalib.word.Word<I> word)

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>