Uses of Package
de.learnlib.datastructure.list

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

Class	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.