Uses of Interface
net.automatalib.common.smartcollection.ElementReference

Packages that use ElementReference

Package	Description
net.automatalib.common.smartcollection	This package contains efficient implementations for various collection data structures (especially linked lists and priority queues), which have very insufficient implementation in the Java Collections Framework that makes it hard or even impossible to exploit their efficiencies.
net.automatalib.util.minimizer

Uses of ElementReference in net.automatalib.common.smartcollection

Subinterfaces of ElementReference in net.automatalib.common.smartcollection

Modifier and Type	Interface	Description
interface	LinkedListEntry<E,T extends LinkedListEntry<E,T>>	Basic interface for entries in a linked list.

Classes in net.automatalib.common.smartcollection that implement ElementReference

Modifier and Type	Class	Description
class	AbstractBasicLinkedListEntry<E,T extends AbstractBasicLinkedListEntry<E,T>>	Abstract base class for entries in a linked list.
class	DefaultLinkedListEntry<E>	The default linked list entry.

Methods in net.automatalib.common.smartcollection that return ElementReference

Modifier and Type	Method	Description
ElementReference	BackedGeneralPriorityQueue.add(E elem, @Nullable K key)
ElementReference	SmartGeneralPriorityQueue.add(E elem, K key)	Inserts an element with the specified key.
ElementReference	AbstractLinkedList.chooseRef()
ElementReference	AbstractSmartCollection.chooseRef()
ElementReference	BackedGeneralPriorityQueue.chooseRef()
ElementReference	SmartCollection.chooseRef()	Retrieves the reference to an arbitrary element from the collection.
ElementReference	UnorderedCollection.chooseRef()
@Nullable ElementReference	AbstractSmartCollection.find(@Nullable Object element)
@Nullable ElementReference	BackedGeneralPriorityQueue.find(@Nullable Object element)
@Nullable ElementReference	SmartCollection.find(@Nullable Object element)	Retrieves the reference for a given element.
@Nullable ElementReference	AbstractLinkedList.getBackReference()	Retrieves a reference to the last element in the list.
ElementReference	SmartDeque.getBackReference()	Retrieves the reference to the element at the end of the sequence, or null if the sequence is empty.
@Nullable ElementReference	AbstractLinkedList.getFrontReference()	Retrieves a reference to the first element in the list.
ElementReference	SmartDeque.getFrontReference()	Retrieves the reference to the element at the beginning of the sequence, or null if the sequence is empty.
ElementReference	AbstractLinkedList.insertAfter(E element, ElementReference ref)
ElementReference	SmartSequence.insertAfter(E element, ElementReference ref)	Inserts the given element after the element referenced by the specified reference.
ElementReference	AbstractLinkedList.insertBefore(E element, ElementReference ref)
ElementReference	SmartSequence.insertBefore(E element, ElementReference ref)	Inserts the given element before the element referenced by the specified reference.
@Nullable ElementReference	AbstractLinkedList.pred(ElementReference ref)
@Nullable ElementReference	SmartSequence.pred(ElementReference ref)	Retrieves the reference to the preceding element, or null if the given reference references the first element in the list.
ElementReference	AbstractLinkedList.pushBack(E element)	Adds an element at the end of the list.
ElementReference	SmartDeque.pushBack(E element)	Adds an element at the end of the sequence.
ElementReference	AbstractLinkedList.pushFront(E element)	Adds an element at the beginning of the list.
ElementReference	SmartDeque.pushFront(E element)	Adds an element at the beginning of the sequence.
ElementReference	AbstractLinkedList.referencedAdd(E elem)
ElementReference	BackedGeneralPriorityQueue.referencedAdd(E elem)
ElementReference	BinaryHeap.referencedAdd(E elem)
ElementReference	SmartCollection.referencedAdd(E elem)	Adds an element to the collection, returning a reference to the newly added element.
ElementReference	UnorderedCollection.referencedAdd(E elem)
@Nullable ElementReference	AbstractLinkedList.succ(ElementReference ref)
@Nullable ElementReference	SmartSequence.succ(ElementReference ref)	Retrieves the reference to the succeeding element, or null if the given reference references the last element in the list.

Methods in net.automatalib.common.smartcollection that return types with arguments of type ElementReference

Modifier and Type	Method	Description
Iterator<ElementReference>	AbstractLinkedList.referenceIterator()
Iterator<ElementReference>	BackedGeneralPriorityQueue.referenceIterator()
Iterator<ElementReference>	BinaryHeap.referenceIterator()
Iterator<ElementReference>	SmartCollection.referenceIterator()	Retrieves an iterator for iterating over the references of elements in this collection.
Iterator<ElementReference>	UnorderedCollection.referenceIterator()
Iterable<ElementReference>	AbstractSmartCollection.references()
Iterable<ElementReference>	SmartCollection.references()	This is a method provided for convenience, which allows iterating over the element references using a foreach-style for-loop.
Iterable<ElementReference>	UnorderedCollection.references()

Methods in net.automatalib.common.smartcollection with parameters of type ElementReference

Modifier and Type	Method	Description
protected T	AbstractLinkedList.castRef(ElementReference ref)	Helper function for casting a general ElementReference to the specific linked list entry type.
void	BackedGeneralPriorityQueue.changeKey(ElementReference ref, K newKey)
void	SmartGeneralPriorityQueue.changeKey(ElementReference ref, K newKey)	Changes the key of an element in the priority key.
E	AbstractLinkedList.get(ElementReference ref)
E	BackedGeneralPriorityQueue.get(ElementReference ref)
E	BinaryHeap.get(ElementReference ref)
E	SmartCollection.get(ElementReference ref)	Retrieves an element by its reference.
E	UnorderedCollection.get(ElementReference ref)
ElementReference	AbstractLinkedList.insertAfter(E element, ElementReference ref)
ElementReference	SmartSequence.insertAfter(E element, ElementReference ref)	Inserts the given element after the element referenced by the specified reference.
ElementReference	AbstractLinkedList.insertBefore(E element, ElementReference ref)
ElementReference	SmartSequence.insertBefore(E element, ElementReference ref)	Inserts the given element before the element referenced by the specified reference.
void	BinaryHeap.keyChanged(ElementReference ref)
void	SmartDynamicPriorityQueue.keyChanged(ElementReference reference)	Notifies the implementation that the key of an element has changed.
@Nullable ElementReference	AbstractLinkedList.pred(ElementReference ref)
@Nullable ElementReference	SmartSequence.pred(ElementReference ref)	Retrieves the reference to the preceding element, or null if the given reference references the first element in the list.
void	AbstractLinkedList.remove(ElementReference elem)
void	BackedGeneralPriorityQueue.remove(ElementReference ref)
void	BinaryHeap.remove(ElementReference ref)
void	SmartCollection.remove(ElementReference elem)	Removes an element (by its reference) from the collection.
void	UnorderedCollection.remove(ElementReference ref)
void	AbstractLinkedList.replace(ElementReference ref, E newElement)
void	BackedGeneralPriorityQueue.replace(ElementReference ref, E newElement)
void	BinaryHeap.replace(ElementReference ref, E newElement)
void	DefaultLinkedList.replace(ElementReference ref, E newElement)
void	SmartCollection.replace(ElementReference ref, E newElement)	Replaces the element referenced by the given reference with the specified element.
void	UnorderedCollection.replace(ElementReference ref, E newElement)
@Nullable ElementReference	AbstractLinkedList.succ(ElementReference ref)
@Nullable ElementReference	SmartSequence.succ(ElementReference ref)	Retrieves the reference to the succeeding element, or null if the given reference references the last element in the list.

Uses of ElementReference in net.automatalib.util.minimizer

Classes in net.automatalib.util.minimizer that implement ElementReference

Modifier and Type	Class	Description
class	Block<S,L>	A block in the partition calculated during minimization.