Package de.learnlib.datastructure.list

Interface Summary

Interface	Description
IntrusiveListElem<T>	Interface for objects that may occur in a IntrusiveList, either as a value element or the head of the list (which represents the list itself, but does not carry any value).

Class Summary

Class	Description
IntrusiveList<T extends IntrusiveListElem<T>>	The head of the intrusive linked list for storing incoming transitions of a DT node.
IntrusiveListElemImpl<T>	An element in an IntrusiveList.