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