Skip navigation links
C D G I N S 

C

choose() - Method in class de.learnlib.datastructure.list.IntrusiveList
Retrieves any block from the list.

D

de.learnlib.datastructure.list - package de.learnlib.datastructure.list
 

G

getNextElement() - Method in interface de.learnlib.datastructure.list.IntrusiveListElem
 
getNextElement() - Method in class de.learnlib.datastructure.list.IntrusiveListElemImpl
 

I

IntrusiveList<T extends IntrusiveListElem<T>> - Class in de.learnlib.datastructure.list
The head of the intrusive linked list for storing incoming transitions of a DT node.
IntrusiveList() - Constructor for class de.learnlib.datastructure.list.IntrusiveList
 
IntrusiveListElem<T> - Interface in de.learnlib.datastructure.list
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<T> - Class in de.learnlib.datastructure.list
An element in an IntrusiveList.
IntrusiveListElemImpl() - Constructor for class de.learnlib.datastructure.list.IntrusiveListElemImpl
 
isEmpty() - Method in class de.learnlib.datastructure.list.IntrusiveList
 
iterator() - Method in class de.learnlib.datastructure.list.IntrusiveList
 

N

next - Variable in class de.learnlib.datastructure.list.IntrusiveListElemImpl
 

S

setNextElement(T) - Method in interface de.learnlib.datastructure.list.IntrusiveListElem
 
setNextElement(T) - Method in class de.learnlib.datastructure.list.IntrusiveListElemImpl
 
size() - Method in class de.learnlib.datastructure.list.IntrusiveList
 
C D G I N S 
Skip navigation links

Copyright © 2020. All rights reserved.