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

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

isLessOrEq(graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const =0Orderpure virtual
Order()Orderinlineprotected
~Order()Orderinlinevirtual