de.learnlib.algorithms.ttt.dfa

Class TTTLearnerDFA<I>

java.lang.Object

de.learnlib.algorithms.ttt.base.BaseTTTLearner<DFA<?,I>,I,Boolean>

de.learnlib.algorithms.ttt.dfa.TTTLearnerDFA<I>

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>

public class TTTLearnerDFA<I>
extends BaseTTTLearner<DFA<?,I>,I,Boolean>
implements LearningAlgorithm.DFALearner<I>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithms.ttt.base.BaseTTTLearner

BaseTTTLearner.BuilderDefaults, BaseTTTLearner.Splitter<I,D>

Nested classes/interfaces inherited from interface de.learnlib.api.LearningAlgorithm

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>

Field Summary

Fields inherited from class de.learnlib.algorithms.ttt.base.BaseTTTLearner

alphabet, blockList, dtree, hypothesis

Constructor Summary

Constructors

Constructor and Description
TTTLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LocalSuffixFinder<? super I,? super Boolean> suffixFinder)

Method Summary

Modifier and Type	Method and Description
protected Boolean	computeHypothesisOutput(TTTState<I,Boolean> state, Iterable<? extends I> suffix)
GraphDOTHelper<TTTState<I,Boolean>,TTTHypothesis.TTTEdge<I,Boolean>>	getHypothesisDOTHelper()
TTTHypothesisDFA<I>	getHypothesisDS()
DFA<?,I>	getHypothesisModel()
protected void	initializeState(TTTState<I,Boolean> state) Initializes a state.
protected Boolean	predictSuccOutcome(TTTTransition<I,Boolean> trans, DTNode<I,Boolean> succSeparator)

Methods inherited from class de.learnlib.algorithms.ttt.base.BaseTTTLearner

addEventListener, chooseInnerNode, chooseLeaf, computeOutput, computeSuffixOutput, createMap, createTransition, declareFinal, dtGraphView, finalizeAny, getDiscriminationTree, getState, getTarget, isAccessSequence, query, query, refineHypothesis, removeEventListener, split, startLearning, transformAccessSequence

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.api.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

TTTLearnerDFA

public TTTLearnerDFA(Alphabet<I> alphabet,
                     MembershipOracle<I,Boolean> oracle,
                     LocalSuffixFinder<? super I,? super Boolean> suffixFinder)

Method Detail

getHypothesisDS

public TTTHypothesisDFA<I> getHypothesisDS()

Overrides:

getHypothesisDS in class BaseTTTLearner<DFA<?,I>,I,Boolean>

getHypothesisModel

public DFA<?,I> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<DFA<?,I>,I,Boolean>

initializeState

protected void initializeState(TTTState<I,Boolean> state)

Description copied from class: BaseTTTLearner

Initializes a state. Creates its outgoing transition objects, and adds them to the "open" list.

Overrides:

initializeState in class BaseTTTLearner<DFA<?,I>,I,Boolean>

Parameters:

state - the state to initialize

predictSuccOutcome

protected Boolean predictSuccOutcome(TTTTransition<I,Boolean> trans,
                                     DTNode<I,Boolean> succSeparator)

Overrides:

predictSuccOutcome in class BaseTTTLearner<DFA<?,I>,I,Boolean>

computeHypothesisOutput

protected Boolean computeHypothesisOutput(TTTState<I,Boolean> state,
                                          Iterable<? extends I> suffix)

Specified by:

computeHypothesisOutput in class BaseTTTLearner<DFA<?,I>,I,Boolean>

getHypothesisDOTHelper

public GraphDOTHelper<TTTState<I,Boolean>,TTTHypothesis.TTTEdge<I,Boolean>> getHypothesisDOTHelper()

Overrides:

getHypothesisDOTHelper in class BaseTTTLearner<DFA<?,I>,I,Boolean>