Package de.learnlib.algorithm.rpni
Class BlueFringeRPNIDFA<I>
- java.lang.Object
-
- de.learnlib.algorithm.rpni.AbstractBlueFringeRPNI<I,Boolean,Boolean,Void,DFA<?,I>>
-
- de.learnlib.algorithm.rpni.BlueFringeRPNIDFA<I>
-
- Type Parameters:
I
- input symbol type
- All Implemented Interfaces:
PassiveLearningAlgorithm<DFA<?,I>,I,Boolean>
,PassiveLearningAlgorithm.PassiveAcceptorLearner<DFA<?,I>,I>
,PassiveLearningAlgorithm.PassiveDFALearner<I>
public class BlueFringeRPNIDFA<I> extends AbstractBlueFringeRPNI<I,Boolean,Boolean,Void,DFA<?,I>> implements PassiveLearningAlgorithm.PassiveDFALearner<I>
A Blue Fringe version of RPNI for learning DFAs.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 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 BlueFringeRPNIDFA(Alphabet<I> alphabet)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples)
protected BlueFringePTA<Boolean,Void>
fetchPTA()
Fetches the initialPTA
for model construction.protected DFA<?,I>
ptaToModel(BlueFringePTA<Boolean,Void> 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
-
Methods inherited from interface de.learnlib.algorithm.PassiveLearningAlgorithm.PassiveAcceptorLearner
addNegativeSample, addNegativeSamples, addNegativeSamples, addPositiveSample, addPositiveSamples, addPositiveSamples
-
-
-
-
Method Detail
-
addSamples
public void addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples)
- Specified by:
addSamples
in interfacePassiveLearningAlgorithm<DFA<?,I>,I,Boolean>
-
fetchPTA
protected BlueFringePTA<Boolean,Void> fetchPTA()
Description copied from class:AbstractBlueFringeRPNI
Fetches the initialPTA
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.
-
ptaToModel
protected DFA<?,I> ptaToModel(BlueFringePTA<Boolean,Void> pta)
Description copied from class:AbstractBlueFringeRPNI
Transforms the final PTA into a model.- Specified by:
ptaToModel
in classAbstractBlueFringeRPNI<I,Boolean,Boolean,Void,DFA<?,I>>
- Parameters:
pta
- the final PTA- Returns:
- a model built from the final PTA
-
-