public class PrefixTTTLearnerDFA<I> extends TTTLearnerDFA<I>
Modifier and Type | Class and Description |
---|---|
protected static class |
PrefixTTTLearnerDFA.ExtDTNode<I> |
AbstractTTTLearner.BuilderDefaults, AbstractTTTLearner.Splitter<I,D>
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>
alphabet, analyzer, blockList, dtree, hypothesis, openTransitions, oracle
Constructor and Description |
---|
PrefixTTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
Modifier and Type | Method and Description |
---|---|
protected TTTState<I,Boolean> |
makeTree(TTTTransition<I,Boolean> trans) |
boolean |
refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
Triggers a refinement of the model by providing a counterexample.
|
protected boolean |
refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)
Performs a single refinement of the hypothesis, i.e., without repeated counterexample evaluation.
|
computeHypothesisOutput, createNewNode, deriveAcex, getHypothesisDS, getHypothesisModel, initializeState, predictSuccOutcome, succEffect
addAlphabetSymbol, addEventListener, allNodesFinal, closeTransitions, createMap, createTransition, declareFinal, finalizeAny, findOutputInconsistency, getAnySuccessor, getAnySuccessor, getAnyTarget, getDeterministicState, getDiscriminationTree, getNondetSuccessors, getStateTransition, link, query, query, removeEventListener, resume, split, startLearning, suspend
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
startLearning
public PrefixTTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)
public boolean refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
LearningAlgorithm
LearningAlgorithm.startLearning()
should be illegal.refineHypothesis
in interface LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
refineHypothesis
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
ceQuery
- the query which exposes diverging behavior, as posed to the real SUL (i.e. with the SULs output).protected boolean refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)
AbstractTTTLearner
AbstractTTTLearner.refineHypothesis(DefaultQuery)
.refineHypothesisSingle
in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
ceQuery
- the counterexample (query) to be used for refinementtrue
if the hypothesis was refined, false
otherwiseCopyright © 2018. All rights reserved.