Module de.learnlib.algorithm.lstar

Package de.learnlib.algorithm.lstar

Class AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>>

java.lang.Object

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

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

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

All Implemented Interfaces:

AccessSequenceTransformer<I>, GlobalSuffixLearner<A,I,D>, LearningAlgorithm<A,I,D>, ObservationTableFeature<I,D>, OTLearner<A,I,D>, LearnerStateTracker, Resumable<AutomatonLStarState<I,D,AI,S>>, SupportsGrowingAlphabet<I>

Direct Known Subclasses:

ClassicLStarMealy, ClassicLStarMoore, ExtensibleLStarDFA, ExtensibleLStarMealy, ExtensibleLStarMoore

public abstract class AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>>
extends AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	AbstractExtensibleAutomatonLStar.BuilderDefaults

Nested classes/interfaces inherited from class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

AbstractAutomatonLStar.StateInfo<S,I>

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

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

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

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

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

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

Field Summary

Fields

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

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

internalHyp, stateInfos

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

alphabet, oracle, table

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected final List<Word<I>>	initialPrefixes()
protected final List<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.algorithm.lstar.AbstractAutomatonLStar

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

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.AccessSequenceTransformer

isAccessSequence, longestASPrefix

Methods inherited from interface de.learnlib.LearnerStateTracker

requireLearningProcessNotStarted, requireLearningProcessStarted

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

getHypothesisModel

Field Details

cexHandler

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

closingStrategy

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

initialPrefixes

protected final List<Word<I>> initialPrefixes

initialSuffixes

protected final List<Word<I>> initialSuffixes

Constructor Details

AbstractExtensibleAutomatonLStar

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

Method Details

refineHypothesisInternal

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

Overrides:

refineHypothesisInternal in class AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>>

initialPrefixes

protected final List<Word<I>> initialPrefixes()

Overrides:

initialPrefixes in class AbstractLStar<A,I,D>

initialSuffixes

protected final List<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.