UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Protected Member Functions | List of all members
Order Class Referenceabstract

This class presents a generic ordering relation on Hypergraphs. More...

#include <Order.h>

Inheritance diagram for Order:
Inheritance graph
[legend]

Public Member Functions

virtual bool isLessOrEq (graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const =0
 This function takes two Hypergraph objects and checks whether the first is smaller than or equal to the second, according to the specific implementation of Order. More...
 
virtual ~Order ()
 Destroys this Order object.
 

Protected Member Functions

 Order ()
 Calling this constructor except from a subclass, will produce problems with the virtual functions.
 

Detailed Description

This class presents a generic ordering relation on Hypergraphs.

Author
Jan Stückrath

Member Function Documentation

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

This function takes two Hypergraph objects and checks whether the first is smaller than or equal to the second, according to the specific implementation of Order.

Parameters
smallerthe Hypergraph which should be smaller
biggerthe Hypergraph which should be larger
Returns
true iff the first Hypergraph is smaller than or equal to the second

Implemented in OldMinorOrder, MinorOrder, and SubgraphOrder.


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