I
- input symbol typeO
- output symbol typepublic class DTLearnerMealy<I,O> extends AbstractDTLearner<MealyMachine<?,I,?,O>,I,Word<O>,Void,O> implements LearningAlgorithm.MealyLearner<I,O>
AbstractDTLearner.BuilderDefaults
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>
dtree, hypothesis
Constructor and Description |
---|
DTLearnerMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
LocalSuffixFinder<? super I,? super Word<O>> suffixFinder,
boolean repeatedCounterexampleEvaluation)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<HState<I,Word<O>,Void,O>,HTransition<I,Word<O>,Void,O>> |
getHypothesisDOTHelper() |
MealyMachine<?,I,?,O> |
getHypothesisModel()
Returns the current hypothesis model.
|
protected 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) |
createState, dtGraphView, getDiscriminationTree, getHypothesisDS, initializeState, refineHypothesis, refineHypothesisSingle, startLearning, updateHypothesis, updateTransition
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
refineHypothesis, startLearning
public DTLearnerMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation)
alphabet
- the input alphabetoracle
- the membership oraclesuffixFinder
- method to use for analyzing counterexamplespublic MealyMachine<?,I,?,O> getHypothesisModel()
LearningAlgorithm
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()
.
getHypothesisModel
in interface LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>
protected Query<I,Word<O>> spQuery(HState<I,Word<O>,Void,O> state)
spQuery
in class AbstractDTLearner<MealyMachine<?,I,?,O>,I,Word<O>,Void,O>
protected Query<I,Word<O>> tpQuery(HTransition<I,Word<O>,Void,O> transition)
tpQuery
in class AbstractDTLearner<MealyMachine<?,I,?,O>,I,Word<O>,Void,O>
public GraphDOTHelper<HState<I,Word<O>,Void,O>,HTransition<I,Word<O>,Void,O>> getHypothesisDOTHelper()
getHypothesisDOTHelper
in class AbstractDTLearner<MealyMachine<?,I,?,O>,I,Word<O>,Void,O>
Copyright © 2015. All rights reserved.