Uses of Package
de.learnlib.datastructure.list

Classes in de.learnlib.datastructure.list used by de.learnlib.datastructure.list

Class and Description
IntrusiveListElem 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).
IntrusiveListElemImpl An element in an IntrusiveList.