Class RivestSchapireAdapterDFA<I>
- 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<DFA<?,I>,I,Boolean,Integer,Integer,Boolean,Void,CompactDFA<I>>
-
- de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA<I>
-
- de.learnlib.algorithm.rivestschapire.RivestSchapireDFA<I>
-
- de.learnlib.algorithm.procedural.adapter.dfa.RivestSchapireAdapterDFA<I>
-
- Type Parameters:
I
- input symbol type
- All Implemented Interfaces:
AccessSequenceTransformer<I>
,GlobalSuffixLearner<DFA<?,I>,I,Boolean>
,GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>
,LearningAlgorithm<DFA<?,I>,I,Boolean>
,LearningAlgorithm.DFALearner<I>
,ObservationTableFeature<I,Boolean>
,OTLearner<DFA<?,I>,I,Boolean>
,OTLearner.OTLearnerDFA<I>
,Resumable<AutomatonLStarState<I,Boolean,CompactDFA<I>,Integer>>
,SupportsGrowingAlphabet<I>
public class RivestSchapireAdapterDFA<I> extends RivestSchapireDFA<I> implements AccessSequenceTransformer<I>, LearningAlgorithm.DFALearner<I>
Adapter for usingRivestSchapireDFA
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 RivestSchapireAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> 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.dfa.ExtensibleLStarDFA
getHypothesisModel, hypothesisOutput, stateProperty, transitionProperty
-
Methods inherited from class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
initialPrefixes, initialSuffixes, refineHypothesisInternal, selectClosingRows
-
Methods inherited from class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
addAlphabetSymbol, createState, doRefineHypothesis, resume, setTransition, startLearning, suspend, updateInternalHypothesis
-
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
getHypothesisModel, refineHypothesis, startLearning
-
Methods inherited from interface de.learnlib.datastructure.observationtable.ObservationTableFeature
getObservationTable
-
-
-
-
Constructor Detail
-
RivestSchapireAdapterDFA
public RivestSchapireAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
-
Method Detail
-
transformAccessSequence
public Word<I> transformAccessSequence(Word<I> word)
- Specified by:
transformAccessSequence
in interfaceAccessSequenceTransformer<I>
-
-