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