public class Directed.Sparse.Renumbered extends Directed.Sparse implements Graph.SubGraph
vs is Sparse and Directed.Directed.Sparse.Induced, Directed.Sparse.RenumberedDirected.AsUndirected, Directed.C, Directed.Dense, Directed.Edge, Directed.Sparse, Directed.VertexGraph.Canonical, Graph.Contraction, Graph.Derived, Graph.SubGraph, Graph.SubGraphs, Graph.ToDirected, Graph.ToUndirectedValue.Atomic, Value.Bool, Value.Char, Value.Chars, Value.Cts, Value.Defer, Value.Discrete, Value.Enum, Value.Inc_Or, Value.Int, Value.Lambda, Value.List, Value.Maybe, Value.Option, Value.Real, Value.Scannable, Value.Structured, Value.Triv, Value.Tuple| Modifier and Type | Field and Description |
|---|---|
int[] |
vs
Vertex 'v' of 'this' is Vertex vs[v] of the parent Graph.
|
es, pred, succunlabelled, unlabelled_O| Constructor and Description |
|---|
Renumbered(int[] vs) |
| Modifier and Type | Method and Description |
|---|---|
Value |
eLabel(int v0,
int v1)
UnsupportedOperation, the default assumption is no
Edge labels.
|
Directed.Sparse |
parent()
Return the parent Graph of which 'this' is a Child.
|
java.lang.String |
toString()
|
int |
v2pv(int v)
Vertex 'v' of 'this' Graph corresponds to v2pv(v)
of the
parent Graph. |
Value |
vLabel(int v)
UnsupportedOperation, the default assumption is no
Vertex labels.
|
directPredecessors, directSuccessors, eSize, inDegree, induced, isEdge, joinedTo, maxV, outDegree, renumbered, type, vSizeasUndirected, degree, dense, dense, dense, dense, dense, dense, main, sparse, toDirectedA, adjacent, arrayA, byDegree, byDegree, canonical, canonical1, canonical1R, canonical2, canonical2R, checkProperties, contraction, edges, edgesCorrespond, eLabelled, eLabels, eStats, flatten, hashCode, isDirected, isomorphic, isUndirected, localHash, maxEdges, nAutomorphisms, randomised, selfLoops, structurallyIdentical, subGraphs, subGraphs, toUndirected, vLabelled, vLabels, vPair2npublic Directed.Sparse parent()
Childpublic int v2pv(int v)
Graph.SubGraphparent Graph.v2pv in interface Graph.SubGraphpublic Value vLabel(int v)
GraphvLabelled() and
eLabel(v0,v1).public Value eLabel(int v0, int v1)
GrapheLabelled() and
vLabel(v).public java.lang.String toString()
Valueprinting of
constants, and in calls to Value.error(java.lang.String).
The result does not necessarily fully specify a large, or
infinite(!), Value. (This default returns the Class Name of 'this'.)
Also see print(ps).toString in class Directed.Sparse