Class OPLearnerMealy<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.observationpack.AbstractOPLearner<MealyMachine<?,I,?,O>,I,Word<O>,Void,O>
-
- de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy<I,O>
-
- Type Parameters:
I
- input symbol typeO
- output symbol type
- All Implemented Interfaces:
LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>
,LearningAlgorithm.MealyLearner<I,O>
,Resumable<OPLearnerState<I,Word<O>,Void,O>>
,SupportsGrowingAlphabet<I>
- Direct Known Subclasses:
ObservationPackAdapterMealy
public class OPLearnerMealy<I,O> extends AbstractOPLearner<MealyMachine<?,I,?,O>,I,Word<O>,Void,O> implements LearningAlgorithm.MealyLearner<I,O>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class de.learnlib.algorithm.observationpack.AbstractOPLearner
AbstractOPLearner.BuilderDefaults
-
Nested classes/interfaces inherited from interface de.learnlib.algorithm.LearningAlgorithm
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>, LearningAlgorithm.MooreLearner<I,O>, LearningAlgorithm.NFALearner<I>
-
-
Constructor Summary
Constructors Constructor Description OPLearnerMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MealyMachine<?,I,?,O>
getHypothesisModel()
Returns the current hypothesis model.protected @Nullable Query<I,Word<O>>
spQuery(HState<I,Word<O>,Void,O> state)
protected Query<I,Word<O>>
tpQuery(HTransition<I,Word<O>,Void,O> transition)
-
Methods inherited from class de.learnlib.algorithm.observationpack.AbstractOPLearner
addAlphabetSymbol, createState, getDiscriminationTree, getHypothesisDS, initializeState, refineHypothesis, refineHypothesisSingle, resume, startLearning, suspend, updateHypothesis, updateTransitions
-
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.LearningAlgorithm
refineHypothesis, startLearning
-
-
-
-
Constructor Detail
-
OPLearnerMealy
public OPLearnerMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation)
Constructor.- Parameters:
alphabet
- the input alphabetoracle
- the membership oraclesuffixFinder
- method to use for analyzing counterexamples
-
-
Method Detail
-
getHypothesisModel
public MealyMachine<?,I,?,O> getHypothesisModel()
Description copied from interface:LearningAlgorithm
Returns the current hypothesis model.N.B.: By the contract of this interface, the model returned by this method may not be modified (i.e., M generally should refer to an immutable interface), and its validity is retained only until the next invocation of
LearningAlgorithm.refineHypothesis(DefaultQuery)
. If older hypotheses have to be maintained, a copy of the returned model must be made.Please note that it should be illegal to invoke this method before an initial invocation of
LearningAlgorithm.startLearning()
.- Specified by:
getHypothesisModel
in interfaceLearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>
- Returns:
- the current hypothesis model.
-
spQuery
protected @Nullable Query<I,Word<O>> spQuery(HState<I,Word<O>,Void,O> state)
- Specified by:
spQuery
in classAbstractOPLearner<MealyMachine<?,I,?,O>,I,Word<O>,Void,O>
-
-