I
- input symbol class.public class ExtensibleLStarDFA<I> extends AbstractExtensibleAutomatonLStar<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Integer,Integer,Boolean,Void,net.automatalib.automata.fsa.impl.compact.CompactDFA<I>> implements OTLearner.OTLearnerDFA<I>
AbstractExtensibleAutomatonLStar.BuilderDefaults
OTLearner.OTLearnerDFA<I>, OTLearner.OTLearnerMealy<I,O>
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>
GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>
cexHandler, closingStrategy, initialPrefixes, initialSuffixes
internalHyp, stateInfos
alphabet, oracle, table
Constructor and Description |
---|
ExtensibleLStarDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Boolean> cexHandler,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
ExtensibleLStarDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Boolean> cexHandler,
ClosingStrategy<? super I,? super Boolean> closingStrategy)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.automata.fsa.DFA<?,I> |
exposeInternalHypothesis() |
protected net.automatalib.automata.concepts.SuffixOutput<I,Boolean> |
hypothesisOutput() |
protected List<net.automatalib.words.Word<I>> |
initialSuffixes()
Returns the list of initial suffixes which are used to initialize the table.
|
protected Boolean |
stateProperty(ObservationTable<I,Boolean> table,
Row<I> stateRow)
Derives a state property from the corresponding row.
|
protected Void |
transitionProperty(ObservationTable<I,Boolean> table,
Row<I> stateRow,
int inputIdx)
Derives a transition property from the corresponding transition.
|
initialPrefixes, refineHypothesisInternal, selectClosingRows
addAlphabetSymbol, createState, doRefineHypothesis, getHypothesisModel, resume, setTransition, startLearning, suspend, updateInternalHypothesis
addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, incorporateCounterExample, refineHypothesis
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getHypothesisModel, refineHypothesis, startLearning
getObservationTable
public ExtensibleLStarDFA(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<net.automatalib.words.Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Boolean> cexHandler, ClosingStrategy<? super I,? super Boolean> closingStrategy)
alphabet
- the learning alphabet.oracle
- the DFA oracle.public ExtensibleLStarDFA(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<net.automatalib.words.Word<I>> initialPrefixes, List<net.automatalib.words.Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Boolean> cexHandler, ClosingStrategy<? super I,? super Boolean> closingStrategy)
protected List<net.automatalib.words.Word<I>> initialSuffixes()
AbstractLStar
initialSuffixes
in class AbstractExtensibleAutomatonLStar<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Integer,Integer,Boolean,Void,net.automatalib.automata.fsa.impl.compact.CompactDFA<I>>
protected net.automatalib.automata.fsa.DFA<?,I> exposeInternalHypothesis()
exposeInternalHypothesis
in class AbstractAutomatonLStar<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Integer,Integer,Boolean,Void,net.automatalib.automata.fsa.impl.compact.CompactDFA<I>>
protected Boolean stateProperty(ObservationTable<I,Boolean> table, Row<I> stateRow)
AbstractAutomatonLStar
stateProperty
in class AbstractAutomatonLStar<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Integer,Integer,Boolean,Void,net.automatalib.automata.fsa.impl.compact.CompactDFA<I>>
table
- the current observation tablestateRow
- the row for which the state is createdprotected Void transitionProperty(ObservationTable<I,Boolean> table, Row<I> stateRow, int inputIdx)
AbstractAutomatonLStar
N.B.: Not the transition row is passed to this method, but the row for the outgoing state. The transition row can
be retrieved using Row.getSuccessor(int)
.
transitionProperty
in class AbstractAutomatonLStar<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Integer,Integer,Boolean,Void,net.automatalib.automata.fsa.impl.compact.CompactDFA<I>>
stateRow
- the row for the source stateinputIdx
- the index of the input symbol to considerprotected net.automatalib.automata.concepts.SuffixOutput<I,Boolean> hypothesisOutput()
hypothesisOutput
in class AbstractLStar<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
Copyright © 2018. All rights reserved.