de.learnlib.algorithms.ttt.base

Class IncomingList<I,D>

java.lang.Object

de.learnlib.datastructure.list.IntrusiveListElemImpl<T>

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

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

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

public class IncomingList<I,D>
extends IntrusiveList<TTTTransition<I,D>>

The head of the intrusive linked list for storing incoming transitions of a DT node.

Author:

Malte Isberner

See Also:

Serialized Form

Field Summary

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

next

Constructor Summary

Constructors

Constructor and Description
IncomingList()

Method Summary

Modifier and Type	Method and Description
void	insertAllIncoming(IncomingList<I,D> list)
void	insertAllIncoming(TTTTransition<I,D> firstTransition)
void	insertIncoming(TTTTransition<I,D> transition)
TTTTransition<I,D>	poll()

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

choose, isEmpty, iterator, size

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

IncomingList

public IncomingList()

Method Detail

insertIncoming

public void insertIncoming(TTTTransition<I,D> transition)

insertAllIncoming

public void insertAllIncoming(IncomingList<I,D> list)

insertAllIncoming

public void insertAllIncoming(TTTTransition<I,D> firstTransition)

poll

public TTTTransition<I,D> poll()