de.learnlib.algorithms.dhc.mealy

Class MealyDHC<I,O>

java.lang.Object

de.learnlib.algorithms.dhc.mealy.MealyDHC<I,O>

All Implemented Interfaces:

AccessSequenceTransformer<I>, GlobalSuffixFeature<I>, GlobalSuffixLearner<MealyMachine<?,I,?,O>,I,Word<O>>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>, LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>, LearningAlgorithm.MealyLearner<I,O>, Resumable<MealyDHCState<I,O>>, SupportsGrowingAlphabet<I>

public class MealyDHC<I,O>
extends Object
implements LearningAlgorithm.MealyLearner<I,O>, AccessSequenceTransformer<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>, SupportsGrowingAlphabet<I>, Resumable<MealyDHCState<I,O>>

Author:

Maik Merten

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MealyDHC.BuilderDefaults

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

GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>

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

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

Constructor Summary

Constructors

Constructor and Description
MealyDHC(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle) Constructor, provided for backwards compatibility reasons.
MealyDHC(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder, Collection<? extends Word<I>> initialSplitters) Constructor.

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
boolean	addGlobalSuffixes(Collection<? extends Word<I>> newGlobalSuffixes)
protected boolean	addSuffixesUnchecked(Collection<? extends Word<I>> newSuffixes)
Collection<Word<I>>	getGlobalSuffixes()
CompactMealy<I,O>	getHypothesisModel()
boolean	isAccessSequence(Word<I> word)
boolean	refineHypothesis(DefaultQuery<I,Word<O>> ceQuery)
void	resume(MealyDHCState<I,O> state)
void	startLearning()
MealyDHCState<I,O>	suspend()
Word<I>	transformAccessSequence(Word<I> word)

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

longestASPrefix

Constructor Detail

MealyDHC

public MealyDHC(Alphabet<I> alphabet,
                MembershipOracle<I,Word<O>> oracle)

Constructor, provided for backwards compatibility reasons.

Parameters:

alphabet - the learning alphabet

oracle - the learning membership oracle

MealyDHC

public MealyDHC(Alphabet<I> alphabet,
                MembershipOracle<I,Word<O>> oracle,
                GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder,
                Collection<? extends Word<I>> initialSplitters)

Constructor.

Parameters:

alphabet - the learning alphabet

oracle - the learning membership oracle

suffixFinder - the suffix finder to use for analyzing counterexamples

initialSplitters - the initial set of splitters, null or an empty collection will result in the set of splitters being initialized as the set of alphabet symbols (interpreted as Words)

Method Detail

getGlobalSuffixes

public Collection<Word<I>> getGlobalSuffixes()

Specified by:

getGlobalSuffixes in interface GlobalSuffixFeature<I>

addGlobalSuffixes

public boolean addGlobalSuffixes(Collection<? extends Word<I>> newGlobalSuffixes)

Specified by:

addGlobalSuffixes in interface GlobalSuffixFeature<I>

addSuffixesUnchecked

protected boolean addSuffixesUnchecked(Collection<? extends Word<I>> newSuffixes)

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>

refineHypothesis

public boolean refineHypothesis(DefaultQuery<I,Word<O>> ceQuery)

Specified by:

refineHypothesis in interface LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>

getHypothesisModel

public CompactMealy<I,O> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

suspend

public MealyDHCState<I,O> suspend()

Specified by:

suspend in interface Resumable<MealyDHCState<I,O>>

resume

public void resume(MealyDHCState<I,O> state)

Specified by:

resume in interface Resumable<MealyDHCState<I,O>>

transformAccessSequence

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

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>

isAccessSequence

public boolean isAccessSequence(Word<I> word)

Specified by:

isAccessSequence in interface AccessSequenceTransformer<I>