Public Member Functions | |
bool | operator() (const Saturation_Row &x, const Saturation_Row &y) const |
Definition at line 154 of file Saturation_Matrix.defs.hh.
bool Parma_Polyhedra_Library::Saturation_Matrix::Saturation_Row_Less_Than::operator() | ( | const Saturation_Row & | x, | |
const Saturation_Row & | y | |||
) | const [inline] |