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

A total ordering on BHRZ03 certificates. More...

#include <ppl.hh>

List of all members.

Public Member Functions

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


Detailed Description

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.


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

Generated on Sat Apr 18 07:13:19 2009 for PPL by  doxygen 1.5.7.1