de.learnlib.algorithms.ttt.dfa

Class TTTLearnerDFA<I>

java.lang.Object

de.learnlib.algorithms.ttt.base.AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

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

All Implemented Interfaces:

ResumableLearner<TTTLearnerState<I,Boolean>>, SupportsGrowingAlphabet<I>, LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>

Direct Known Subclasses:

PrefixTTTLearnerDFA

public class TTTLearnerDFA<I>
extends AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
implements LearningAlgorithm.DFALearner<I>

Nested Class Summary

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

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

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

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

Field Summary

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

alphabet, analyzer, blockList, dtree, hypothesis, openTransitions, oracle

Constructor Summary

Constructors

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)

Method Summary

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()
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)

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

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

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.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

TTTLearnerDFA

public TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
                     MembershipOracle<I,Boolean> oracle,
                     AcexAnalyzer analyzer)

TTTLearnerDFA

protected TTTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet,
                        MembershipOracle<I,Boolean> oracle,
                        AcexAnalyzer analyzer,
                        Supplier<? extends AbstractBaseDTNode<I,Boolean>> rootSupplier)

Method Detail

getHypothesisModel

public net.automatalib.automata.fsa.DFA<?,I> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

initializeState

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

Description copied from class: AbstractTTTLearner

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

Overrides:

initializeState in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

Parameters:

state - the state to initialize

deriveAcex

protected OutInconsPrefixTransformAcex<I,Boolean> deriveAcex(OutputInconsistency<I,Boolean> outIncons)

Overrides:

deriveAcex in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

succEffect

protected Boolean succEffect(Boolean effect)

Specified by:

succEffect in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

predictSuccOutcome

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

Specified by:

predictSuccOutcome in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

computeHypothesisOutput

protected Boolean computeHypothesisOutput(TTTState<I,Boolean> state,
                                          net.automatalib.words.Word<I> suffix)

Specified by:

computeHypothesisOutput in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

getHypothesisDS

public TTTHypothesisDFA<I> getHypothesisDS()

Overrides:

getHypothesisDS in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

createNewNode

protected AbstractBaseDTNode<I,Boolean> createNewNode(AbstractBaseDTNode<I,Boolean> parent,
                                                      Boolean parentOutput)

Specified by:

createNewNode in class AbstractTTTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>