Uses of Interface
de.learnlib.datastructure.list.IntrusiveListElem

Uses of IntrusiveListElem in de.learnlib.datastructure.list

Classes in de.learnlib.datastructure.list with type parameters of type IntrusiveListElem

Modifier and Type	Class	Description
class	IntrusiveList<T extends IntrusiveListElem<T>>	The head of the intrusive linked list for storing incoming transitions of a DT node.

Classes in de.learnlib.datastructure.list that implement IntrusiveListElem

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