Package de.learnlib.algorithm.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.algorithm.ttt.base.IncomingList<I,D>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

IntrusiveListElem<TTTTransition<I,D>>, 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.

Field Summary

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

next

Constructor Summary

Constructors

Constructor	Description
IncomingList()

Method Summary

Modifier and Type	Method	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()