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

A total ordering on BHRZ03 certificates. More...

#include <BHRZ03_Certificate.defs.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.

Definition at line 85 of file BHRZ03_Certificate.defs.hh.


Member Function Documentation

bool Parma_Polyhedra_Library::BHRZ03_Certificate::Compare::operator() ( const BHRZ03_Certificate x,
const BHRZ03_Certificate y 
) const [inline]

Returns true if and only if x comes before y.

Definition at line 54 of file BHRZ03_Certificate.inlines.hh.

References Parma_Polyhedra_Library::BHRZ03_Certificate::compare().

00055                                                                            {
00056   // For an efficient evaluation of the multiset ordering based
00057   // on this lgo relation, we want larger elements to come first.
00058   return x.compare(y) == 1;
00059 }


The documentation for this struct was generated from the following files:
Generated on Sun Feb 27 16:20:28 2011 for PPL by  doxygen 1.6.3