4.1.4. Derivation

class mod.Derivation

This class is a simple wrapper for passing data around. It contains two multisets of graphs \(G\) and \(H\), and optionally a rule \(p\). An object may thus implicitly store a set of direct derivations \(G\Rightarrow^p H\), though the validity of the data is not checked.

An object of this class is implicitly convertible to a Derivations object.

left

Represents the multi-set of left graphs \(G\).

Type:

list[Graph]

rule

Represents the transformation rule \(p\), or no rule at all.

Type:

Rule

right

Represents the multi-set of right graphs \(H\).

Type:

list[Graph]

class mod.Derivations

This class is a simple wrapper for passing data around. It contains two multisets of graphs \(G\) and \(H\), and (possibly empty) set of rules. An object may thus implicitly store a set of direct derivations \(G\Rightarrow^p H\) for each rule \(p\), though the validity of the data is not checked.

left

Represents the multi-set of left graphs \(G\).

Type:

list[Graph]

rules

Represents a (possibly empty) set of transformation rules.

Type:

list[Rule]

right

Represents the multi-set of right graphs \(H\).

Type:

list[Graph]