3.1.9.3. dg/GraphInterface

3.1.9.3.1. Class DGVertex

class mod.DGVertex

A descriptor of either a vertex in a derivation graph, or a null vertex.

__init__(self)

Constructs a null descriptor.

isNull()
Returns

whether this is a null descriptor or not.

Return type

bool

id

(Read-only) The index of the vertex. It will be in the range \([0, numVertices + numEdges[\).

Type

int

Raises

LogicError if it is a null descriptor.

dg

(Read-only) The derivation graph the vertex belongs to.

Type

DG

Raises

LogicError if it is a null descriptor.

inDegree

(Read-only) The in-degree of the vertex, including multiplicity of target multisets.

Type

int

Raises

LogicError if it is a null descriptor.

inEdges

(Read-only) A range of in-hyperedges for this vertex.

Type

DGInEdgeRange

Raises

LogicError if it is a null descriptor.

outDegree

(Read-only) The out-degree of the vertex, including multiplicity of source multisets.

Type

int

Raises

LogicError if it is a null descriptor.

outEdges

(Read-only) A range of out-hyperedges for this vertex.

Type

DGOutEdgeRange

Raises

LogicError if it is a null descriptor.

graph

(Read-only) The graph label of the vertex.

Type

Graph

Raises

LogicError if it is a null descriptor.

3.1.9.3.2. Class DGHyperEdge

class mod.DGHyperEdge

A descriptor of either a hyperedge in a derivation graph, or a null edge.

__init__(self)

Constructs a null descriptor.

isNull()
Returns

whether this is a null descriptor or not.

Return type

bool

id

(Read-only) The index of the hyperedge. It will be in the range \([0, numVertices + numEdges[\).

Type

int

Raises

LogicError if it is a null descriptor.

dg

(Read-only) The derivation graph the edge belongs to.

Type

DG

Raises

LogicError if it is a null descriptor.

numSources

(Read-only) The number of sources of the hyperedge.

Type

int

sources

(Read-only) The sources of the hyperedge.

Type

DGSourceRange

Raises

LogicError if it is a null descriptor.

numTargets

(Read-only) The number of targerts of the hyperedge.

Type

int

targets

(Read-only) The targets of the hyperedge.

Type

DGTargetRange

Raises

LogicError if it is a null descriptor.

rules

(Read-only) The rules associated with the hyperedge.

Type

DGRuleRange

Raises

LogicError if it is a null descriptor.

inverse

(Read-only) A descriptor for the inverse hyperedge of this one, if it exists. Otherwise a null descriptor is returned.

Type

DGHyperEdge

Raises

LogicError if it is a null descriptor.

Raises

LogicError if not dg.locked.

print(printer=GraphPrinter(), nomatchColour='gray', matchColour='')

Print the derivations represented by the hyperedge. All possible Double-Pushout diagrams are printed.

Parameters

  • printer (GraphPrinter) – the printer to use for the figures.

  • matchColour (str) – the TikZ colour to use for the rule and its image in the bottom span.

Returns

A list with file data for each DPO diagram printed. Each element is a pair of filename prefixes, where the first entry is completed by appending _derL, _derK, or _derR. The second entry is completed similarly by appending _derG, _derD, or _derH.

Return type

list[tuple[str, str]]

Raises

LogicError if it is a null descriptor.

Raises

LogicError if it has no rules.