de.learnlib.algorithms.rpni

Class BlueFringeRPNIMealy<I,O>

java.lang.Object

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

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

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

PassiveLearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, PassiveLearningAlgorithm.PassiveMealyLearner<I,O>

public class BlueFringeRPNIMealy<I,O>
extends AbstractBlueFringeRPNI<I,net.automatalib.words.Word<O>,Void,O,net.automatalib.automata.transout.MealyMachine<?,I,?,O>>
implements PassiveLearningAlgorithm.PassiveMealyLearner<I,O>

Blue-fringe version of RPNI for inferring Mealy machines.

Author:

Malte Isberner

Nested Class Summary

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

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

Field Summary

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

alphabet, alphabetSize, deterministic, order, parallel

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	addSamples(Collection<? extends DefaultQuery<I,net.automatalib.words.Word<O>>> samples)
protected void	initializePTA(BlueFringePTA<Void,O> pta) Initializes an empty PTA with sample data.
protected net.automatalib.automata.transout.MealyMachine<?,I,?,O>	ptaToModel(BlueFringePTA<Void,O> pta) Transforms the final PTA into a model.

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

computeModel, decideOnValidMerge, setDeterministic, setParallel, 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.api.algorithm.PassiveLearningAlgorithm

addSample, addSample, addSamples, addSamples, addSamples, computeModel

Constructor Detail

BlueFringeRPNIMealy

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

Method Detail

addSamples

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

Specified by:

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

initializePTA

protected void initializePTA(BlueFringePTA<Void,O> pta)

Description copied from class: AbstractBlueFringeRPNI

Initializes an empty PTA with sample data.

Specified by:

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

Parameters:

pta - the PTA to initialize

ptaToModel

protected net.automatalib.automata.transout.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.words.Word<O>,Void,O,net.automatalib.automata.transout.MealyMachine<?,I,?,O>>

Parameters:

pta - the final PTA

Returns:

a model built from the final PTA