graph

Class Graph.Renumbered

java.lang.Object

la.la.Value

graph.Graph

graph.Graph.Derived

graph.Graph.Renumbered

All Implemented Interfaces:

Child, Graph.SubGraph, java.lang.Comparable<Value>

Direct Known Subclasses:

Graph.Canonical

Enclosing class:

Graph

public class Graph.Renumbered
extends Graph.Derived
implements Graph.SubGraph

A version of 'this' Graph with the Vertices renumbered according to vs[]. Also see renumbered.

Nested Class Summary

Nested classes/interfaces inherited from class graph.Graph

Graph.Canonical, Graph.Contraction, Graph.Dense, Graph.Derived, Graph.Edge, Graph.Induced, Graph.Renumbered, Graph.Sparse, Graph.SubGraph, Graph.SubGraphs, Graph.ToDirected, Graph.ToUndirected, Graph.Vertex

Nested classes/interfaces inherited from class la.la.Value

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

Field Summary

Fields

Modifier and Type	Field and Description
int[]	vs Vertex 'v' of 'this' is Vertex vs[v] of the parent() Graph.

Fields inherited from class la.la.Value

C, comparator, CR, E, eight, ffalse, five, fiveR, four, fourR, half, negCR, negOne, negOneR, negTenR, nilVal, nine, None, one, oneR, PI, PIby2, point01, point1, point5, point9, quarter, seven, six, ten, tenR, three, threeR, triv, ttrue, two, twoR, zero, zeroR

Constructor Summary

Constructors

Constructor and Description
Renumbered(int[] vs) vs must be a permutation of [0, ..., vSize()-1].

Method Summary

Modifier and Type	Method and Description
int	degree(int v) The parent's degree(vs[v]).
Value	eLabel(int v0, int v1) The parent's eLabel(vs[v0],isEdge[v1]).
boolean	isEdge(int v0, int v1) The parent's isEdge(vs[v0],isEdge[v1]).
java.lang.String	toString() Used, for example, in printing of constants, and in calls to Value.error(java.lang.String).
int	v2pv(int v) Vertex 'v' in 'this' Renumbered is Vertex vs[v] of the parent() Graph.
Value	vLabel(int v) The parent's vLabel(vs[v]), if any.

Methods inherited from class graph.Graph.Derived

parent, type, vSize

Methods inherited from class graph.Graph

A, adjacent, arrayA, byDegree, byDegree, canonical, canonical1, canonical1R, canonical2, canonical2R, checkProperties, contraction, dense, dense, directPredecessors, directSuccessors, edges, edgesCorrespond, eLabelled, eLabels, eSize, eStats, flatten, hashCode, inDegree, induced, isDirected, isomorphic, isUndirected, joinedTo, localHash, main, maxEdges, nAutomorphisms, outDegree, randomised, renumbered, selfLoops, structurallyIdentical, subGraphs, subGraphs, toDirected, toUndirected, vLabelled, vLabels, vPair2n

Methods inherited from class la.la.Value

AoM, apply, bOp, compareTo, cons, cts, elt, errMsg, error, force, isTuple, just, n, nElts, nlAoM, pair, print, quad, real, RTE, triple, tuple, UOE, uOp, x

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface graph.Child

parent

Field Detail

vs

public final int[] vs

Vertex 'v' of 'this' is Vertex vs[v] of the parent() Graph. vs must be a permutation of [0, ..., vSize()-1].

Constructor Detail

Renumbered

public Renumbered(int[] vs)

vs must be a permutation of [0, ..., vSize()-1].

Method Detail

v2pv

public int v2pv(int v)

Vertex 'v' in 'this' Renumbered is Vertex vs[v] of the parent() Graph.

Specified by:

v2pv in interface Graph.SubGraph

degree

public int degree(int v)

The parent's degree(vs[v]).

Overrides:

degree in class Graph

isEdge

public boolean isEdge(int v0,
                      int v1)

The parent's isEdge(vs[v0],isEdge[v1]).

Overrides:

isEdge in class Graph.Derived

vLabel

public Value vLabel(int v)

The parent's vLabel(vs[v]), if any.

Overrides:

vLabel in class Graph

eLabel

public Value eLabel(int v0,
                    int v1)

The parent's eLabel(vs[v0],isEdge[v1]).

Overrides:

eLabel in class Graph

toString

public java.lang.String toString()

Description copied from class: Value

Used, for example, in 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).

Overrides:

toString in class Value