UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
SubgraphOrder Member List

This is the complete list of members for SubgraphOrder, including all inherited members.

isLessOrEq(graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const overrideSubgraphOrdervirtual
matchFinderSubgraphOrderprivate
Order()Orderinlineprotected
SubgraphOrder()SubgraphOrder
~Order()Orderinlinevirtual
~SubgraphOrder()SubgraphOrdervirtual