Package de.learnlib.algorithm.observationpack.dfa

Class OPLearnerDFA<I>

java.lang.Object

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

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

Type Parameters:

I - input symbol class

All Implemented Interfaces:

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

public class OPLearnerDFA<I>
extends AbstractOPLearner<DFA<?,I>,I,Boolean,Boolean,Void>
implements LearningAlgorithm.DFALearner<I>

Algorithm for learning DFA using the Discrimination Tree algorithm.

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor	Description
OPLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LocalSuffixFinder<? super I,? super Boolean> suffixFinder, boolean repeatedCounterexampleEvaluation, boolean epsilonRoot)	Constructor.

Method Summary

Modifier and Type	Method	Description
DFA<?,I>	getHypothesisModel()
protected Query<I,Boolean>	spQuery(HState<I,Boolean,Boolean,Void> state)
protected @Nullable Query<I,Boolean>	tpQuery(HTransition<I,Boolean,Boolean,Void> transition)

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.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

OPLearnerDFA

public OPLearnerDFA(Alphabet<I> alphabet,
                    MembershipOracle<I,Boolean> oracle,
                    LocalSuffixFinder<? super I,? super Boolean> suffixFinder,
                    boolean repeatedCounterexampleEvaluation,
                    boolean epsilonRoot)

Constructor.

Parameters:

alphabet - the input alphabet

oracle - the membership oracle

suffixFinder - method to use for analyzing counterexamples

epsilonRoot - whether to ensure the root of the discrimination tree is always labeled using the empty word.

Method Detail

getHypothesisModel

public DFA<?,I> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<DFA<?,I>,I,Boolean>

spQuery

protected Query<I,Boolean> spQuery(HState<I,Boolean,Boolean,Void> state)

Specified by:

spQuery in class AbstractOPLearner<DFA<?,I>,I,Boolean,Boolean,Void>

tpQuery

protected @Nullable Query<I,Boolean> tpQuery(HTransition<I,Boolean,Boolean,Void> transition)

Specified by:

tpQuery in class AbstractOPLearner<DFA<?,I>,I,Boolean,Boolean,Void>