Package de.learnlib.algorithm.rivestschapire

Class RivestSchapireMealy<I,O>

java.lang.Object

de.learnlib.algorithm.lstar.AbstractLStar<A,I,D>

de.learnlib.algorithm.lstar.AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI>

de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar<MealyMachine<?,I,?,O>,I,Word<O>,Integer,CompactTransition<O>,Void,O,CompactMealy<I,O>>

de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy<I,O>

de.learnlib.algorithm.rivestschapire.RivestSchapireMealy<I,O>

All Implemented Interfaces:

GlobalSuffixLearner<MealyMachine<?,I,?,O>,I,Word<O>>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>, LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>, LearningAlgorithm.MealyLearner<I,O>, ObservationTableFeature<I,Word<O>>, OTLearner<MealyMachine<?,I,?,O>,I,Word<O>>, OTLearner.OTLearnerMealy<I,O>, Resumable<AutomatonLStarState<I,Word<O>,CompactMealy<I,O>,Integer>>, SupportsGrowingAlphabet<I>

Direct Known Subclasses:

RivestSchapireAdapterMealy

public class RivestSchapireMealy<I,O>
extends ExtensibleLStarMealy<I,O>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar

AbstractExtensibleAutomatonLStar.BuilderDefaults

Nested classes/interfaces inherited from interface de.learnlib.algorithm.GlobalSuffixLearner

GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>

Nested classes/interfaces inherited from interface de.learnlib.algorithm.LearningAlgorithm

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>, LearningAlgorithm.MooreLearner<I,O>, LearningAlgorithm.NFALearner<I>

Nested classes/interfaces inherited from interface de.learnlib.datastructure.observationtable.OTLearner

OTLearner.OTLearnerDFA<I>, OTLearner.OTLearnerMealy<I,O>, OTLearner.OTLearnerMoore<I,O>

Field Summary

Fields inherited from class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar

cexHandler, closingStrategy, initialPrefixes, initialSuffixes

Fields inherited from class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

internalHyp, stateInfos

Fields inherited from class de.learnlib.algorithm.lstar.AbstractLStar

alphabet, oracle, table

Constructor Summary

Constructors

Constructor	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)

Method Summary

Methods inherited from class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy

addAlphabetSymbol, getHypothesisModel, hypothesisOutput, stateProperty, transitionProperty, updateInternalHypothesis, updateOutputs

Methods inherited from class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar

initialPrefixes, initialSuffixes, refineHypothesisInternal, selectClosingRows

Methods inherited from class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

createState, doRefineHypothesis, resume, setTransition, startLearning, suspend

Methods inherited from class de.learnlib.algorithm.lstar.AbstractLStar

addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, incorporateCounterExample, refineHypothesis

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.algorithm.GlobalSuffixLearner

addGlobalSuffixes, getGlobalSuffixes

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Methods inherited from interface de.learnlib.datastructure.observationtable.ObservationTableFeature

getObservationTable

Constructor Detail

RivestSchapireMealy

public RivestSchapireMealy(Alphabet<I> alphabet,
                           MembershipOracle<I,Word<O>> oracle)

RivestSchapireMealy

public RivestSchapireMealy(Alphabet<I> alphabet,
                           MembershipOracle<I,Word<O>> oracle,
                           List<Word<I>> initialSuffixes,
                           ClosingStrategy<? super I,? super Word<O>> closingStrategy)