| PPL
    1.2
    | 
A total ordering on BHRZ03 certificates. More...
#include <ppl.hh>
| Public Member Functions | |
| bool | operator() (const BHRZ03_Certificate &x, const BHRZ03_Certificate &y) const | 
| Returns trueif and only ifxcomes beforey. | |
A total ordering on BHRZ03 certificates.
This binary predicate defines a total ordering on BHRZ03 certificates which is used when storing information about sets of polyhedra.