graph

Class Directed.Dense

java.lang.Object

la.la.Value

graph.Graph

graph.Directed

graph.Directed.Dense

All Implemented Interfaces:

Graph.Dense, java.lang.Comparable<Value>

Enclosing class:

Directed

public static class Directed.Dense
extends Directed
implements Graph.Dense

A Dense, Directed Graph with Type t and adjacency Matrix A. It is not necessarily "dense", that's just its intended use. Also see Directed.Sparse and Undirected.Dense.

Nested Class Summary

Nested classes/interfaces inherited from class graph.Directed

Directed.AsUndirected, Directed.C, Directed.Dense, Directed.Edge, Directed.Sparse, Directed.Vertex

Nested classes/interfaces inherited from class graph.Graph

Graph.Canonical, Graph.Contraction, Graph.Derived, Graph.Induced, Graph.Renumbered, Graph.SubGraph, Graph.SubGraphs, Graph.ToDirected, Graph.ToUndirected

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.Directed

unlabelled, unlabelled_O

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
Dense(Type t, Matrix A)

Method Summary

Modifier and Type	Method and Description
boolean	isEdge(int v0, int v1) Is ⟨v0, v1⟩ an Edge in 'this' Graph? Also see adjacent(v0,v1).
java.lang.String	toString() Used, for example, in printing of constants, and in calls to Value.error(java.lang.String).
Type	type() Note, type(), Graph.adjacent(int, int), Graph.vLabelled(), Graph.vLabel(int), Graph.eLabelled(), and Graph.eLabel(int, int) must be consistent.
int	vSize() The number of Vertices, |V|≥1, V = {v0, ..., v(vSize()-1)}, of 'this' Graph.

Methods inherited from class graph.Directed

asUndirected, degree, dense, dense, dense, dense, dense, dense, main, sparse, toDirected

Methods inherited from class graph.Graph

A, adjacent, arrayA, byDegree, byDegree, canonical, canonical1, canonical1R, canonical2, canonical2R, checkProperties, contraction, directPredecessors, directSuccessors, edges, edgesCorrespond, eLabel, eLabelled, eLabels, eSize, eStats, flatten, hashCode, inDegree, induced, isDirected, isomorphic, isUndirected, joinedTo, localHash, maxEdges, nAutomorphisms, outDegree, randomised, renumbered, selfLoops, structurallyIdentical, subGraphs, subGraphs, 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, triple, tuple, UOE, uOp, x

Methods inherited from class java.lang.Object

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

Constructor Detail

Dense

public Dense(Type t,
             Matrix A)

Method Detail

type

public Type type()

Description copied from class: Graph

Note, type(), Graph.adjacent(int, int), Graph.vLabelled(), Graph.vLabel(int), Graph.eLabelled(), and Graph.eLabel(int, int) must be consistent.

Specified by:

type in class Graph

vSize

public int vSize()

Description copied from class: Graph

The number of Vertices, |V|≥1, V = {v₀, ..., v_(vSize()-1)}, of 'this' Graph. The "null Graph" (|V|=0) is usually considered not to be a Graph. Also see eSize().

Specified by:

vSize in class Graph

isEdge

public boolean isEdge(int v0,
                      int v1)

Description copied from class: Graph

Is ⟨v0, v1⟩ an Edge in 'this' Graph? Also see adjacent(v0,v1).

Specified by:

isEdge 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