de.learnlib.algorithms.mahlerpnueli

Class MahlerPnueliMealy<I,O>

java.lang.Object

de.learnlib.algorithms.lstargeneric.AbstractLStar<A,I,O>

de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar<A,I,O,S,T,SP,TP,AI>

de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>

de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy<I,O>

de.learnlib.algorithms.mahlerpnueli.MahlerPnueliMealy<I,O>

All Implemented Interfaces:

GlobalSuffixFeature<I>, GlobalSuffixLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, ObservationTableFeature<I,net.automatalib.words.Word<O>>, OTLearner<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, OTLearner.OTLearnerMealy<I,O>, LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>>, LearningAlgorithm.MealyLearner<I,O>

public class MahlerPnueliMealy<I,O>
extends ExtensibleLStarMealy<I,O>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

ExtensibleAutomatonLStar.BuilderDefaults

Nested classes/interfaces inherited from interface de.learnlib.algorithms.features.observationtable.OTLearner

OTLearner.OTLearnerDFA<I>, OTLearner.OTLearnerMealy<I,O>

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

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

Nested classes/interfaces inherited from interface de.learnlib.algorithms.features.globalsuffixes.GlobalSuffixLearner

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

Field Summary

Fields inherited from class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

cexHandler, closingStrategy, initialPrefixes, initialSuffixes

Fields inherited from class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar

internalHyp, stateInfos

Fields inherited from class de.learnlib.algorithms.lstargeneric.AbstractLStar

alphabet, oracle, table

Constructor Summary

Constructors

Constructor and Description
MahlerPnueliMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle)
MahlerPnueliMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, List<net.automatalib.words.Word<I>> initialSuffixes, ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy)

Method Summary

Methods inherited from class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy

exposeInternalHypothesis, hypothesisOutput, initialSuffixes, stateProperty, transitionProperty, updateInternalHypothesis, updateOutputs

Methods inherited from class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

initialPrefixes, refineHypothesisInternal, selectClosingRows

Methods inherited from class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar

createState, doRefineHypothesis, getHypothesisModel, setTransition, startLearning

Methods inherited from class de.learnlib.algorithms.lstargeneric.AbstractLStar

addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, incorporateCounterExample, refineHypothesis

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

getHypothesisModel, refineHypothesis, startLearning

Methods inherited from interface de.learnlib.algorithms.features.observationtable.ObservationTableFeature

getObservationTable

Constructor Detail

MahlerPnueliMealy

public MahlerPnueliMealy(net.automatalib.words.Alphabet<I> alphabet,
                 MembershipOracle<I,net.automatalib.words.Word<O>> oracle)

MahlerPnueliMealy

public MahlerPnueliMealy(net.automatalib.words.Alphabet<I> alphabet,
                 MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
                 List<net.automatalib.words.Word<I>> initialSuffixes,
                 ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy)