PPL  0.12.1
Public Member Functions
Parma_Polyhedra_Library::H79_Certificate::Compare Struct Reference

A total ordering on H79 certificates. More...

#include <H79_Certificate.defs.hh>

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.

Definition at line 83 of file H79_Certificate.defs.hh.

Member Function Documentation

bool Parma_Polyhedra_Library::H79_Certificate::Compare::operator() ( const H79_Certificate &  x,
const H79_Certificate &  y 
) const
inline

Returns true if and only if x comes before y.

Definition at line 47 of file H79_Certificate.inlines.hh.

References Parma_Polyhedra_Library::H79_Certificate::compare().

                                                                     {
  // For an efficient evaluation of the multiset ordering based
  // on this LGO relation, we want larger elements to come first.
  return x.compare(y) == 1;
}
The documentation for this struct was generated from the following files: