Package de.learnlib.algorithm.ostia
Class OSTIA<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.ostia.OSTIA<I,O>
-
- Type Parameters:
I
- input symbol typeO
- output symbol type
- All Implemented Interfaces:
PassiveLearningAlgorithm<SubsequentialTransducer<?,I,?,O>,I,Word<O>>
public class OSTIA<I,O> extends Object implements PassiveLearningAlgorithm<SubsequentialTransducer<?,I,?,O>,I,Word<O>>
The OSTIA learning algorithm.
-
-
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>
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addSamples(Collection<? extends DefaultQuery<I,Word<O>>> samples)
static State
buildPtt(int alphabetSize, Iterator<Pair<IntSeq,IntSeq>> informant)
SubsequentialTransducer<?,I,?,O>
computeModel()
Computes the model given the previously added samples.static void
ostia(State transducer)
static @Nullable IntSeq
run(State init, IntSeq input)
-
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
-
-
-
-
Method Detail
-
addSamples
public void addSamples(Collection<? extends DefaultQuery<I,Word<O>>> samples)
- Specified by:
addSamples
in interfacePassiveLearningAlgorithm<SubsequentialTransducer<?,I,?,O>,I,Word<O>>
-
computeModel
public SubsequentialTransducer<?,I,?,O> computeModel()
Description copied from interface:PassiveLearningAlgorithm
Computes the model given the previously added samples.Implementation note: It is up to the implementation if this operation is repeatable or not, An implementation may throw an
IllegalStateException
if additional samples are added after the first model construction.- Specified by:
computeModel
in interfacePassiveLearningAlgorithm<SubsequentialTransducer<?,I,?,O>,I,Word<O>>
- Returns:
- the computed model
-
ostia
public static void ostia(State transducer)
-
-