de.learnlib.algorithms.ttt.mealy

Class TTTLearnerMealy<I,O>

java.lang.Object

de.learnlib.algorithms.ttt.base.AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy<I,O>

All Implemented Interfaces:

ResumableLearner<TTTLearnerState<I,net.automatalib.words.Word<O>>>, SupportsGrowingAlphabet<I>, LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, LearningAlgorithm.MealyLearner<I,O>

public class TTTLearnerMealy<I,O>
extends AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>
implements LearningAlgorithm.MealyLearner<I,O>

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

Constructor and Description
TTTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, AcexAnalyzer analyzer)

Method Summary

Modifier and Type	Method and Description
protected net.automatalib.words.Word<O>	computeHypothesisOutput(TTTState<I,net.automatalib.words.Word<O>> state, net.automatalib.words.Word<I> suffix)
protected AbstractBaseDTNode<I,net.automatalib.words.Word<O>>	createNewNode(AbstractBaseDTNode<I,net.automatalib.words.Word<O>> parent, net.automatalib.words.Word<O> parentOutput)
protected TTTTransition<I,net.automatalib.words.Word<O>>	createTransition(TTTState<I,net.automatalib.words.Word<O>> state, I sym)
protected OutInconsPrefixTransformAcex<I,net.automatalib.words.Word<O>>	deriveAcex(OutputInconsistency<I,net.automatalib.words.Word<O>> outIncons)
protected OutputInconsistency<I,net.automatalib.words.Word<O>>	findOutputInconsistency()
net.automatalib.automata.transout.MealyMachine<?,I,?,O>	getHypothesisModel()
protected net.automatalib.words.Word<O>	predictSuccOutcome(TTTTransition<I,net.automatalib.words.Word<O>> trans, AbstractBaseDTNode<I,net.automatalib.words.Word<O>> succSeparator)
boolean	refineHypothesisSingle(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) Performs a single refinement of the hypothesis, i.e., without repeated counterexample evaluation.
protected net.automatalib.words.Word<O>	succEffect(net.automatalib.words.Word<O> effect)

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

addAlphabetSymbol, addEventListener, allNodesFinal, closeTransitions, createMap, declareFinal, finalizeAny, getAnySuccessor, getAnySuccessor, getAnyTarget, getDeterministicState, getDiscriminationTree, getHypothesisDS, getNondetSuccessors, getStateTransition, initializeState, link, makeTree, query, query, refineHypothesis, 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

TTTLearnerMealy

public TTTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet,
                       MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
                       AcexAnalyzer analyzer)

Method Detail

getHypothesisModel

public net.automatalib.automata.transout.MealyMachine<?,I,?,O> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

createTransition

protected TTTTransition<I,net.automatalib.words.Word<O>> createTransition(TTTState<I,net.automatalib.words.Word<O>> state,
                                                                          I sym)

Overrides:

createTransition in class AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

refineHypothesisSingle

public boolean refineHypothesisSingle(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)

Description copied from class: AbstractTTTLearner

Performs a single refinement of the hypothesis, i.e., without repeated counterexample evaluation. The parameter and return value have the same significance as in AbstractTTTLearner.refineHypothesis(DefaultQuery).

Overrides:

refineHypothesisSingle in class AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

Parameters:

ceQuery - the counterexample (query) to be used for refinement

Returns:

true if the hypothesis was refined, false otherwise

deriveAcex

protected OutInconsPrefixTransformAcex<I,net.automatalib.words.Word<O>> deriveAcex(OutputInconsistency<I,net.automatalib.words.Word<O>> outIncons)

Overrides:

deriveAcex in class AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

succEffect

protected net.automatalib.words.Word<O> succEffect(net.automatalib.words.Word<O> effect)

Specified by:

succEffect in class AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

findOutputInconsistency

protected OutputInconsistency<I,net.automatalib.words.Word<O>> findOutputInconsistency()

Overrides:

findOutputInconsistency in class AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

predictSuccOutcome

protected net.automatalib.words.Word<O> predictSuccOutcome(TTTTransition<I,net.automatalib.words.Word<O>> trans,
                                                           AbstractBaseDTNode<I,net.automatalib.words.Word<O>> succSeparator)

Specified by:

predictSuccOutcome in class AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

computeHypothesisOutput

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

Specified by:

computeHypothesisOutput in class AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

createNewNode

protected AbstractBaseDTNode<I,net.automatalib.words.Word<O>> createNewNode(AbstractBaseDTNode<I,net.automatalib.words.Word<O>> parent,
                                                                            net.automatalib.words.Word<O> parentOutput)

Specified by:

createNewNode in class AbstractTTTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>