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>
Modifier and Type | Class and Description |
---|---|
static class |
AbstractExtensibleAutomatonLStar.BuilderDefaults |
OTLearner.OTLearnerDFA<I>, OTLearner.OTLearnerMealy<I,O>
GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>
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 |
internalHyp, stateInfos
alphabet, oracle, table
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) |
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.
|
addAlphabetSymbol, createState, doRefineHypothesis, exposeInternalHypothesis, getHypothesisModel, resume, setTransition, startLearning, stateProperty, suspend, transitionProperty, updateInternalHypothesis
addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, hypothesisOutput, incorporateCounterExample, refineHypothesis
protected final ObservationTableCEXHandler<? super I,? super D> cexHandler
protected final ClosingStrategy<? super I,? super D> closingStrategy
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)
protected void refineHypothesisInternal(DefaultQuery<I,D> ceQuery)
protected List<net.automatalib.words.Word<I>> initialPrefixes()
initialPrefixes
in class AbstractLStar<A,I,D>
protected List<net.automatalib.words.Word<I>> initialSuffixes()
AbstractLStar
initialSuffixes
in class AbstractLStar<A,I,D>
protected List<Row<I>> selectClosingRows(List<List<Row<I>>> unclosed)
AbstractLStar
selectClosingRows
in class AbstractLStar<A,I,D>
unclosed
- a list of equivalence classes of unclosed rows.Copyright © 2018. All rights reserved.