Module de.learnlib.algorithm.lambda

Package de.learnlib.algorithm.lambda.ttt.dfa

Class TTTLambdaDFA<I>

java.lang.Object

de.learnlib.algorithm.lambda.ttt.AbstractTTTLambda<DFA<?,I>,I,Boolean>

de.learnlib.algorithm.lambda.ttt.dfa.TTTLambdaDFA<I>

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>, LearnerStateTracker, Resumable<TTTLambdaState<I,Boolean>>, SupportsGrowingAlphabet<I>, FiniteRepresentation

public class TTTLambdaDFA<I>
extends AbstractTTTLambda<DFA<?,I>,I,Boolean>
implements LearningAlgorithm.DFALearner<I>

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>

Field Summary

Fields inherited from class de.learnlib.algorithm.lambda.ttt.AbstractTTTLambda

alphabet, ptree, strie

Constructor Summary

Constructors

Constructor	Description
TTTLambdaDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqo)
TTTLambdaDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqs, MembershipOracle<I,Boolean> ceqs)

Method Summary

Modifier and Type	Method	Description
protected AbstractDecisionTree<I,Boolean>	dtree()
DFA<?,I>	getHypothesisModel()	Returns the current hypothesis model.
protected @Nullable DTLeaf<I,Boolean>	getState(Word<I> prefix)
protected int	maxSearchIndex(int ceLength)
void	resume(TTTLambdaState<I,Boolean> state)	Resume the data structure from a previously suspended point in time.
int	size()

Methods inherited from class de.learnlib.algorithm.lambda.ttt.AbstractTTTLambda

addAlphabetSymbol, hasLearningProcessStarted, makeConsistent, refineHypothesis, startLearning, suspend, transformAccessSequence

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.LearnerStateTracker

requireLearningProcessNotStarted, requireLearningProcessStarted

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Details

TTTLambdaDFA

public TTTLambdaDFA(Alphabet<I> alphabet,
 MembershipOracle<I,Boolean> mqo)

TTTLambdaDFA

public TTTLambdaDFA(Alphabet<I> alphabet,
 MembershipOracle<I,Boolean> mqs,
 MembershipOracle<I,Boolean> ceqs)

Method Details

maxSearchIndex

protected int maxSearchIndex(int ceLength)

Specified by:

maxSearchIndex in class AbstractTTTLambda<DFA<?,I>,I,Boolean>

getState

protected @Nullable DTLeaf<I,Boolean> getState(Word<I> prefix)

Specified by:

getState in class AbstractTTTLambda<DFA<?,I>,I,Boolean>

getHypothesisModel

public 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 should not be modified by external code (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.

Specified by:

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

Returns:

the current hypothesis model.

dtree

protected AbstractDecisionTree<I,Boolean> dtree()

Specified by:

dtree in class AbstractTTTLambda<DFA<?,I>,I,Boolean>

size

public int size()

Specified by:

size in interface FiniteRepresentation

resume

public void resume(TTTLambdaState<I,Boolean> state)

Description copied from interface: Resumable

Resume the data structure from a previously suspended point in time.

Specified by:

resume in interface Resumable<I>

Overrides:

resume in class AbstractTTTLambda<DFA<?,I>,I,Boolean>

Parameters:

state - The learner state.