de.learnlib.algorithms.lstar

Class AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.automata.GrowableAlphabetAutomaton<I>>

java.lang.Object

de.learnlib.algorithms.lstar.AbstractLStar<A,I,D>

de.learnlib.algorithms.lstar.AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI>

de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI>

All Implemented Interfaces:

GlobalSuffixFeature<I>, GlobalSuffixLearner<A,I,D>, ResumableLearner<AutomatonLStarState<I,D,AI,S>>, SupportsGrowingAlphabet<I>, LearningAlgorithm<A,I,D>, ObservationTableFeature<I,D>, OTLearner<A,I,D>

Direct Known Subclasses:

ClassicLStarMealy, ExtensibleLStarDFA, ExtensibleLStarMealy

public abstract class AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.automata.GrowableAlphabetAutomaton<I>>
extends AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractExtensibleAutomatonLStar.BuilderDefaults

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

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

Nested classes/interfaces inherited from interface de.learnlib.api.algorithm.feature.GlobalSuffixLearner

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

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected ObservationTableCEXHandler<? super I,? super D>	cexHandler
protected ClosingStrategy<? super I,? super D>	closingStrategy
protected List<net.automatalib.words.Word<I>>	initialPrefixes
protected List<net.automatalib.words.Word<I>>	initialSuffixes

Fields inherited from class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

internalHyp, stateInfos

Fields inherited from class de.learnlib.algorithms.lstar.AbstractLStar

alphabet, oracle, table

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractExtensibleAutomatonLStar(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,D> oracle, AI internalHyp, List<net.automatalib.words.Word<I>> initialPrefixes, List<net.automatalib.words.Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super D> cexHandler, ClosingStrategy<? super I,? super D> closingStrategy)

Method Summary

Modifier and Type	Method and Description
protected List<net.automatalib.words.Word<I>>	initialPrefixes()
protected List<net.automatalib.words.Word<I>>	initialSuffixes() Returns the list of initial suffixes which are used to initialize the table.
protected void	refineHypothesisInternal(DefaultQuery<I,D> ceQuery)
protected List<Row<I>>	selectClosingRows(List<List<Row<I>>> unclosed) This method selects a set of rows to use for closing the table.

Methods inherited from class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

addAlphabetSymbol, createState, doRefineHypothesis, exposeInternalHypothesis, getHypothesisModel, resume, setTransition, startLearning, stateProperty, suspend, transitionProperty, updateInternalHypothesis

Methods inherited from class de.learnlib.algorithms.lstar.AbstractLStar

addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, hypothesisOutput, incorporateCounterExample, refineHypothesis

Methods inherited from class java.lang.Object

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

Field Detail

cexHandler

protected final ObservationTableCEXHandler<? super I,? super D> cexHandler

closingStrategy

protected final ClosingStrategy<? super I,? super D> closingStrategy

initialPrefixes

protected final List<net.automatalib.words.Word<I>> initialPrefixes

initialSuffixes

protected final List<net.automatalib.words.Word<I>> initialSuffixes

Constructor Detail

AbstractExtensibleAutomatonLStar

protected AbstractExtensibleAutomatonLStar(net.automatalib.words.Alphabet<I> alphabet,
                                           MembershipOracle<I,D> oracle,
                                           AI internalHyp,
                                           List<net.automatalib.words.Word<I>> initialPrefixes,
                                           List<net.automatalib.words.Word<I>> initialSuffixes,
                                           ObservationTableCEXHandler<? super I,? super D> cexHandler,
                                           ClosingStrategy<? super I,? super D> closingStrategy)

Method Detail

refineHypothesisInternal

protected void refineHypothesisInternal(DefaultQuery<I,D> ceQuery)

Overrides:

refineHypothesisInternal in class AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.automata.GrowableAlphabetAutomaton<I>>

initialPrefixes

protected List<net.automatalib.words.Word<I>> initialPrefixes()

Overrides:

initialPrefixes in class AbstractLStar<A,I,D>

initialSuffixes

protected List<net.automatalib.words.Word<I>> initialSuffixes()

Description copied from class: AbstractLStar

Returns the list of initial suffixes which are used to initialize the table.

Specified by:

initialSuffixes in class AbstractLStar<A,I,D>

Returns:

the list of initial suffixes.

selectClosingRows

protected List<Row<I>> selectClosingRows(List<List<Row<I>>> unclosed)

Description copied from class: AbstractLStar

This method selects a set of rows to use for closing the table. It receives as input a list of row lists, such that each (inner) list contains long prefix rows with (currently) identical contents, which have no matching short prefix row. The outer list is the list of all those equivalence classes.

Overrides:

selectClosingRows in class AbstractLStar<A,I,D>

Parameters:

unclosed - a list of equivalence classes of unclosed rows.

Returns:

a list containing a representative row from each class to move to the short prefix part.