de.learnlib.algorithms.dhc.mealy

Class MealyDHC<I,O>

java.lang.Object

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

All Implemented Interfaces:

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

public class MealyDHC<I,O>
extends Object
implements LearningAlgorithm.MealyLearner<I,O>, AccessSequenceTransformer<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<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.algorithms.features.globalsuffixes.GlobalSuffixLearner

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

Nested classes/interfaces inherited from interface de.learnlib.api.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
boolean	addGlobalSuffixes(Collection<? extends Word<I>> newGlobalSuffixes)
protected boolean	addSuffixesUnchecked(Collection<? extends Word<I>> newSuffixes)
Collection<? extends Word<I>>	getGlobalSuffixes()
CompactMealy<I,O>	getHypothesisModel()
boolean	isAccessSequence(Word<I> word)
boolean	refineHypothesis(DefaultQuery<I,Word<O>> ceQuery)
void	startLearning()
Word<I>	transformAccessSequence(Word<I> word)

Methods inherited from class java.lang.Object

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

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

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

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>

getGlobalSuffixes

public Collection<? extends 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)