Module de.learnlib.algorithm.procedural

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

Class TTTLambdaAdapterDFA<I>

java.lang.Object

de.learnlib.algorithm.lambda.ttt.AbstractTTTLambda<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

de.learnlib.algorithm.lambda.ttt.dfa.TTTLambdaDFA<I>

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.automaton.concept.FiniteRepresentation

public class TTTLambdaAdapterDFA<I>
extends TTTLambdaDFA<I>
implements AccessSequenceTransformer<I>

Adapter for using TTTLambdaDFA 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
TTTLambdaAdapterDFA(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,Boolean> 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.dfa.TTTLambdaDFA

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

TTTLambdaAdapterDFA

public TTTLambdaAdapterDFA(net.automatalib.alphabet.Alphabet<I> alphabet,
                           MembershipOracle<I,Boolean> oracle)

Method Detail

transformAccessSequence

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

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>