UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Private Attributes | List of all members
SubgraphOrder Class Reference

This class implement the "standard" subgraph ordering. More...

#include <SubgraphOrder.h>

Inheritance diagram for SubgraphOrder:
Inheritance graph
[legend]
Collaboration diagram for SubgraphOrder:
Collaboration graph
[legend]

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.
 

Detailed Description

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.

Author
Jan Stückrath

Member Function Documentation

bool isLessOrEq ( graphs::Hypergraph const &  smaller,
graphs::Hypergraph const &  bigger 
) const
overridevirtual

Checks whether the smaller graph is a subgraph of the larger graph.

If both are isomorphic, the result is also true.

Parameters
smallerthe potential subgraph
biggerthe potential larger graph
Returns
true, iff the smaller graph is a subgraph of the larger graph

Implements Order.


The documentation for this class was generated from the following files: