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