Module de.learnlib.algorithm.observationpack

Package de.learnlib.algorithm.observationpack.mealy

Class OPLearnerMealy<I,O>

java.lang.Object

de.learnlib.algorithm.observationpack.AbstractOPLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>,Void,O>

de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, LearningAlgorithm.MealyLearner<I,O>, Resumable<OPLearnerState<I,net.automatalib.word.Word<O>,Void,O>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>

Direct Known Subclasses:

ObservationPackAdapterMealy

public class OPLearnerMealy<I,O>
extends AbstractOPLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>,Void,O>
implements LearningAlgorithm.MealyLearner<I,O>

A MealyMachine-based specialization of the AbstractOPLearner.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithm.observationpack.AbstractOPLearner

AbstractOPLearner.BuilderDefaults

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>	getHypothesisModel()	Returns the current hypothesis model.
protected @Nullable Query<I,net.automatalib.word.Word<O>>	spQuery(HState<I,net.automatalib.word.Word<O>,Void,O> state)
protected Query<I,net.automatalib.word.Word<O>>	tpQuery(HTransition<I,net.automatalib.word.Word<O>,Void,O> transition)

Methods inherited from class de.learnlib.algorithm.observationpack.AbstractOPLearner

addAlphabetSymbol, createState, getDiscriminationTree, getHypothesisDS, initializeState, refineHypothesis, refineHypothesisSingle, resume, startLearning, suspend, updateHypothesis, updateTransitions

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

OPLearnerMealy

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

Constructor.

Parameters:

alphabet - the input alphabet

oracle - the membership oracle

suffixFinder - method to use for analyzing counterexamples

repeatedCounterexampleEvaluation - a flag whether counterexamples should be analyzed exhaustively

Method Detail

getHypothesisModel

public net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> getHypothesisModel()

Description copied from interface: LearningAlgorithm

Returns the current hypothesis model.

N.B.: By the contract of this interface, the model returned by this method should not be modified by external code (i.e., M generally should refer to an immutable interface), and its validity is retained only until the next invocation of LearningAlgorithm.refineHypothesis(DefaultQuery). If older hypotheses have to be maintained, a copy of the returned model must be made.

Please note that it should be illegal to invoke this method before an initial invocation of LearningAlgorithm.startLearning().

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>

Returns:

the current hypothesis model.

spQuery

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

Specified by:

spQuery in class AbstractOPLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>,Void,O>

tpQuery

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

Specified by:

tpQuery in class AbstractOPLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>,Void,O>