Package de.learnlib.algorithm.ttt.base
Class BlockList<I,D>
- java.lang.Object
-
- de.learnlib.datastructure.list.IntrusiveListElemImpl<T>
-
- de.learnlib.datastructure.list.IntrusiveList<AbstractBaseDTNode<I,D>>
-
- de.learnlib.algorithm.ttt.base.BlockList<I,D>
-
- Type Parameters:
I
- input symbol type
- All Implemented Interfaces:
IntrusiveListElem<AbstractBaseDTNode<I,D>>
,Iterable<AbstractBaseDTNode<I,D>>
public class BlockList<I,D> extends IntrusiveList<AbstractBaseDTNode<I,D>>
A list for storing blocks (identified by their rootAbstractBaseDTNode
s). The list is implemented as a singly-linked list, and allows O(1) insertion and removal of elements.
-
-
Field Summary
-
Fields inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
next
-
-
Constructor Summary
Constructors Constructor Description BlockList()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
insertBlock(AbstractBaseDTNode<I,D> blockRoot)
Inserts a block into the list.-
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
-
-
-
-
Method Detail
-
insertBlock
public void insertBlock(AbstractBaseDTNode<I,D> blockRoot)
Inserts a block into the list. Currently, the block is inserted at the head of the list. However, callers should not rely on this.- Parameters:
blockRoot
- the root node of the block to be inserted
-
-