public class InterfaceGraph.Interface extends com.google.common.collect.ForwardingList<Node>
Constructor and Description |
---|
InterfaceGraph.Interface(java.util.List<Node> delegate) |
Modifier and Type | Method and Description |
---|---|
void |
add(int index,
Node el) |
boolean |
add(Node el) |
boolean |
addAll(java.util.Collection<? extends Node> col) |
boolean |
addAll(int index,
java.util.Collection<? extends Node> col) |
Morphism |
asMorphism()
Returns this interface as a morphism to the graph of which this is
an interface.
|
Morphism |
asMorphism(Graph domain)
Returns this interface as a morphism from a given domain to the
graph of which this is an interface.
|
void |
clear() |
protected java.util.List<Node> |
delegate() |
boolean |
isInjective()
Determines whether this interface is injective.
|
java.util.Iterator<Node> |
iterator() |
java.util.ListIterator<Node> |
listIterator() |
java.util.ListIterator<Node> |
listIterator(int start) |
Node |
remove(int index) |
boolean |
removeAll(java.util.Collection<?> col) |
boolean |
retainAll(java.util.Collection<?> col) |
Node |
set(int index,
Node el) |
java.util.List<Node> |
subList(int fromIndex,
int toIndex) |
equals, get, hashCode, indexOf, lastIndexOf, standardAdd, standardAddAll, standardEquals, standardHashCode, standardIndexOf, standardIterator, standardLastIndexOf, standardListIterator, standardListIterator, standardSubList
contains, containsAll, isEmpty, remove, size, standardAddAll, standardClear, standardContains, standardContainsAll, standardIsEmpty, standardRemove, standardRemoveAll, standardRetainAll, standardToArray, standardToArray, standardToString, toArray, toArray
public InterfaceGraph.Interface(java.util.List<Node> delegate)
protected java.util.List<Node> delegate()
delegate
in class com.google.common.collect.ForwardingList<Node>
public boolean add(Node el)
public void add(int index, Node el)
public boolean addAll(java.util.Collection<? extends Node> col)
public boolean addAll(int index, java.util.Collection<? extends Node> col)
public void clear()
public Node remove(int index)
public boolean removeAll(java.util.Collection<?> col)
public boolean retainAll(java.util.Collection<?> col)
public java.util.Iterator<Node> iterator()
public java.util.ListIterator<Node> listIterator()
public java.util.ListIterator<Node> listIterator(int start)
public java.util.List<Node> subList(int fromIndex, int toIndex)
public boolean isInjective()
true
when this interface is injective,
false
otherwisepublic Morphism asMorphism(Graph domain)
The morphism is built as follows: it maps the ith node of the domain to the ith node of this interface, where the order of the nodes in the graph is the order in which they are returned by the underlying node set's iterator.
domain
- the domain of the new morphismjava.lang.IllegalArgumentException
- if the domain graph is not
discrete or has a different number of nodes as this
interfacepublic Morphism asMorphism()
The newly created domain can be obtained by using the
Morphism.getDomain()
method.
The morphism is built as follows: it maps the ith node of the domain to the ith node of this interface, where the order of the nodes in the graph is the order in which they returned by the underlying node set's iterator.
asMorphism(Graph)