PPL  1.2
Parma_Polyhedra_Library::Grid_Certificate::Compare Struct Reference

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...
 

Detailed Description

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.

Member Function Documentation

bool Parma_Polyhedra_Library::Grid_Certificate::Compare::operator() ( const Grid_Certificate x,
const Grid_Certificate y 
) const
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().

55  {
56  // For an efficient evaluation of the multiset ordering based
57  // on this LGO relation, we want larger elements to come first.
58  return x.compare(y) == 1;
59 }

The documentation for this struct was generated from the following files: