de.learnlib.algorithms.discriminationtree.mealy

Class DTLearnerMealy<I,O>

java.lang.Object

de.learnlib.algorithms.discriminationtree.AbstractDTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>,Void,O>

de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

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

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

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

AbstractDTLearner.BuilderDefaults

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.discriminationtree.AbstractDTLearner

alphabet, dtree, hypothesis

Constructor Summary

Constructors

Constructor and Description
DTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, LocalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation) Constructor.

Method Summary

Modifier and Type	Method and Description
net.automatalib.automata.transout.MealyMachine<?,I,?,O>	getHypothesisModel()
void	resume(DTLearnerState<I,net.automatalib.words.Word<O>,Void,O> state)
protected Query<I,net.automatalib.words.Word<O>>	spQuery(HState<I,net.automatalib.words.Word<O>,Void,O> state)
protected Query<I,net.automatalib.words.Word<O>>	tpQuery(HTransition<I,net.automatalib.words.Word<O>,Void,O> transition)

Methods inherited from class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

addAlphabetSymbol, createState, getDiscriminationTree, getHypothesisDS, initializeState, refineHypothesis, refineHypothesisSingle, startLearning, suspend, updateHypothesis, updateTransition

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

DTLearnerMealy

public DTLearnerMealy(net.automatalib.words.Alphabet<I> alphabet,
                      MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
                      LocalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> suffixFinder,
                      boolean repeatedCounterexampleEvaluation)

Constructor.

Parameters:

alphabet - the input alphabet

oracle - the membership oracle

suffixFinder - method to use for analyzing counterexamples

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

spQuery

protected Query<I,net.automatalib.words.Word<O>> spQuery(HState<I,net.automatalib.words.Word<O>,Void,O> state)

Specified by:

spQuery in class AbstractDTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>,Void,O>

tpQuery

protected Query<I,net.automatalib.words.Word<O>> tpQuery(HTransition<I,net.automatalib.words.Word<O>,Void,O> transition)

Specified by:

tpQuery in class AbstractDTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>,Void,O>

resume

public void resume(DTLearnerState<I,net.automatalib.words.Word<O>,Void,O> state)

Specified by:

resume in interface ResumableLearner<DTLearnerState<I,net.automatalib.words.Word<O>,Void,O>>

Overrides:

resume in class AbstractDTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>,Void,O>