de.learnlib.algorithms.discriminationtree.dfa

Class DTLearnerDFA<I>

java.lang.Object

de.learnlib.algorithms.discriminationtree.AbstractDTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Boolean,Void>

de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA<I>

Type Parameters:

I - input symbol class

All Implemented Interfaces:

ResumableLearner<DTLearnerState<I,Boolean,Boolean,Void>>, SupportsGrowingAlphabet<I>, LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>

public class DTLearnerDFA<I>
extends AbstractDTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Boolean,Void>
implements LearningAlgorithm.DFALearner<I>

Algorithm for learning DFA using the Discrimination Tree algorithm.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DTLearnerDFA.BuilderDefaults

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

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

Field Summary

Fields inherited from class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

alphabet, dtree, hypothesis

Constructor Summary

Constructors

Constructor and Description
DTLearnerDFA(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LocalSuffixFinder<? super I,? super Boolean> suffixFinder, boolean repeatedCounterexampleEvaluation, boolean epsilonRoot) Constructor.

Method Summary

Modifier and Type	Method and Description
net.automatalib.automata.fsa.DFA<?,I>	getHypothesisModel() Returns the current hypothesis model.
void	resume(DTLearnerState<I,Boolean,Boolean,Void> state) Does not get the learner to continue learning.
protected Query<I,Boolean>	spQuery(HState<I,Boolean,Boolean,Void> state)
protected Query<I,Boolean>	tpQuery(HTransition<I,Boolean,Boolean,Void> transition)

Methods inherited from class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

addAlphabetSymbol, createState, getDiscriminationTree, getHypothesisDS, initializeState, refineHypothesis, refineHypothesisSingle, startLearning, suspend, updateHypothesis, updateTransition

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.api.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

DTLearnerDFA

public DTLearnerDFA(net.automatalib.words.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 or not to ensure the root of the discrimination tree is always labeled using the empty word.

Method Detail

getHypothesisModel

public net.automatalib.automata.fsa.DFA<?,I> getHypothesisModel()

Description copied from interface: LearningAlgorithm

Returns the current hypothesis model.

N.B.: By the contract of this interface, the model returned by this method may not be modified (i.e., M generally should refer to an immutable interface), and its validity is retained only until the next invocation of LearningAlgorithm.refineHypothesis(DefaultQuery). If older hypotheses have to be maintained, a copy of the returned model must be made.

Please note that it should be illegal to invoke this method before an initial invocation of LearningAlgorithm.startLearning().

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

Returns:

the current hypothesis model.

spQuery

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

Specified by:

spQuery in class AbstractDTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Boolean,Void>

tpQuery

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

Specified by:

tpQuery in class AbstractDTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Boolean,Void>

resume

public void resume(DTLearnerState<I,Boolean,Boolean,Void> state)

Description copied from interface: ResumableLearner

Does not get the learner to continue learning. Instead, the learner updates its internal state according to the given state object.

Specified by:

resume in interface ResumableLearner<DTLearnerState<I,Boolean,Boolean,Void>>

Overrides:

resume in class AbstractDTLearner<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean,Boolean,Void>

Parameters:

state - The learner state.