# 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
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