public abstract class ExtensibleAutomatonLStar<A,I,O,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>> extends AbstractAutomatonLStar<A,I,O,S,T,SP,TP,AI>
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>
Modifier and Type | Field and Description |
---|---|
protected ObservationTableCEXHandler<? super I,? super O> |
cexHandler |
protected ClosingStrategy<? super I,? super O> |
closingStrategy |
protected List<Word<I>> |
initialSuffixes |
internalHyp, stateInfos
alphabet, oracle, table
Constructor and Description |
---|
ExtensibleAutomatonLStar(Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
AI internalHyp,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
Modifier and Type | Method and Description |
---|---|
protected void |
doRefineHypothesis(DefaultQuery<I,O> ceQuery) |
protected abstract SuffixOutput<I,O> |
hypothesisOutput() |
protected List<Word<I>> |
initialSuffixes()
Returns the list of initial suffixes which are used to initialize the table.
|
protected List<Row<I>> |
selectClosingRows(List<List<Row<I>>> unclosed)
This method selects a set of rows to use for closing the table.
|
createState, exposeInternalHypothesis, getHypothesisModel, setTransition, stateProperty, transitionProperty, updateInternalHypothesis
analyzeInconsistency, completeConsistentTable, incorporateCounterExample, refineHypothesis, startLearning
protected final ObservationTableCEXHandler<? super I,? super O> cexHandler
protected final ClosingStrategy<? super I,? super O> closingStrategy
protected final List<Word<I>> initialSuffixes
public ExtensibleAutomatonLStar(Alphabet<I> alphabet, MembershipOracle<I,O> oracle, AI internalHyp, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
protected void doRefineHypothesis(DefaultQuery<I,O> ceQuery)
doRefineHypothesis
in class AbstractLStar<A,I,O>
protected List<Row<I>> selectClosingRows(List<List<Row<I>>> unclosed)
AbstractLStar
selectClosingRows
in class AbstractLStar<A,I,O>
unclosed
- a list of equivalence classes of unclosed rows.protected List<Word<I>> initialSuffixes()
AbstractLStar
initialSuffixes
in class AbstractLStar<A,I,O>
protected abstract SuffixOutput<I,O> hypothesisOutput()
Copyright © 2014. All Rights Reserved.