Module de.learnlib.algorithm.procedural

Package de.learnlib.algorithm.procedural.adapter.mealy

Class TTTAdapterMealy<I,O>

java.lang.Object

de.learnlib.algorithm.ttt.base.AbstractTTTLearner<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>

de.learnlib.algorithm.ttt.mealy.TTTLearnerMealy<I,O>

de.learnlib.algorithm.procedural.adapter.mealy.TTTAdapterMealy<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, LearningAlgorithm.MealyLearner<I,O>, Resumable<TTTLearnerState<I,net.automatalib.word.Word<O>>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>

public class TTTAdapterMealy<I,O>
extends TTTLearnerMealy<I,O>
implements AccessSequenceTransformer<I>

Adapter for using TTTLearnerMealy as a procedural learner.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTLearner

AbstractTTTLearner.BuilderDefaults, AbstractTTTLearner.Splitter<I,D>

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

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

Field Summary

Fields inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTLearner

alphabet, analyzer, blockList, dtree, hypothesis, openTransitions, oracle

Constructor Summary

Constructors

Constructor	Description
TTTAdapterMealy(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle)

Method Summary

Modifier and Type	Method	Description
net.automatalib.word.Word<I>	transformAccessSequence(net.automatalib.word.Word<I> word)

Methods inherited from class de.learnlib.algorithm.ttt.mealy.TTTLearnerMealy

computeHypothesisOutput, createNewNode, createTransition, deriveAcex, findOutputInconsistency, getHypothesisModel, initTransitions, predictSuccOutcome, refineHypothesisSingle, succEffect

Methods inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTLearner

addAlphabetSymbol, allNodesFinal, closeTransitions, createMap, declareFinal, finalizeAny, getAnySuccessor, getAnySuccessor, getAnyTarget, getDeterministicState, getDiscriminationTree, getHypothesisDS, getNondetSuccessors, initializeState, link, makeTree, refineHypothesis, resume, startLearning, suspend

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.AccessSequenceTransformer

isAccessSequence, longestASPrefix

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

refineHypothesis, startLearning

Constructor Detail

TTTAdapterMealy

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

Method Detail

transformAccessSequence

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

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>