Module de.learnlib.algorithm.procedural

Package de.learnlib.algorithm.procedural.adapter.dfa

Class TTTAdapterDFA<I>

java.lang.Object

de.learnlib.algorithm.ttt.base.AbstractTTTLearner<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>

de.learnlib.algorithm.ttt.dfa.TTTLearnerDFA<I>

de.learnlib.algorithm.procedural.adapter.dfa.TTTAdapterDFA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>, Resumable<TTTLearnerState<I,Boolean>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>

public class TTTAdapterDFA<I>
extends TTTLearnerDFA<I>
implements AccessSequenceTransformer<I>

Adapter for using TTTLearnerDFA 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
TTTAdapterDFA(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,Boolean> 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.dfa.TTTLearnerDFA

computeHypothesisOutput, createNewNode, deriveAcex, getHypothesisDS, getHypothesisModel, initializeState, predictSuccOutcome, succEffect

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

addAlphabetSymbol, allNodesFinal, closeTransitions, createMap, createTransition, declareFinal, finalizeAny, findOutputInconsistency, getAnySuccessor, getAnySuccessor, getAnyTarget, getDeterministicState, getDiscriminationTree, getNondetSuccessors, initTransitions, link, makeTree, refineHypothesis, refineHypothesisSingle, 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

TTTAdapterDFA

public TTTAdapterDFA(net.automatalib.alphabet.Alphabet<I> alphabet,
                     MembershipOracle<I,Boolean> oracle)

Method Detail

transformAccessSequence

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

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>