Package 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>
,Iterable<T>
- Direct Known Subclasses:
BlockList
,BlockList
,IncomingList
,TransList
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.
-
-
Field Summary
-
Fields inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
next
-
-
Constructor Summary
Constructors Constructor Description IntrusiveList()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description @Nullable 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
-
-
-
-
Method Detail
-
isEmpty
@EnsuresNonNullIf(expression="next", result=false) public boolean isEmpty()
-
choose
public @Nullable 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()
-
-