Package | Description |
---|---|
net.automatalib.commons.smartcollections | |
net.automatalib.util.minimizer |
Modifier and Type | Interface and Description |
---|---|
interface |
LinkedListEntry<E,T extends LinkedListEntry<E,T>>
Basic interface for entries in a linked list.
|
Modifier and Type | Class and Description |
---|---|
class |
BasicLinkedListEntry<E,T extends BasicLinkedListEntry<E,T>>
Abstract base class for entries in a linked list.
|
class |
DefaultLinkedListEntry<E>
The default linked list entry.
|
Modifier and Type | Method and Description |
---|---|
ElementReference |
SmartGeneralPriorityQueue.add(E elem,
K key)
Inserts an element with the specified key.
|
ElementReference |
BackedGeneralPriorityQueue.add(E elem,
K key) |
ElementReference |
UnorderedCollection.chooseRef() |
ElementReference |
SmartCollection.chooseRef()
Retrieves the reference to an arbitrary element from the collection.
|
ElementReference |
BackedGeneralPriorityQueue.chooseRef() |
ElementReference |
AbstractSmartCollection.chooseRef() |
ElementReference |
AbstractLinkedList.chooseRef() |
ElementReference |
SmartCollection.find(Object element)
Retrieves the reference for a given element.
|
ElementReference |
BackedGeneralPriorityQueue.find(Object element) |
ElementReference |
AbstractSmartCollection.find(Object element) |
ElementReference |
SmartDeque.getBackReference()
Retrieves the reference to the element at the end of the sequence,
or
null if the sequence is empty. |
ElementReference |
AbstractLinkedList.getBackReference()
Retrieves a reference to the last 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.getFrontReference()
Retrieves a reference to the first element in the list.
|
ElementReference |
SmartSequence.insertAfter(E element,
ElementReference ref)
Inserts the given element after the element referenced by
the specified reference.
|
ElementReference |
AbstractLinkedList.insertAfter(E element,
ElementReference ref) |
ElementReference |
SmartSequence.insertBefore(E element,
ElementReference ref)
Inserts the given element before the element referenced by
the specified reference.
|
ElementReference |
AbstractLinkedList.insertBefore(E element,
ElementReference ref) |
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.pred(ElementReference ref) |
ElementReference |
SmartDeque.pushBack(E element)
Adds an element at the end of the sequence.
|
ElementReference |
AbstractLinkedList.pushBack(E element)
Adds an element at the end of the list.
|
ElementReference |
SmartDeque.pushFront(E element)
Adds an element at the beginning of the sequence.
|
ElementReference |
AbstractLinkedList.pushFront(E element)
Adds an element at the beginning of the list.
|
ElementReference |
UnorderedCollection.referencedAdd(E elem) |
ElementReference |
SmartCollection.referencedAdd(E elem)
Adds an element to the collection, returning a reference to the
newly added element.
|
ElementReference |
BackedGeneralPriorityQueue.referencedAdd(E elem) |
ElementReference |
AbstractLinkedList.referencedAdd(E elem) |
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. |
ElementReference |
AbstractLinkedList.succ(ElementReference ref) |
Modifier and Type | Method and Description |
---|---|
Iterator<ElementReference> |
UnorderedCollection.referenceIterator() |
Iterator<ElementReference> |
SmartCollection.referenceIterator()
Retrieves an iterator for iterating over the references of elements
in this collection.
|
Iterator<ElementReference> |
BinaryHeap.referenceIterator() |
Iterator<ElementReference> |
BackedGeneralPriorityQueue.referenceIterator() |
Iterator<ElementReference> |
AbstractLinkedList.referenceIterator() |
Iterable<ElementReference> |
UnorderedCollection.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> |
AbstractSmartCollection.references() |
Modifier and Type | Method and Description |
---|---|
protected T |
AbstractLinkedList.castRef(ElementReference ref)
Helper function for casting a general
ElementReference
to the specific linked list entry type. |
void |
SmartGeneralPriorityQueue.changeKey(ElementReference ref,
K newKey)
Changes the key of an element in the priority key.
|
void |
BackedGeneralPriorityQueue.changeKey(ElementReference ref,
K newKey) |
E |
UnorderedCollection.get(ElementReference ref) |
E |
SmartCollection.get(ElementReference ref)
Retrieves an element by its reference.
|
E |
BinaryHeap.get(ElementReference ref) |
E |
BackedGeneralPriorityQueue.get(ElementReference ref) |
E |
AbstractLinkedList.get(ElementReference ref) |
ElementReference |
SmartSequence.insertAfter(E element,
ElementReference ref)
Inserts the given element after the element referenced by
the specified reference.
|
ElementReference |
AbstractLinkedList.insertAfter(E element,
ElementReference ref) |
ElementReference |
SmartSequence.insertBefore(E element,
ElementReference ref)
Inserts the given element before the element referenced by
the specified reference.
|
ElementReference |
AbstractLinkedList.insertBefore(E element,
ElementReference ref) |
void |
SmartDynamicPriorityQueue.keyChanged(ElementReference reference)
Notifies the implementation that the key of an element has changed.
|
void |
BinaryHeap.keyChanged(ElementReference ref) |
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.pred(ElementReference ref) |
void |
UnorderedCollection.remove(ElementReference ref) |
void |
SmartCollection.remove(ElementReference elem)
Removes an element (by its reference) from the collection.
|
void |
BinaryHeap.remove(ElementReference ref) |
void |
BackedGeneralPriorityQueue.remove(ElementReference ref) |
void |
AbstractLinkedList.remove(ElementReference elem) |
void |
UnorderedCollection.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 |
DefaultLinkedList.replace(ElementReference ref,
E newElement) |
void |
BinaryHeap.replace(ElementReference ref,
E newElement) |
void |
BackedGeneralPriorityQueue.replace(ElementReference ref,
E newElement) |
void |
AbstractLinkedList.replace(ElementReference ref,
E newElement) |
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. |
ElementReference |
AbstractLinkedList.succ(ElementReference ref) |
Modifier and Type | Class and Description |
---|---|
class |
Block<S,L>
A block in the partition calculated during minimization.
|
Copyright © 2015. All rights reserved.