A total ordering on H79 certificates. More...
#include <H79_Certificate.defs.hh>
Public Member Functions | |
| bool | operator() (const H79_Certificate &x, const H79_Certificate &y) const |
Returns true if and only if x comes before y. | |
A total ordering on H79 certificates.
This binary predicate defines a total ordering on H79 certificates which is used when storing information about sets of polyhedra.
Definition at line 83 of file H79_Certificate.defs.hh.
| bool Parma_Polyhedra_Library::H79_Certificate::Compare::operator() | ( | const H79_Certificate & | x, | |
| const H79_Certificate & | y | |||
| ) | const [inline] |
Returns true if and only if x comes before y.
Definition at line 47 of file H79_Certificate.inlines.hh.
References Parma_Polyhedra_Library::H79_Certificate::compare().
1.6.3