PPL
1.2
|
A total ordering on Grid certificates. More...
#include <Grid_Certificate_defs.hh>
Public Member Functions | |
bool | operator() (const Grid_Certificate &x, const Grid_Certificate &y) const |
Returns true if and only if x comes before y . More... | |
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.
Definition at line 81 of file Grid_Certificate_defs.hh.
|
inline |
Returns true
if and only if x
comes before y
.
Definition at line 54 of file Grid_Certificate_inlines.hh.
References Parma_Polyhedra_Library::Grid_Certificate::compare().