de.learnlib.algorithms.ttt.base

Class IncomingList<I,D>

java.lang.Object

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

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterable<TTTTransition<I,D>>

public class IncomingList<I,D>
extends IncomingListElem<I,D>
implements Iterable<TTTTransition<I,D>>

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

Author:

Malte Isberner

Field Summary

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

nextIncoming

Constructor Summary

Constructors

Constructor and Description
IncomingList()

Method Summary

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

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)

choose

public TTTTransition<I,D> choose()

iterator

public Iterator<TTTTransition<I,D>> iterator()

Specified by:

iterator in interface Iterable<TTTTransition<I,D>>