Class RivestSchapireAdapterMealy<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>
-
- de.learnlib.algorithm.procedural.adapter.mealy.RivestSchapireAdapterMealy<I,O>
-
- Type Parameters:
I
- input symbol typeO
- output symbol type
- All Implemented Interfaces:
AccessSequenceTransformer<I>
,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>
public class RivestSchapireAdapterMealy<I,O> extends RivestSchapireMealy<I,O> implements AccessSequenceTransformer<I>
Adapter for usingRivestSchapireMealy
as a procedural learner.
-
-
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 RivestSchapireAdapterMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Word<I>
transformAccessSequence(Word<I> word)
-
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.AccessSequenceTransformer
isAccessSequence, longestASPrefix
-
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
-
-
-
-
Method Detail
-
transformAccessSequence
public Word<I> transformAccessSequence(Word<I> word)
- Specified by:
transformAccessSequence
in interfaceAccessSequenceTransformer<I>
-
-