3.1.3. Derivation

3.1.3.1. Class Derivation

class mod.Derivation

This class represents a derivation \(G\Rightarrow^p H\), with \(G\) and \(H\) being multisets of graphs.

left

Represents the multi-set of left graphs \(G\) in a derivation \(G\Rightarrow^p H\).

Type:list of Graph
rule

Represents the transformation rule \(p\) in a derivation \(G\Rightarrow^p H\).

Type:Rule
right

Represents the multi-set of right graphs \(G\) in a derivation \(G\Rightarrow^p H\).

Type:list of Graph