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