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.