Package de.learnlib.algorithm.lambda.lstar

Class LLambdaDFA<I>

java.lang.Object

de.learnlib.algorithm.lambda.lstar.LLambdaDFA<I>

All Implemented Interfaces:

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

public class LLambdaDFA<I>
extends Object
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>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
net.automatalib.automaton.fsa.DFA<?,I>	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<Boolean>	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

LLambdaDFA

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

LLambdaDFA

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

Method Detail

size

public int size()

Specified by:

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

rowForState

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

getHypothesisModel

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

Specified by:

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

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