Module de.learnlib.algorithm.ttt

Package de.learnlib.algorithm.ttt.base

Class TTTTransition<I,D>

java.lang.Object

net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry<T,IntrusiveListEntry<T>>

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

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceProvider<I>, IntrusiveListEntry<TTTTransition<I,D>>, net.automatalib.common.smartcollection.ElementReference, net.automatalib.common.smartcollection.LinkedListEntry<TTTTransition<I,D>,IntrusiveListEntry<TTTTransition<I,D>>>

Direct Known Subclasses:

TTTTransitionMealy

public class TTTTransition<I,D>
extends AbstractIntrusiveListEntryImpl<TTTTransition<I,D>>
implements AccessSequenceProvider<I>

A transition in a AbstractTTTHypothesis.

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry

getNext, getPrev, setNext, setPrev

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.datastructure.list.IntrusiveListEntry

removeFromList

Methods inherited from interface net.automatalib.common.smartcollection.LinkedListEntry

getNext, getPrev, setNext, setPrev

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 @Nullable Object getProperty()

getAccessSequence

public net.automatalib.word.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

getElement

public TTTTransition<I,D> getElement()

Specified by:

getElement in interface net.automatalib.common.smartcollection.LinkedListEntry<I,D>