Package | Description |
---|---|
de.uni_due.inf.ti.graph |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<Node> |
Graph.nodes
The nodes in this graph.
|
Modifier and Type | Method and Description |
---|---|
Node |
Graph.addNode()
Adds a node to this graph.
|
Node[] |
Graph.addNodes(int n)
Adds a number of nodes to this graph.
|
Node |
Morphism.get(Node node)
Returns the node to which a given node is mapped.
|
Node |
PathDecomposition.TestData.getErrorNode()
Returns the node which caused failure.
|
Node |
Morphism.getPreimage(Node value)
Returns a node which is mapped to a given node.
|
Node |
Edge.getSource()
Returns the source node of this binary edge.
|
Node |
Edge.getTarget()
Returns the target node of this binary edge.
|
Node |
InterfaceGraph.Interface.remove(int index) |
Node |
Morphism.remove(Node domNode)
Removes the mapping for a node in the domain.
|
Node |
InterfaceGraph.Interface.set(int index,
Node el) |
Modifier and Type | Method and Description |
---|---|
protected java.util.List<Node> |
InterfaceGraph.Interface.delegate() |
java.util.Set<Node> |
PathDecomposition.getBag(int index)
Returns the bag at a specified index.
|
static java.util.Set<Node> |
Edge.getBorder(java.util.Collection<Edge> edges)
Returns the border of a collection of edges.
|
java.util.Set<Node> |
Graph.getIsolatedNodes()
Determines the set of isolated nodes of this graph.
|
java.util.Map<Node,Node> |
Morphism.getNodeMap()
Returns the node map of this morphism.
|
java.util.Map<Node,Node> |
Morphism.getNodeMap()
Returns the node map of this morphism.
|
java.util.List<Node> |
Graph.getNodes()
Returns the set of nodes of this graph.
|
java.util.List<Node> |
Edge.getNodes()
Returns the list of incident nodes of this edge.
|
java.util.Collection<Node> |
Morphism.getPreimageOfNodes(java.util.Collection<Node> values)
Returns the pre-image of a collection of nodes.
|
java.util.Iterator<Node> |
InterfaceGraph.Interface.iterator() |
java.util.ListIterator<Node> |
InterfaceGraph.Interface.listIterator() |
java.util.ListIterator<Node> |
InterfaceGraph.Interface.listIterator(int start) |
java.util.List<Node> |
InterfaceGraph.Interface.subList(int fromIndex,
int toIndex) |
java.util.Set<Node> |
Graph.weaklyConnectedClosure(java.util.Collection<Node> nodes)
Calculates the weakly connected closure of a collection of nodes.
|
java.util.Set<Node> |
Graph.weaklyConnectedClosure(Node node)
Calculates the weakly connected closure of a node.
|
Modifier and Type | Method and Description |
---|---|
void |
InterfaceGraph.Interface.add(int index,
Node el) |
boolean |
InterfaceGraph.Interface.add(Node el) |
Edge |
Graph.addEdge(Label label,
Node... nodes)
Adds a new edge to this graph.
|
boolean |
Morphism.checkAndPut(Node domNode,
Node codNode)
Checks whether
domNode can be mapped to codNode and
maps domNode to codNode if possible. |
Node |
Morphism.get(Node node)
Returns the node to which a given node is mapped.
|
Node |
Morphism.getPreimage(Node value)
Returns a node which is mapped to a given node.
|
boolean |
Morphism.inRange(Node node)
Determines whether a node occurs in the range of this morphism.
|
protected void |
InterfaceGraph.mergeNodes(java.util.Collection<Node> nodes,
Node target)
Merges a number of nodes in the graph.
|
protected void |
Graph.mergeNodes(java.util.Collection<Node> mergedNodes,
Node target)
Merges a number of nodes in the graph.
|
void |
Graph.mergeNodes(Node... nodes)
Merge nodes in this graph.
|
void |
Morphism.put(Node domNode,
Node codNode)
Maps a node of the domain to a node of the codomain.
|
Node |
Morphism.remove(Node domNode)
Removes the mapping for a node in the domain.
|
boolean |
Graph.removeNode(Node node)
Removes a node and all edges that are incident to it from this graph.
|
Node |
InterfaceGraph.Interface.set(int index,
Node el) |
java.util.Set<Node> |
Graph.weaklyConnectedClosure(Node node)
Calculates the weakly connected closure of a node.
|
Modifier and Type | Method and Description |
---|---|
boolean |
InterfaceGraph.Interface.addAll(java.util.Collection<? extends Node> col) |
boolean |
InterfaceGraph.Interface.addAll(int index,
java.util.Collection<? extends Node> col) |
void |
PathDecomposition.addBag(java.util.Set<Node> bag)
Adds a new bag to the end of this PathDecomposition.
|
Edge |
Graph.addEdge(Label label,
java.util.List<Node> nodes)
Adds a new edge to this graph.
|
static Morphism |
Morphism.create(Graph domain,
Graph codomain,
java.util.Map<Node,Node> nodeMap)
Creates a new morphism which only maps nodes.
|
static Morphism |
Morphism.create(Graph domain,
Graph codomain,
java.util.Map<Node,Node> nodeMap)
Creates a new morphism which only maps nodes.
|
static Morphism |
Morphism.create(Graph domain,
Graph codomain,
java.util.Map<Node,Node> nodeMap,
java.util.Map<Edge,Edge> edgeMap)
Creates a new morphism from a node map and an edge map.
|
static Morphism |
Morphism.create(Graph domain,
Graph codomain,
java.util.Map<Node,Node> nodeMap,
java.util.Map<Edge,Edge> edgeMap)
Creates a new morphism from a node map and an edge map.
|
Morphism |
Graph.getInclusion(java.util.Collection<Node> nodes,
java.util.Collection<Edge> edges)
Returns an injective morphism whose image is a subgraph of this graph.
|
Morphism |
Graph.getInducedInclusion(java.util.Collection<Node> nodes)
Returns an injective morphism that has this graph as domain, whose
image is an induced subgraph of this graph.
|
java.util.Collection<Node> |
Morphism.getPreimageOfNodes(java.util.Collection<Node> values)
Returns the pre-image of a collection of nodes.
|
void |
Graph.mergeNodes(java.util.Collection<Node> nodes)
Merge a number of nodes in the graph.
|
protected void |
InterfaceGraph.mergeNodes(java.util.Collection<Node> nodes,
Node target)
Merges a number of nodes in the graph.
|
protected void |
Graph.mergeNodes(java.util.Collection<Node> mergedNodes,
Node target)
Merges a number of nodes in the graph.
|
java.util.Set<Node> |
Graph.weaklyConnectedClosure(java.util.Collection<Node> nodes)
Calculates the weakly connected closure of a collection of nodes.
|
Constructor and Description |
---|
InterfaceGraph.Interface(java.util.List<Node> delegate) |