graph

Class Graph.Derived

java.lang.Object

la.la.Value

graph.Graph

graph.Graph.Derived

All Implemented Interfaces:

Child, java.lang.Comparable<Value>

Direct Known Subclasses:

Graph.Contraction, Graph.Induced, Graph.Renumbered

Enclosing class:

Graph

public class Graph.Derived
extends Graph
implements Child

this.new Derived() is just like 'this' Graph, but a Function on Graphs may return a sub-class of Derived — extend it — with one or two methods overridden. Note, a Derived Graph need not be (but can be) a SubGraph of the parent() Graph. Note that Graph is abstract but Derived is not — it sometimes needs a little thought! (Pre-2015(?) javac was not happy about the use of Derived.)

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 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
Derived()

Method Summary

Modifier and Type	Method and Description
boolean	isEdge(int v0, int v1) The parent's isEdge(v0,v1) (is very likely to be changed, overridden).
Graph	parent() Returns 'Graph.this', that is, returns the Graph of which 'this' is a Derivation.
Type	type() The parent's type() (often the same).
int	vSize() The parent's vSize() (sometimes the same).

Methods inherited from class graph.Graph

A, adjacent, arrayA, byDegree, byDegree, canonical, canonical1, canonical1R, canonical2, canonical2R, checkProperties, contraction, degree, dense, dense, directPredecessors, directSuccessors, edges, edgesCorrespond, eLabel, 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, vLabel, 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, toString, triple, tuple, UOE, uOp, x

Methods inherited from class java.lang.Object

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

Constructor Detail

Derived

public Derived()

Method Detail

parent

public Graph parent()

Returns 'Graph.this', that is, returns the Graph of which 'this' is a Derivation.

Specified by:

parent in interface Child

type

public Type type()

The parent's type() (often the same).

Specified by:

type in class Graph

vSize

public int vSize()

The parent's vSize() (sometimes the same).

Specified by:

vSize in class Graph

isEdge

public boolean isEdge(int v0,
                      int v1)

The parent's isEdge(v0,v1) (is very likely to be changed, overridden).

Specified by:

isEdge in class Graph