Parma_Polyhedra_Library::H79_Certificate::Compare Struct Reference
[C++ Language Interface]

A total ordering on H79 certificates. More...

List of all members.

Public Member Functions

bool operator() (const H79_Certificate &x, const H79_Certificate &y) const
 Returns true if and only if x comes before y.


Detailed Description

A total ordering on H79 certificates.

This binary predicate defines a total ordering on H79 certificates which is used when storing information about sets of polyhedra.


Generated on Fri Jan 20 09:35:35 2006 for PPL by  doxygen 1.4.6-20060115