Package de.learnlib.algorithm.procedural.adapter.dfa

Class ObservationPackAdapterDFA<I>

java.lang.Object

de.learnlib.algorithm.observationpack.AbstractOPLearner<DFA<?,I>,I,Boolean,Boolean,Void>

de.learnlib.algorithm.observationpack.dfa.OPLearnerDFA<I>

de.learnlib.algorithm.procedural.adapter.dfa.ObservationPackAdapterDFA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>, Resumable<OPLearnerState<I,Boolean,Boolean,Void>>, SupportsGrowingAlphabet<I>

public class ObservationPackAdapterDFA<I>
extends OPLearnerDFA<I>
implements AccessSequenceTransformer<I>

Adapter for using OPLearnerDFA as a procedural learner.

Nested Class Summary

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
ObservationPackAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)

Method Summary

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

Methods inherited from class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFA

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

ObservationPackAdapterDFA

public ObservationPackAdapterDFA(Alphabet<I> alphabet,
                                 MembershipOracle<I,Boolean> oracle)

Method Detail

transformAccessSequence

public Word<I> transformAccessSequence(Word<I> word)

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>