3.2.3. Derivation.hpp¶
3.2.3.1. Class Derivation¶
-
class 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.
3.2.3.1.1. Synopsis¶
3.2.3.1.2. Details¶
-
using GraphList = std::vector<std::shared_ptr<graph::Graph>>¶
Representation of a multiset of graphs.
-
operator Derivations() const¶
- Returns:
the
Derivationsobject equivalent to this object.
3.2.3.2. Class Derivations¶
-
class 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.
3.2.3.2.1. Synopsis¶
3.2.3.2.2. Details¶
-
using GraphList = std::vector<std::shared_ptr<graph::Graph>>¶
Representation of a multiset of graphs.