de.learnlib.algorithms.ttt.mealy

Class TTTTransitionMealy<I,O>

java.lang.Object

de.learnlib.algorithms.ttt.base.IncomingListElem<I,D>

de.learnlib.algorithms.ttt.base.TTTTransition<I,Word<O>>

de.learnlib.algorithms.ttt.mealy.TTTTransitionMealy<I,O>

All Implemented Interfaces:

AccessSequenceProvider<I>

public class TTTTransitionMealy<I,O>
extends TTTTransition<I,Word<O>>

Field Summary

Fields inherited from class de.learnlib.algorithms.ttt.base.TTTTransition

prevIncoming

Fields inherited from class de.learnlib.algorithms.ttt.base.IncomingListElem

nextIncoming

Constructor Summary

Constructors

Constructor and Description
TTTTransitionMealy(TTTState<I,Word<O>> source, I input)

Method Summary

Modifier and Type	Method and Description
O	getOutput()
Object	getProperty()

Methods inherited from class de.learnlib.algorithms.ttt.base.TTTTransition

getAccessSequence, getDTTarget, getInput, getNonTreeTarget, getSource, getTarget, getTreeTarget, isTree

Methods inherited from class java.lang.Object

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

Constructor Detail

TTTTransitionMealy

public TTTTransitionMealy(TTTState<I,Word<O>> source,
                          I input)

Method Detail

getOutput

public O getOutput()

getProperty

public Object getProperty()

Overrides:

getProperty in class TTTTransition<I,Word<O>>