de.learnlib.algorithms.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.algorithms.ttt.base.BlockList<I,D>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

IntrusiveListElem<AbstractBaseDTNode<I,D>>, Serializable, Iterable<AbstractBaseDTNode<I,D>>

public class BlockList<I,D>
extends IntrusiveList<AbstractBaseDTNode<I,D>>

A list for storing blocks (identified by their root AbstractBaseDTNodes). The list is implemented as a singly-linked list, and allows O(1) insertion and removal of elements.

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

Method Summary

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

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

BlockList

public BlockList()

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