UnCoVer (Using Coverability for Verification)
|
This class presents a generic ordering relation on Hypergraphs. More...
#include <Order.h>
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. | |
This class presents a generic ordering relation on Hypergraphs.
|
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.
smaller | the Hypergraph which should be smaller |
bigger | the Hypergraph which should be larger |
Implemented in OldMinorOrder, MinorOrder, and SubgraphOrder.