Module de.learnlib.algorithm.rpni

Package de.learnlib.algorithm.rpni

Class BlueFringeRPNIMealy<I,O>

java.lang.Object

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

de.learnlib.algorithm.rpni.BlueFringeRPNIMealy<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

PassiveLearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, PassiveLearningAlgorithm.PassiveMealyLearner<I,O>

public class BlueFringeRPNIMealy<I,O>
extends AbstractBlueFringeRPNI<I,net.automatalib.word.Word<O>,Void,O,net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>>
implements PassiveLearningAlgorithm.PassiveMealyLearner<I,O>

Blue-fringe version of RPNI for inferring Mealy machines.

Implementation note: This implementation does not support repeated calls to PassiveLearningAlgorithm.computeModel().

Nested Class Summary

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

PassiveLearningAlgorithm.PassiveAcceptorLearner<M extends net.automatalib.automaton.fsa.FiniteStateAcceptor<?,I>,I>, PassiveLearningAlgorithm.PassiveDFALearner<I>, PassiveLearningAlgorithm.PassiveMealyLearner<I,O>, PassiveLearningAlgorithm.PassiveMooreLearner<I,O>

Field Summary

Fields inherited from class de.learnlib.algorithm.rpni.AbstractBlueFringeRPNI

alphabet, alphabetSize

Constructor Summary

Constructors

Constructor	Description
BlueFringeRPNIMealy(net.automatalib.alphabet.Alphabet<I> alphabet)

Method Summary

Modifier and Type	Method	Description
void	addSamples(Collection<? extends DefaultQuery<I,net.automatalib.word.Word<O>>> samples)
protected BlueFringePTA<Void,O>	fetchPTA()	Fetches the initial PTA for model construction.
protected net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>	ptaToModel(BlueFringePTA<Void,O> pta)	Transforms the final PTA into a model.

Methods inherited from class de.learnlib.algorithm.rpni.AbstractBlueFringeRPNI

computeModel, selectMerges, setDeterministic, setParallel, setProcessingOrder, tryMerge

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

addSample, addSample, addSamples, addSamples, addSamples, computeModel

Constructor Detail

BlueFringeRPNIMealy

public BlueFringeRPNIMealy(net.automatalib.alphabet.Alphabet<I> alphabet)

Method Detail

addSamples

public void addSamples(Collection<? extends DefaultQuery<I,net.automatalib.word.Word<O>>> samples)

Specified by:

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

fetchPTA

protected BlueFringePTA<Void,O> fetchPTA()

Description copied from class: AbstractBlueFringeRPNI

Fetches the initial PTA for model construction. If subclasses need to cache the training data this may be a fresh instance. If subclasses directly insert training data to a local PTA, they should make sure that repeated invocations of this method are not possible.

Specified by:

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

Returns:

the PTA for model construction.

ptaToModel

protected net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> ptaToModel(BlueFringePTA<Void,O> pta)

Description copied from class: AbstractBlueFringeRPNI

Transforms the final PTA into a model.

Specified by:

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

Parameters:

pta - the final PTA

Returns:

a model built from the final PTA