de.learnlib.algorithms.lstargeneric

Class ExtensibleAutomatonLStar<A,I,O,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP>>

java.lang.Object

de.learnlib.algorithms.lstargeneric.AbstractLStar<A,I,O>

de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar<A,I,O,S,T,SP,TP,AI>

de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar<A,I,O,S,T,SP,TP,AI>

All Implemented Interfaces:

GlobalSuffixFeature<I>, GlobalSuffixLearner<A,I,O>, ObservationTableFeature<I,O>, OTLearner<A,I,O>, LearningAlgorithm<A,I,O>

Direct Known Subclasses:

ClassicLStarMealy, ExtensibleLStarDFA, ExtensibleLStarMealy

public abstract class ExtensibleAutomatonLStar<A,I,O,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP>>
extends AbstractAutomatonLStar<A,I,O,S,T,SP,TP,AI>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ExtensibleAutomatonLStar.BuilderDefaults

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>

Field Summary

Fields

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

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

internalHyp, stateInfos

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

alphabet, oracle, table

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
protected abstract net.automatalib.automata.concepts.SuffixOutput<I,O>	hypothesisOutput()
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,O> 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.lstargeneric.AbstractAutomatonLStar

createState, doRefineHypothesis, exposeInternalHypothesis, getHypothesisModel, setTransition, startLearning, stateProperty, transitionProperty, updateInternalHypothesis

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

addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, 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 O> cexHandler

closingStrategy

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

initialPrefixes

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

initialSuffixes

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

Constructor Detail

ExtensibleAutomatonLStar

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

Method Detail

refineHypothesisInternal

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

Overrides:

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

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

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.

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

Returns:

the list of initial suffixes.

initialPrefixes

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

Overrides:

initialPrefixes in class AbstractLStar<A,I,O>

hypothesisOutput

protected abstract net.automatalib.automata.concepts.SuffixOutput<I,O> hypothesisOutput()