Module de.learnlib.algorithm.ostia

Package de.learnlib.algorithm.ostia

Class OSTIA<I,O>

java.lang.Object

de.learnlib.algorithm.ostia.OSTIA<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

PassiveLearningAlgorithm<net.automatalib.automaton.transducer.SubsequentialTransducer<?,I,?,O>,I,net.automatalib.word.Word<O>>

public class OSTIA<I,O>
extends Object
implements PassiveLearningAlgorithm<net.automatalib.automaton.transducer.SubsequentialTransducer<?,I,?,O>,I,net.automatalib.word.Word<O>>

The OSTIA learning algorithm.

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor	Description
OSTIA(net.automatalib.alphabet.Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method	Description
void	addSamples(Collection<? extends DefaultQuery<I,net.automatalib.word.Word<O>>> samples)
static State	buildPtt(int alphabetSize, Iterator<net.automatalib.common.util.Pair<net.automatalib.common.smartcollection.IntSeq,net.automatalib.common.smartcollection.IntSeq>> informant)
net.automatalib.automaton.transducer.SubsequentialTransducer<?,I,?,O>	computeModel()	Computes the model given the previously added samples.
static void	ostia(State transducer)
static @Nullable net.automatalib.common.smartcollection.IntSeq	run(State init, net.automatalib.common.smartcollection.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

Constructor Detail

OSTIA

public OSTIA(net.automatalib.alphabet.Alphabet<I> inputAlphabet)

Method Detail

addSamples

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

Specified by:

addSamples in interface PassiveLearningAlgorithm<net.automatalib.automaton.transducer.SubsequentialTransducer<?,I,?,O>,I,net.automatalib.word.Word<O>>

computeModel

public net.automatalib.automaton.transducer.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 interface PassiveLearningAlgorithm<net.automatalib.automaton.transducer.SubsequentialTransducer<?,I,?,O>,I,net.automatalib.word.Word<O>>

Returns:

the computed model

buildPtt

public static State buildPtt(int alphabetSize,
                             Iterator<net.automatalib.common.util.Pair<net.automatalib.common.smartcollection.IntSeq,net.automatalib.common.smartcollection.IntSeq>> informant)

ostia

public static void ostia(State transducer)

run

public static @Nullable net.automatalib.common.smartcollection.IntSeq run(State init,
                                                                          net.automatalib.common.smartcollection.IntSeq input)