de.learnlib.algorithms.rpni

Class BlueFringeRPNIDFA<I>

java.lang.Object

de.learnlib.algorithms.rpni.AbstractBlueFringeRPNI<I,Boolean,Boolean,Void,net.automatalib.automata.fsa.DFA<?,I>>

de.learnlib.algorithms.rpni.BlueFringeRPNIDFA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

PassiveLearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, PassiveLearningAlgorithm.PassiveAcceptorLearner<net.automatalib.automata.fsa.DFA<?,I>,I>, PassiveLearningAlgorithm.PassiveDFALearner<I>

Direct Known Subclasses:

BlueFringeEDSMDFA, BlueFringeMDLDFA

public class BlueFringeRPNIDFA<I>
extends AbstractBlueFringeRPNI<I,Boolean,Boolean,Void,net.automatalib.automata.fsa.DFA<?,I>>
implements PassiveLearningAlgorithm.PassiveDFALearner<I>

A Blue Fringe version of RPNI for learning DFAs.

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

Modifier and Type	Field and Description
protected List<int[]>	negative
protected List<int[]>	positive

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

alphabet, alphabetSize, deterministic, order, parallel

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples)
protected void	initializePTA(BlueFringePTA<Boolean,Void> pta) Initializes an empty PTA with sample data.
protected net.automatalib.automata.fsa.impl.compact.CompactDFA<I>	ptaToModel(BlueFringePTA<Boolean,Void> 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.PassiveAcceptorLearner

addNegativeSample, addNegativeSamples, addNegativeSamples, addPositiveSample, addPositiveSamples, addPositiveSamples

Methods inherited from interface de.learnlib.api.algorithm.PassiveLearningAlgorithm

addSample, addSample, addSamples, addSamples, addSamples, computeModel

Field Detail

positive

protected final List<int[]> positive

negative

protected final List<int[]> negative

Constructor Detail

BlueFringeRPNIDFA

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

Constructor.

Parameters:

alphabet - the alphabet

Method Detail

addSamples

public void addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples)

Specified by:

addSamples in interface PassiveLearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

initializePTA

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

Description copied from class: AbstractBlueFringeRPNI

Initializes an empty PTA with sample data.

Specified by:

initializePTA in class AbstractBlueFringeRPNI<I,Boolean,Boolean,Void,net.automatalib.automata.fsa.DFA<?,I>>

Parameters:

pta - the PTA to initialize

ptaToModel

protected net.automatalib.automata.fsa.impl.compact.CompactDFA<I> ptaToModel(BlueFringePTA<Boolean,Void> pta)

Description copied from class: AbstractBlueFringeRPNI

Transforms the final PTA into a model.

Specified by:

ptaToModel in class AbstractBlueFringeRPNI<I,Boolean,Boolean,Void,net.automatalib.automata.fsa.DFA<?,I>>

Parameters:

pta - the final PTA

Returns:

a model built from the final PTA