Module de.learnlib.algorithm.procedural

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

Class TTTLambdaAdapterMealy<I,O>

java.lang.Object

de.learnlib.algorithm.lambda.ttt.AbstractTTTLambda<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>

de.learnlib.algorithm.lambda.ttt.mealy.TTTLambdaMealy<I,O>

de.learnlib.algorithm.procedural.adapter.mealy.TTTLambdaAdapterMealy<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>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.automaton.concept.FiniteRepresentation

public class TTTLambdaAdapterMealy<I,O>
extends TTTLambdaMealy<I,O>
implements AccessSequenceTransformer<I>

Adapter for using TTTLambdaMealy as a procedural learner.

Nested Class Summary

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.lambda.ttt.AbstractTTTLambda

ptree, strie

Constructor Summary

Constructors

Constructor	Description
TTTLambdaAdapterMealy(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.lambda.ttt.mealy.TTTLambdaMealy

dtree, getHypothesisModel, getState, maxSearchIndex, size

Methods inherited from class de.learnlib.algorithm.lambda.ttt.AbstractTTTLambda

addAlphabetSymbol, refineHypothesis, startLearning

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

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

TTTLambdaAdapterMealy

public TTTLambdaAdapterMealy(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>