I
- input symbol class.public class ClassicLStarDFA<I> extends ExtensibleLStarDFA<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 |
---|
ClassicLStarDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
exposeInternalHypothesis, hypothesisOutput, initialSuffixes, stateProperty, transitionProperty
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 ClassicLStarDFA(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
Copyright © 2018. All rights reserved.