20 #ifndef UQRULEINSTANCE_H_
21 #define UQRULEINSTANCE_H_
70 unordered_set<IDType>
const& leftUQVertices,
71 unordered_set<IDType>
const& rightUQVertices);
120 virtual void fillSplitRule(pair<AnonRule_sp, AnonRule_sp>& rulePair)
const override;
shared_ptr< AnonHypergraph > AnonHypergraph_sp
Alias of a shared pointer to an AnonHypergraph.
Definition: AnonHypergraph.h:415
unordered_set< IDType > & getLeftUQVertices()
Returns the set of universally quantified vertices of the left-hand side.
Definition: UQRuleInstance.cpp:44
UQRuleInstance(AnonRule const &rule, unordered_set< IDType > const &leftUQVertices, unordered_set< IDType > const &rightUQVertices)
Creates a new UQRuleInstance from the given AnonRule and with the given sets of universally quantifie...
Definition: UQRuleInstance.cpp:29
This is the data structure representing a morphism mapping from a graph to another graph...
Definition: Mapping.h:36
virtual bool isBackApplicable(AnonHypergraph const &graph, Mapping const &match) const override
Checks whether this UQRuleInstance is backward applicable or not.
Definition: UQRuleInstance.cpp:60
shared_ptr< UQRuleInstance > UQRuleInstance_sp
Alias of a shared pointer to a UQRuleIstance.
Definition: UQRuleInstance.h:139
AnonRule serves as a data structure of a rule object.
Definition: AnonRule.h:39
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
This class serves as data structure of a universally quantified rule.
Definition: UQRule.h:38
unordered_set< IDType > leftUQVertices
Stores all universally quantified IDs in the left-hand side.
Definition: UQRuleInstance.h:127
unordered_set< IDType > & getRightUQVertices()
Returns the set of images of universally quantified vertices in the right-hand side.
Definition: UQRuleInstance.cpp:52
The UQRuleInstance is a rule which is generated when UQRules are instantiated.
Definition: UQRuleInstance.h:35
virtual ~UQRuleInstance()
Destroys this UQRuleInstance.
Definition: UQRuleInstance.cpp:42
shared_ptr< UQRuleInstance const > UQRuleInstance_csp
Alias of a shared pointer to a constant UQRuleInstance.
Definition: UQRuleInstance.h:144
unordered_set< IDType > rightUQVertices
Stores all images of universally quantified IDs in the right-hand side.
Definition: UQRuleInstance.h:132