de.learnlib.algorithms.baselinelstar

Class BaselineLStar<I>

java.lang.Object

de.learnlib.algorithms.baselinelstar.BaselineLStar<I>

Type Parameters:

I - input symbol class.

All Implemented Interfaces:

GlobalSuffixFeature<I>, GlobalSuffixLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, ObservationTableFeature<I,Boolean>, OTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

public class BaselineLStar<I>
extends Object
implements OTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>

Implementation of the L* algorithm by Dana Angluin

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.algorithms.features.observationtable.OTLearner

OTLearner.OTLearnerDFA<I>, OTLearner.OTLearnerMealy<I,O>

Nested classes/interfaces inherited from interface de.learnlib.algorithms.features.globalsuffixes.GlobalSuffixLearner

GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>

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

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>

Constructor Summary

Constructors

Constructor and Description
BaselineLStar(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle) Initializes a newly created baseline L* implementation.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addGlobalSuffixes(Collection<? extends net.automatalib.words.Word<I>> newGlobalSuffixes)
Collection<? extends net.automatalib.words.Word<I>>	getGlobalSuffixes()
net.automatalib.automata.fsa.DFA<?,I>	getHypothesisModel()
ObservationTable<I,Boolean>	getObservationTable()
String	getStringRepresentationOfObservationTable()
boolean	refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
void	startLearning()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BaselineLStar

public BaselineLStar(@Nonnull
             net.automatalib.words.Alphabet<I> alphabet,
             @Nonnull
             MembershipOracle<I,Boolean> oracle)

Initializes a newly created baseline L* implementation. After this, the method startLearning() may be called once.

Parameters:

alphabet - The Alphabet to learn.

oracle - The MembershipOracle which is used for membership queries.

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

refineHypothesis

public boolean refineHypothesis(@Nonnull
                       DefaultQuery<I,Boolean> ceQuery)

Specified by:

refineHypothesis in interface LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

getHypothesisModel

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

Specified by:

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

getStringRepresentationOfObservationTable

@Nonnull
public String getStringRepresentationOfObservationTable()

getGlobalSuffixes

@Nonnull
public Collection<? extends net.automatalib.words.Word<I>> getGlobalSuffixes()

Specified by:

getGlobalSuffixes in interface GlobalSuffixFeature<I>

addGlobalSuffixes

public boolean addGlobalSuffixes(@Nonnull
                        Collection<? extends net.automatalib.words.Word<I>> newGlobalSuffixes)

Specified by:

addGlobalSuffixes in interface GlobalSuffixFeature<I>

getObservationTable

@Nonnull
public ObservationTable<I,Boolean> getObservationTable()

Specified by:

getObservationTable in interface ObservationTableFeature<I,Boolean>