public class TTTLearnerDFA<I> extends AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> implements LearningAlgorithm.DFALearner<I>
AbstractTTTLearner.BuilderDefaults, AbstractTTTLearner.Splitter<I,D>
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>
alphabet, analyzer, blockList, dtree, hypothesis, openTransitions, oracle
Modifier | Constructor and Description |
---|---|
|
TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
protected |
TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer,
Supplier<? extends AbstractBaseDTNode<I,Boolean>> rootSupplier) |
Modifier and Type | Method and Description |
---|---|
protected Boolean |
computeHypothesisOutput(TTTState<I,Boolean> state,
net.automatalib.words.Word<I> suffix) |
protected AbstractBaseDTNode<I,Boolean> |
createNewNode(AbstractBaseDTNode<I,Boolean> parent,
Boolean parentOutput) |
protected OutInconsPrefixTransformAcex<I,Boolean> |
deriveAcex(OutputInconsistency<I,Boolean> outIncons) |
TTTHypothesisDFA<I> |
getHypothesisDS() |
net.automatalib.automata.fsa.DFA<?,I> |
getHypothesisModel()
Returns the current hypothesis model.
|
protected void |
initializeState(TTTState<I,Boolean> state)
Initializes a state.
|
protected Boolean |
predictSuccOutcome(TTTTransition<I,Boolean> trans,
AbstractBaseDTNode<I,Boolean> succSeparator) |
protected Boolean |
succEffect(Boolean effect) |
addAlphabetSymbol, addEventListener, allNodesFinal, closeTransitions, createMap, createTransition, declareFinal, finalizeAny, findOutputInconsistency, getAnySuccessor, getAnySuccessor, getAnyTarget, getDeterministicState, getDiscriminationTree, getNondetSuccessors, getStateTransition, link, makeTree, query, query, refineHypothesis, refineHypothesisSingle, removeEventListener, resume, split, startLearning, suspend
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
refineHypothesis, startLearning
public TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)
protected TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer, Supplier<? extends AbstractBaseDTNode<I,Boolean>> rootSupplier)
public net.automatalib.automata.fsa.DFA<?,I> 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.fsa.DFA<?,I>,I,Boolean>
protected void initializeState(TTTState<I,Boolean> state)
AbstractTTTLearner
initializeState
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
state
- the state to initializeprotected OutInconsPrefixTransformAcex<I,Boolean> deriveAcex(OutputInconsistency<I,Boolean> outIncons)
deriveAcex
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
protected Boolean succEffect(Boolean effect)
succEffect
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
protected Boolean predictSuccOutcome(TTTTransition<I,Boolean> trans, AbstractBaseDTNode<I,Boolean> succSeparator)
predictSuccOutcome
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
protected Boolean computeHypothesisOutput(TTTState<I,Boolean> state, net.automatalib.words.Word<I> suffix)
computeHypothesisOutput
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
public TTTHypothesisDFA<I> getHypothesisDS()
getHypothesisDS
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
protected AbstractBaseDTNode<I,Boolean> createNewNode(AbstractBaseDTNode<I,Boolean> parent, Boolean parentOutput)
createNewNode
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
Copyright © 2018. All rights reserved.