#include <BHRZ03_Certificate.defs.hh>
Public Member Functions | |
bool | operator() (const BHRZ03_Certificate &x, const BHRZ03_Certificate &y) const |
Returns true if and only if x comes before y . |
This binary predicate defines a total ordering on BHRZ03 certificates which is used when storing information about sets of polyhedra.
Definition at line 84 of file BHRZ03_Certificate.defs.hh.
bool Parma_Polyhedra_Library::BHRZ03_Certificate::Compare::operator() | ( | const BHRZ03_Certificate & | x, | |
const BHRZ03_Certificate & | y | |||
) | const [inline] |
Returns true
if and only if x
comes before y
.
Definition at line 53 of file BHRZ03_Certificate.inlines.hh.
References Parma_Polyhedra_Library::BHRZ03_Certificate::compare().
00054 { 00055 // For an efficient evaluation of the multiset ordering based 00056 // on this lgo relation, we want larger elements to come first. 00057 return x.compare(y) == 1; 00058 }