Package | Description |
---|---|
de.uni_due.inf.ti.graph |
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<Edge> |
Graph.edges
The collection of edges in this graph.
|
Modifier and Type | Method and Description |
---|---|
Edge |
Graph.addEdge(Label label,
java.util.List<Node> nodes)
Adds a new edge to this graph.
|
Edge |
Graph.addEdge(Label label,
Node... nodes)
Adds a new edge to this graph.
|
Edge |
Morphism.get(Edge edge)
Returns the edge to which a given edge is mapped.
|
Edge |
PathDecomposition.TestData.getErrorEdge()
Returns the edge which caused failure.
|
Edge |
Morphism.getPreimage(Edge value)
Returns an edge which is mapped to a given edge.
|
Edge |
Morphism.remove(Edge domEdge)
Removes the mapping for an edge in the domain.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<Edge,Edge> |
Morphism.getEdgeMap()
Returns the edge map of this morphism.
|
java.util.Map<Edge,Edge> |
Morphism.getEdgeMap()
Returns the edge map of this morphism.
|
java.util.Set<Edge> |
Graph.getEdges()
Returns the edges of this graph.
|
java.util.Collection<Edge> |
Morphism.getPreimageOfEdges(java.util.Collection<Edge> values)
Returns the pre-image of a collection of nodes.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Morphism.checkAndPut(Edge domEdge,
Edge codEdge)
Checks whether
domEdge can be mapped to codEdge and
maps domEdge to codEdge if possible. |
Edge |
Morphism.get(Edge edge)
Returns the edge to which a given edge is mapped.
|
Edge |
Morphism.getPreimage(Edge value)
Returns an edge which is mapped to a given edge.
|
boolean |
Morphism.inRange(Edge edge)
Determines wheter an edge occurs in the range of this morphism.
|
void |
Morphism.put(Edge domEdge,
Edge codEdge)
Maps an edge of the domain to an edge of the codomain.
|
Edge |
Morphism.remove(Edge domEdge)
Removes the mapping for an edge in the domain.
|
void |
Graph.removeEdge(Edge edge)
Removes a single edge from this graph.
|
Modifier and Type | Method and Description |
---|---|
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.
|
static java.util.Set<Node> |
Edge.getBorder(java.util.Collection<Edge> edges)
Returns the border of a collection of edges.
|
Morphism |
Graph.getInclusion(java.util.Collection<Edge> edges)
Returns an injective morphism whose image is a subgraph of this graph.
|
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.
|
java.util.Collection<Edge> |
Morphism.getPreimageOfEdges(java.util.Collection<Edge> values)
Returns the pre-image of a collection of nodes.
|