A total ordering on BHRZ03 certificates. More...

#include <BHRZ03_Certificate_defs.hh>

Public Member Functions
bool	operator() (const BHRZ03_Certificate &x, const BHRZ03_Certificate &y) const
	Returns `true` if and only if `x` comes before `y`. More...

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 84 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 56 of file BHRZ03_Certificate_inlines.hh.

References Parma_Polyhedra_Library::BHRZ03_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:

Public Member Functions

Detailed Description

Member Function Documentation