UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for SubgraphOrder, including all inherited members.
isLessOrEq(graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const override | SubgraphOrder | virtual |
matchFinder | SubgraphOrder | private |
Order() | Order | inlineprotected |
SubgraphOrder() | SubgraphOrder | |
~Order() | Order | inlinevirtual |
~SubgraphOrder() | SubgraphOrder | virtual |