graph

Class Graph.Induced

java.lang.Object

la.la.Value

graph.Graph

graph.Graph.Derived

graph.Graph.Induced

All Implemented Interfaces:

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

Enclosing class:

Graph

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

A SubGraph of 'this' Graph induced by selecting Vertices [vs[0], vs[1], ...], and the Edges between them. Also see induced(vs).

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' Induced sub-graph 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
Induced(int[] vs) vs must be ascending and a subset of the parent Graph's {0, ..., vSize()-1}.

Method Summary

Modifier and Type	Method and Description
Value	eLabel(int v0, int v1) Edge labels, if any, as per vs and the parent() Graph.
boolean	isEdge(int v0, int v1) parent().isEdge(vs[v0], vs[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' of 'this' (Vertex-)Induced sub-graph is Vertex vs[v] of the parent() Graph.
Value	vLabel(int v) Vertex labels, if any, as per vs and the parent() Graph.
int	vSize() Return |vs|.

Methods inherited from class graph.Graph.Derived

parent, type

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, 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' Induced sub-graph is Vertex vs[v] of the parent() Graph.

Constructor Detail

Induced

public Induced(int[] vs)

vs must be ascending and a subset of the parent Graph's {0, ..., vSize()-1}.

Method Detail

v2pv

public int v2pv(int v)

Vertex 'v' of 'this' (Vertex-)Induced sub-graph is Vertex vs[v] of the parent() Graph.

Specified by:

v2pv in interface Graph.SubGraph

vSize

public int vSize()

Return |vs|.

Overrides:

vSize in class Graph.Derived

isEdge

public boolean isEdge(int v0,
                      int v1)

parent().isEdge(vs[v0], vs[v1]). That is, was there a corresponding Edge in the parent Graph?

Overrides:

isEdge in class Graph.Derived

vLabel

public Value vLabel(int v)

Vertex labels, if any, as per vs and the parent() Graph.

Overrides:

vLabel in class Graph

eLabel

public Value eLabel(int v0,
                    int v1)

Edge labels, if any, as per vs and the parent() Graph.

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