public class Directed.Sparse.Renumbered extends Directed.Sparse implements Graph.SubGraph
vs
is Sparse and Directed.Directed.Sparse.Induced, Directed.Sparse.Renumbered
Directed.AsUndirected, Directed.C, Directed.Dense, Directed.Edge, Directed.Sparse, Directed.Vertex
Graph.Canonical, Graph.Contraction, Graph.Derived, Graph.SubGraph, Graph.SubGraphs, Graph.ToDirected, Graph.ToUndirected
Value.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, succ
unlabelled, 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, vSize
asUndirected, degree, dense, dense, dense, dense, dense, dense, main, sparse, toDirected
A, 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, vPair2n
public Directed.Sparse parent()
Child
public int v2pv(int v)
Graph.SubGraph
parent
Graph.v2pv
in interface Graph.SubGraph
public Value vLabel(int v)
Graph
vLabelled()
and
eLabel(v0,v1)
.public Value eLabel(int v0, int v1)
Graph
eLabelled()
and
vLabel(v)
.public java.lang.String toString()
Value
printing
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