3.1.3. Derivation¶
3.1.3.1. Class 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
Derivationsobject.
3.1.3.2. Class Derivations¶
-
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.