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<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>, AccessSequenceTransformer<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>

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

Methods

Modifier and Type	Method and Description
boolean	addGlobalSuffixes(Collection<? extends net.automatalib.words.Word<I>> newGlobalSuffixes)
protected boolean	addSuffixesUnchecked(Collection<? extends net.automatalib.words.Word<I>> newSuffixes)
Collection<? extends net.automatalib.words.Word<I>>	getGlobalSuffixes()
net.automatalib.automata.transout.MealyMachine<?,I,?,O>	getHypothesisModel()
boolean	isAccessSequence(net.automatalib.words.Word<I> word)
boolean	refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)
void	startLearning()
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

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

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.MealyMachine<?,I,?,O> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<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>

getGlobalSuffixes

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