Package de.learnlib.algorithm.observationpack.moore

Class OPLearnerMoore<I,O>

java.lang.Object

de.learnlib.algorithm.observationpack.AbstractOPLearner<MooreMachine<?,I,?,O>,I,Word<O>,O,Void>

de.learnlib.algorithm.observationpack.moore.OPLearnerMoore<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

LearningAlgorithm<MooreMachine<?,I,?,O>,I,Word<O>>, LearningAlgorithm.MooreLearner<I,O>, Resumable<OPLearnerState<I,Word<O>,O,Void>>, SupportsGrowingAlphabet<I>

public class OPLearnerMoore<I,O>
extends AbstractOPLearner<MooreMachine<?,I,?,O>,I,Word<O>,O,Void>
implements LearningAlgorithm.MooreLearner<I,O>

A MooreMachine-based specialization of the DT learner.

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 extends Object>, LearningAlgorithm.MealyLearner<I extends Object,O extends Object>, LearningAlgorithm.MooreLearner<I extends Object,O extends Object>, LearningAlgorithm.NFALearner<I extends Object>

Constructor Summary

Constructors

Constructor	Description
OPLearnerMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation)

Method Summary

Modifier and Type	Method	Description
MooreMachine<?,I,?,O>	getHypothesisModel()
protected @Nullable Query<I,Word<O>>	spQuery(HState<I,Word<O>,O,Void> state)
protected @Nullable Query<I,Word<O>>	tpQuery(HTransition<I,Word<O>,O,Void> 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

OPLearnerMoore

public OPLearnerMoore(Alphabet<I> alphabet,
                      MembershipOracle<I,Word<O>> oracle,
                      LocalSuffixFinder<? super I,? super Word<O>> suffixFinder,
                      boolean repeatedCounterexampleEvaluation)

Method Detail

spQuery

protected @Nullable Query<I,Word<O>> spQuery(HState<I,Word<O>,O,Void> state)

Specified by:

spQuery in class AbstractOPLearner<MooreMachine<?,I,?,O>,I,Word<O>,O,Void>

tpQuery

protected @Nullable Query<I,Word<O>> tpQuery(HTransition<I,Word<O>,O,Void> transition)

Specified by:

tpQuery in class AbstractOPLearner<MooreMachine<?,I,?,O>,I,Word<O>,O,Void>

getHypothesisModel

public MooreMachine<?,I,?,O> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<MooreMachine<?,I,?,O>,I,Word<O>>