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

Class OptimalTTTAdapterMealy<I,O>

java.lang.Object

de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT<MealyMachine<?,I,?,O>,I,Word<O>>

de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy<I,O>

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

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>, LearningAlgorithm.MealyLearner<I,O>, SupportsGrowingAlphabet<I>, InputAlphabetHolder<I>

public class OptimalTTTAdapterMealy<I,O>
extends OptimalTTTMealy<I,O>
implements AccessSequenceTransformer<I>

Adapter for using OptimalTTTMealy 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.oml.ttt.AbstractOptimalTTT

ptree, strie

Constructor Summary

Constructors

Constructor	Description
OptimalTTTAdapterMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)

Method Summary

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

Methods inherited from class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

dtree, getHypothesisModel, getState, hypOutput, isCanonical, maxSearchIndex, suffix

Methods inherited from class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

addAlphabetSymbol, getInputAlphabet, 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

OptimalTTTAdapterMealy

public OptimalTTTAdapterMealy(Alphabet<I> alphabet,
                              MembershipOracle<I,Word<O>> oracle)

Method Detail

transformAccessSequence

public Word<I> transformAccessSequence(Word<I> word)

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>