Package de.learnlib.algorithm.lambda.ttt.dfa

Class TTTLambdaDFA<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>

All Implemented Interfaces:

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

public class TTTLambdaDFA<I>
extends AbstractTTTLambda<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>
implements LearningAlgorithm.DFALearner<I>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.algorithm.LearningAlgorithm

LearningAlgorithm.DFALearner<I extends Object>, LearningAlgorithm.MealyLearner<I extends Object,O extends Object>, LearningAlgorithm.MooreLearner<I extends Object,O extends Object>, LearningAlgorithm.NFALearner<I extends Object>

Field Summary

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

ptree, strie

Constructor Summary

Constructors

Constructor	Description
TTTLambdaDFA(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqo)
TTTLambdaDFA(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqs, MembershipOracle<I,Boolean> ceqs)

Method Summary

Modifier and Type	Method	Description
protected AbstractDecisionTree<I,Boolean>	dtree()
net.automatalib.automaton.fsa.DFA<?,I>	getHypothesisModel()
protected DTLeaf<I,Boolean>	getState(net.automatalib.word.Word<I> prefix)
protected int	maxSearchIndex(int ceLength)
int	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.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

TTTLambdaDFA

public TTTLambdaDFA(net.automatalib.alphabet.Alphabet<I> alphabet,
                    MembershipOracle<I,Boolean> mqo)

TTTLambdaDFA

public TTTLambdaDFA(net.automatalib.alphabet.Alphabet<I> alphabet,
                    MembershipOracle<I,Boolean> mqs,
                    MembershipOracle<I,Boolean> ceqs)

Method Detail

maxSearchIndex

protected int maxSearchIndex(int ceLength)

Specified by:

maxSearchIndex in class AbstractTTTLambda<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

getState

protected DTLeaf<I,Boolean> getState(net.automatalib.word.Word<I> prefix)

Specified by:

getState in class AbstractTTTLambda<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

getHypothesisModel

public net.automatalib.automaton.fsa.DFA<?,I> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

dtree

protected AbstractDecisionTree<I,Boolean> dtree()

Specified by:

dtree in class AbstractTTTLambda<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

size

public int size()

Specified by:

size in interface net.automatalib.automaton.concept.FiniteRepresentation