public class TTTLearnerDFA<I> extends BaseTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean> implements LearningAlgorithm.DFALearner<I>
BaseTTTLearner.BuilderDefaults, BaseTTTLearner.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,
DTNode<I,Boolean> root) |
Modifier and Type | Method and Description |
---|---|
protected Boolean |
computeHypothesisOutput(TTTState<I,Boolean> state,
net.automatalib.words.Word<I> suffix) |
protected OutInconsPrefixTransformAcex<I,Boolean> |
deriveAcex(OutputInconsistency<I,Boolean> outIncons) |
net.automatalib.graphs.dot.GraphDOTHelper<TTTState<I,Boolean>,TTTHypothesis.TTTEdge<I,Boolean>> |
getHypothesisDOTHelper() |
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,
DTNode<I,Boolean> succSeparator) |
protected Boolean |
succEffect(Boolean effect) |
addEventListener, allNodesFinal, closeTransitions, createMap, createTransition, declareFinal, dtGraphView, finalizeAny, findOutputInconsistency, getAnySuccessor, getAnySuccessor, getAnyTarget, getDeterministicState, getDiscriminationTree, getNondetSuccessors, getNondetSuccessors, getStateTransition, link, makeTree, query, query, refineHypothesis, refineHypothesisSingle, removeEventListener, split, startLearning
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, DTNode<I,Boolean> root)
public TTTHypothesisDFA<I> getHypothesisDS()
getHypothesisDS
in class BaseTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
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)
BaseTTTLearner
initializeState
in class BaseTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
state
- the state to initializeprotected Boolean predictSuccOutcome(TTTTransition<I,Boolean> trans, DTNode<I,Boolean> succSeparator)
predictSuccOutcome
in class BaseTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
protected Boolean computeHypothesisOutput(TTTState<I,Boolean> state, net.automatalib.words.Word<I> suffix)
computeHypothesisOutput
in class BaseTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
public net.automatalib.graphs.dot.GraphDOTHelper<TTTState<I,Boolean>,TTTHypothesis.TTTEdge<I,Boolean>> getHypothesisDOTHelper()
getHypothesisDOTHelper
in class BaseTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
protected OutInconsPrefixTransformAcex<I,Boolean> deriveAcex(OutputInconsistency<I,Boolean> outIncons)
deriveAcex
in class BaseTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
protected Boolean succEffect(Boolean effect)
succEffect
in class BaseTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
Copyright © 2016. All rights reserved.