Package de.learnlib.algorithm.lambda.lstar

Class LLambdaMealy<I,O>

java.lang.Object

de.learnlib.algorithm.lambda.lstar.LLambdaMealy<I,O>

All Implemented Interfaces:

LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, LearningAlgorithm.MealyLearner<I,O>, Resumable<LLambdaState<I,net.automatalib.word.Word<O>>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.automaton.concept.FiniteRepresentation

public class LLambdaMealy<I,O>
extends Object
implements LearningAlgorithm.MealyLearner<I,O>

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>

Constructor Summary

Constructors

Constructor	Description
LLambdaMealy(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> mqo)
LLambdaMealy(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> mqs, MembershipOracle<I,net.automatalib.word.Word<O>> ceqs)

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>	getHypothesisModel()
protected List<net.automatalib.word.Word<I>>	getShortPrefixes(List<D> rowData)
boolean	refineHypothesis(DefaultQuery<I,D> counterexample)
void	resume(LLambdaState<I,D> state)
protected List<net.automatalib.word.Word<O>>	rowForState(net.automatalib.word.Word<I> input)
int	size()
void	startLearning()
LLambdaState<I,D>	suspend()

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

LLambdaMealy

public LLambdaMealy(net.automatalib.alphabet.Alphabet<I> alphabet,
                    MembershipOracle<I,net.automatalib.word.Word<O>> mqo)

LLambdaMealy

public LLambdaMealy(net.automatalib.alphabet.Alphabet<I> alphabet,
                    MembershipOracle<I,net.automatalib.word.Word<O>> mqs,
                    MembershipOracle<I,net.automatalib.word.Word<O>> ceqs)

Method Detail

size

public int size()

Specified by:

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

rowForState

protected List<net.automatalib.word.Word<O>> rowForState(net.automatalib.word.Word<I> input)

getHypothesisModel

public net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface net.automatalib.alphabet.SupportsGrowingAlphabet<I>

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>,I,D>

refineHypothesis

public boolean refineHypothesis(DefaultQuery<I,D> counterexample)

Specified by:

refineHypothesis in interface LearningAlgorithm<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>,I,D>

getShortPrefixes

protected List<net.automatalib.word.Word<I>> getShortPrefixes(List<D> rowData)

suspend

public LLambdaState<I,D> suspend()

Specified by:

suspend in interface Resumable<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>>

resume

public void resume(LLambdaState<I,D> state)

Specified by:

resume in interface Resumable<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>>