20 #ifndef DATA_STRUCTURESRULE_H
21 #define DATA_STRUCTURESRULE_H
91 virtual void streamTo(std::ostream& ost)
const override;
virtual void streamTo(std::ostream &ost) const override
Streams as string representation of this Streamable object to the given ostream.
Definition: Rule.cpp:51
shared_ptr< AnonHypergraph > AnonHypergraph_sp
Alias of a shared pointer to an AnonHypergraph.
Definition: AnonHypergraph.h:415
shared_ptr< Rule const > Rule_csp
Alias for a shared pointer to a constant Rule.
Definition: Rule.h:110
virtual ~Rule()
Destroys this Rule object.
Definition: Rule.cpp:44
Represents the data structure for a rule including a unique identifier.
Definition: Rule.h:38
This is the data structure representing a morphism mapping from a graph to another graph...
Definition: Mapping.h:36
shared_ptr< Rule > Rule_sp
Alias for a shared pointer to a Rule.
Definition: Rule.h:105
AnonHypergraph_sp right
Stores a pointer to the right graph of this rule.
Definition: AnonRule.h:212
IDType getID() const
Returns the unique identifier of this Rule object.
Definition: Rule.cpp:46
AnonRule serves as a data structure of a rule object.
Definition: AnonRule.h:39
Rule(string name="", AnonHypergraph_sp left=make_shared< AnonHypergraph >(), AnonHypergraph_sp right=make_shared< AnonHypergraph >(), Mapping const &match=Mapping())
Generates a new rule with the given name, left graph, right graph and mapping.
Definition: Rule.cpp:29
AnonHypergraph_sp left
Stores a pointer to the left graph of this rule.
Definition: AnonRule.h:207
IDType ID
Stores the ID of this Rule.
Definition: Rule.h:98
An AnonHypergraph is a data structure storing a hypergraph.
Definition: AnonHypergraph.h:43
string name
Stores the name of this rule.
Definition: AnonRule.h:202
unsigned int IDType
IDType is an (unsigned) integer specifically used as an Identifier of graphs, elements of graphs or a...
Definition: globals.h:53