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