graph

Class Graph.Canonical

java.lang.Object

la.la.Value

graph.Graph

graph.Graph.Derived

graph.Graph.Renumbered

graph.Graph.Canonical

All Implemented Interfaces:

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

Enclosing class:

Graph

public class Graph.Canonical
extends Graph.Renumbered

Canonical is mostly just class Graph.Renumbered except that it (i) declares 'this' to already be in a canonical vertex-numbering, and thus (ii) Canonical.canonical() returns 'this'. Also see isomorphic(g).

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 inherited from class graph.Graph.Renumbered

vs

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
Canonical(int[] vs) Note, the constructor does not (could not easily) check that 'vs' really is a canonical renumbering.

Method Summary

Modifier and Type	Method and Description
Graph.Canonical	canonical() Returns 'this' – it's canonical, right? Also see @link Graph#canonical() canonical()}.
java.lang.String	toString() Used, for example, in printing of constants, and in calls to Value.error(java.lang.String).

Methods inherited from class graph.Graph.Renumbered

degree, eLabel, isEdge, v2pv, vLabel

Methods inherited from class graph.Graph.Derived

parent, type, vSize

Methods inherited from class graph.Graph

A, adjacent, arrayA, byDegree, byDegree, 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

Constructor Detail

Canonical

public Canonical(int[] vs)

Note, the constructor does not (could not easily) check that 'vs' really is a canonical renumbering.

Method Detail

canonical

public Graph.Canonical canonical()

Returns 'this' – it's canonical, right? Also see @link Graph#canonical() canonical()}.

Overrides:

canonical 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 Graph.Renumbered