public class RivestSchapireMealy<I,O> extends ExtensibleLStarMealy<I,O>
ExtensibleAutomatonLStar.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 |
---|
RivestSchapireMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle) |
RivestSchapireMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
exposeInternalHypothesis, getHypothesisModel, hypothesisOutput, initialSuffixes, stateProperty, transitionProperty, updateInternalHypothesis, updateOutputs
initialPrefixes, refineHypothesisInternal, selectClosingRows
createState, doRefineHypothesis, setTransition, startLearning
addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, incorporateCounterExample, refineHypothesis
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
refineHypothesis, startLearning
getObservationTable
Copyright © 2015. All rights reserved.