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 voidaddSamples(Collection<? extends DefaultQuery<I,Boolean>> samples)protected BlueFringePTA<Boolean,Void>fetchPTA()Fetches the initialPTAfor 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:
addSamplesin interfacePassiveLearningAlgorithm<DFA<?,I>,I,Boolean>
-
fetchPTA
protected BlueFringePTA<Boolean,Void> fetchPTA()
Description copied from class:AbstractBlueFringeRPNIFetches the initialPTAfor 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:AbstractBlueFringeRPNITransforms the final PTA into a model.- Specified by:
ptaToModelin classAbstractBlueFringeRPNI<I,Boolean,Boolean,Void,DFA<?,I>>- Parameters:
pta- the final PTA- Returns:
- a model built from the final PTA
-
-