de.learnlib.datastructure.list

Class IntrusiveList<T extends IntrusiveListElem<T>>

java.lang.Object

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

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

Type Parameters:

T - element type

All Implemented Interfaces:

IntrusiveListElem<T>, Serializable, Iterable<T>

public class IntrusiveList<T extends IntrusiveListElem<T>>
extends IntrusiveListElemImpl<T>
implements Iterable<T>

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
IntrusiveList()

Method Summary

Modifier and Type	Method and Description
T	choose() Retrieves any block from the list.
boolean	isEmpty()
Iterator<T>	iterator()
int	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

IntrusiveList

public IntrusiveList()

Method Detail

isEmpty

@EnsuresNonNullIf(expression="next",
                  result=false)
public boolean isEmpty()

choose

public T choose()

Retrieves any block from the list. If the list is empty, null is returned.

Returns:

any block from the list, or null if the list is empty.

size

public int size()

iterator

public Iterator<T> iterator()

Specified by:

iterator in interface Iterable<T extends IntrusiveListElem<T>>