Parma_Polyhedra_Library::Saturation_Matrix::Saturation_Row_Less_Than Struct Reference
[C++ Language Interface]

Ordering predicate (used when implementing the sort algorithm). More...

List of all members.

Public Member Functions

bool operator() (const Saturation_Row &x, const Saturation_Row &y) const


Detailed Description

Ordering predicate (used when implementing the sort algorithm).

Definition at line 154 of file Saturation_Matrix.defs.hh.


Member Function Documentation

bool Parma_Polyhedra_Library::Saturation_Matrix::Saturation_Row_Less_Than::operator() ( const Saturation_Row x,
const Saturation_Row y 
) const [inline]

Definition at line 120 of file Saturation_Matrix.inlines.hh.

00120                                                                    {
00121   return compare(x, y) < 0;
00122 }


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

Generated on Wed Jul 16 22:55:46 2008 for PPL by  doxygen 1.5.6