Module de.learnlib.algorithm.procedural

Package de.learnlib.algorithm.procedural.adapter.mealy

Class ObservationPackAdapterMealy<I,O>

java.lang.Object

de.learnlib.algorithm.observationpack.AbstractOPLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>,Void,O>

de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy<I,O>

de.learnlib.algorithm.procedural.adapter.mealy.ObservationPackAdapterMealy<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, LearningAlgorithm.MealyLearner<I,O>, Resumable<OPLearnerState<I,net.automatalib.word.Word<O>,Void,O>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>

public class ObservationPackAdapterMealy<I,O>
extends OPLearnerMealy<I,O>
implements AccessSequenceTransformer<I>

Adapter for using OPLearnerMealy as a procedural learner.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithm.observationpack.AbstractOPLearner

AbstractOPLearner.BuilderDefaults

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

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>, LearningAlgorithm.MooreLearner<I,O>, LearningAlgorithm.NFALearner<I>

Constructor Summary

Constructors

Constructor	Description
ObservationPackAdapterMealy(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle)

Method Summary

Modifier and Type	Method	Description
net.automatalib.word.Word<I>	transformAccessSequence(net.automatalib.word.Word<I> word)

Methods inherited from class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy

getHypothesisModel, spQuery, tpQuery

Methods inherited from class de.learnlib.algorithm.observationpack.AbstractOPLearner

addAlphabetSymbol, createState, getDiscriminationTree, getHypothesisDS, initializeState, refineHypothesis, refineHypothesisSingle, resume, startLearning, suspend, updateHypothesis, updateTransitions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.AccessSequenceTransformer

isAccessSequence, longestASPrefix

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

ObservationPackAdapterMealy

public ObservationPackAdapterMealy(net.automatalib.alphabet.Alphabet<I> alphabet,
                                   MembershipOracle<I,net.automatalib.word.Word<O>> oracle)

Method Detail

transformAccessSequence

public net.automatalib.word.Word<I> transformAccessSequence(net.automatalib.word.Word<I> word)

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>