de.learnlib.algorithms.ttt.base

Class TTTTransition<I,D>

java.lang.Object

de.learnlib.datastructure.list.IntrusiveListElemImpl<TTTTransition<I,D>>

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceProvider<I>, IntrusiveListElem<TTTTransition<I,D>>, Serializable

Direct Known Subclasses:

TTTTransitionMealy

public class TTTTransition<I,D>
extends IntrusiveListElemImpl<TTTTransition<I,D>>
implements AccessSequenceProvider<I>, Serializable

A transition in a AbstractTTTHypothesis.

Author:

Malte Isberner

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected IntrusiveListElem<TTTTransition<I,D>>	prevIncoming

Fields inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl

next

Constructor Summary

Constructors

Constructor and Description
TTTTransition(TTTState<I,D> source, I input)

Method Summary

Modifier and Type	Method and Description
net.automatalib.words.Word<I>	getAccessSequence() Retrieves the access sequence of this object.
AbstractBaseDTNode<I,D>	getDTTarget()
I	getInput()
AbstractBaseDTNode<I,D>	getNonTreeTarget()
protected Object	getProperty()
TTTState<I,D>	getSource()
TTTState<I,D>	getTarget()
TTTState<I,D>	getTreeTarget()
boolean	isTree()

Methods inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl

getNextElement, setNextElement

Methods inherited from class java.lang.Object

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

Field Detail

prevIncoming

protected IntrusiveListElem<TTTTransition<I,D>> prevIncoming

Constructor Detail

TTTTransition

public TTTTransition(TTTState<I,D> source,
                     I input)

Method Detail

getTreeTarget

public TTTState<I,D> getTreeTarget()

isTree

public boolean isTree()

getNonTreeTarget

public AbstractBaseDTNode<I,D> getNonTreeTarget()

getDTTarget

public AbstractBaseDTNode<I,D> getDTTarget()

getTarget

public TTTState<I,D> getTarget()

getSource

public TTTState<I,D> getSource()

getInput

public I getInput()

getProperty

protected Object getProperty()

getAccessSequence

public net.automatalib.words.Word<I> getAccessSequence()

Description copied from interface: AccessSequenceProvider

Retrieves the access sequence of this object.

Specified by:

getAccessSequence in interface AccessSequenceProvider<I>

Returns:

the access sequence