4.1.12.2. rule/CompositionMatch¶

class mod.RCMatch¶

A class for interactively constructing match between two rules used for composition. That is, for two rules \(p_1 = (L_1 \leftarrow K_1 \rightarrow R_1)\) and \(p_2 = (L_2 \leftarrow K_2 \rightarrow R_2)\), an object represents match between \(R_1\) and \(L_2\) which indicates a common subgraph \(R_1 \leftarrow M \rightarrow L_2\).

__init__(rFirst, rSecond, labelSettings=LabelSettings(LabelType.String, LabelRelation.Specialisation))¶

Construct an empty overlap.

Parameters

rFirst (Rule) – the first rule \(p_1\).
rSecond (Rule) – the second rule \(p_2\).
labelSettings (LabelSettings) – the settings to use for the morphisms \(R_1 \leftarrow M \rightarrow L_2\).

Raises

LogicError – if either rule is None.

__str__()¶

first¶

second¶

(Read-only) The rules \(p_1\) and \(p_2\).

Type: Rule

labelSettings¶

(Read-only) The settings for the morphisms in the match.

Type: LabelSettings

size¶

(Read-only) The number of currently mapped pairs of vertices.

Type: int

__getitem__(vFirst)¶

__getitem__(vSecond)

Parameters

vFirst (Rule.RightGraph.Vertex) – a vertex of \(R_1\) to return the mapped vertex for.
vSecond (Rule.LeftGraph.Vertex) – a vertex of \(L_2\) to return the mapped vertex for.

Returns

the vertex the given vertex is mapped to, or a null vertex if it is not mapped.

Raises

LogicError – if either vertex is a null vertex.
LogicError – if either vertex does not belong to their respective rules.

void push(vFirst, vSecond)

Extend the common subgraph (match) of \(R_1\) and \(L_2\) by identifying the given vertices from each of the graphs.

Raises

LogicError – if either vertex is a null vertex.
LogicError – if either vertex does not belong to their respective rules.
LogicError – if either vertex is already mapped.
LogicError – if the extension of the match is infeasible.

pop()¶

Pop the latest pushed vertex pair.

Raises: LogicError – if self.size == 0.

compose(*, verbose=False)¶

Parameters: verbose (bool) – whether to output debug messages from the composition algorithm.
Returns: the composition of the two rules along the match. If the composition is not defined, None is returned.
Return type: Rule

composeAll(*, maximum=False, verbose=False)¶

Parameters

maximum (bool) – whether to only compose only using the matches of maximum cardinality.
verbose (bool) – whether to output debug messages from the composition algorithm.

Returns

the composition of the two rules along enumerated matches. The enumerated matches are all those that are extensions of the current match, and the match it self.

Return type

list[Rule]