UnCoVer (Using Coverability for Verification)
|
This class implement the "standard" subgraph ordering. More...
#include <SubgraphOrder.h>
Public Member Functions | |
SubgraphOrder () | |
Creates a new SubgraphOrder object. | |
virtual | ~SubgraphOrder () |
Destroys the current instance of this SubgraphOrder. | |
virtual bool | isLessOrEq (graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const override |
Checks whether the smaller graph is a subgraph of the larger graph. More... | |
Private Attributes | |
rule_engine::StdMatchFinder | matchFinder |
This matchfinder is used to find an injective embedding of the smaller graph in the larger graph. | |
This class implement the "standard" subgraph ordering.
A graph G is a subgraph of a graph H if there is a total injection from G to H.
|
overridevirtual |
Checks whether the smaller graph is a subgraph of the larger graph.
If both are isomorphic, the result is also true.
smaller | the potential subgraph |
bigger | the potential larger graph |
Implements Order.