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<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>, ResumableLearner<de.learnlib.algorithms.dhc.mealy.MealyDHCState<I,O>>, SupportsGrowingAlphabet<I>, LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, LearningAlgorithm.MealyLearner<I,O>

public class MealyDHC<I,O>
extends Object
implements LearningAlgorithm.MealyLearner<I,O>, AccessSequenceTransformer<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>, SupportsGrowingAlphabet<I>, ResumableLearner<de.learnlib.algorithms.dhc.mealy.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(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle) Constructor, provided for backwards compatibility reasons.
MealyDHC(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, GlobalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> suffixFinder, Collection<? extends net.automatalib.words.Word<I>> initialSplitters) Constructor.

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
boolean	addGlobalSuffixes(Collection<? extends net.automatalib.words.Word<I>> newGlobalSuffixes)
protected boolean	addSuffixesUnchecked(Collection<? extends net.automatalib.words.Word<I>> newSuffixes)
Collection<net.automatalib.words.Word<I>>	getGlobalSuffixes()
net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>	getHypothesisModel()
boolean	isAccessSequence(net.automatalib.words.Word<I> word)
boolean	refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)
void	resume(de.learnlib.algorithms.dhc.mealy.MealyDHCState<I,O> state)
void	startLearning()
de.learnlib.algorithms.dhc.mealy.MealyDHCState<I,O>	suspend()
net.automatalib.words.Word<I>	transformAccessSequence(net.automatalib.words.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(net.automatalib.words.Alphabet<I> alphabet,
                MembershipOracle<I,net.automatalib.words.Word<O>> oracle)

Constructor, provided for backwards compatibility reasons.

Parameters:

alphabet - the learning alphabet

oracle - the learning membership oracle

MealyDHC

public MealyDHC(net.automatalib.words.Alphabet<I> alphabet,
                MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
                GlobalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> suffixFinder,
                Collection<? extends net.automatalib.words.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<net.automatalib.words.Word<I>> getGlobalSuffixes()

Specified by:

getGlobalSuffixes in interface GlobalSuffixFeature<I>

addGlobalSuffixes

public boolean addGlobalSuffixes(Collection<? extends net.automatalib.words.Word<I>> newGlobalSuffixes)

Specified by:

addGlobalSuffixes in interface GlobalSuffixFeature<I>

addSuffixesUnchecked

protected boolean addSuffixesUnchecked(Collection<? extends net.automatalib.words.Word<I>> newSuffixes)

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

refineHypothesis

public boolean refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)

Specified by:

refineHypothesis in interface LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

getHypothesisModel

public net.automatalib.automata.transout.impl.compact.CompactMealy<I,O> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

suspend

public de.learnlib.algorithms.dhc.mealy.MealyDHCState<I,O> suspend()

Specified by:

suspend in interface ResumableLearner<de.learnlib.algorithms.dhc.mealy.MealyDHCState<I,O>>

resume

public void resume(de.learnlib.algorithms.dhc.mealy.MealyDHCState<I,O> state)

Specified by:

resume in interface ResumableLearner<de.learnlib.algorithms.dhc.mealy.MealyDHCState<I,O>>

transformAccessSequence

public net.automatalib.words.Word<I> transformAccessSequence(net.automatalib.words.Word<I> word)

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>

isAccessSequence

public boolean isAccessSequence(net.automatalib.words.Word<I> word)

Specified by:

isAccessSequence in interface AccessSequenceTransformer<I>