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

Class OptimalTTTAdapterDFA<I>

java.lang.Object

de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT<DFA<?,I>,I,Boolean>

de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA<I>

de.learnlib.algorithm.procedural.adapter.dfa.OptimalTTTAdapterDFA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>, SupportsGrowingAlphabet<I>, InputAlphabetHolder<I>

public class OptimalTTTAdapterDFA<I>
extends OptimalTTTDFA<I>
implements AccessSequenceTransformer<I>

Adapter for using OptimalTTTDFA 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
OptimalTTTAdapterDFA(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.oml.ttt.dfa.OptimalTTTDFA

dtree, getHypothesisModel, getState, hypOutput, 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

OptimalTTTAdapterDFA

public OptimalTTTAdapterDFA(Alphabet<I> alphabet,
                            MembershipOracle<I,Boolean> oracle)

Method Detail

transformAccessSequence

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

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>