Public Member Functions | |
H79_Certificate () | |
Default constructor. | |
template<typename PH> | |
H79_Certificate (const PH &ph) | |
Constructor: computes the certificate for ph . | |
H79_Certificate (const Polyhedron &ph) | |
Constructor: computes the certificate for ph . | |
H79_Certificate (const H79_Certificate &y) | |
Copy constructor. | |
~H79_Certificate () | |
Destructor. | |
int | compare (const H79_Certificate &y) const |
The comparison function for certificates. | |
template<typename PH> | |
int | compare (const PH &ph) const |
Compares *this with the certificate for polyhedron ph . | |
int | compare (const Polyhedron &ph) const |
Compares *this with the certificate for polyhedron ph . | |
Classes | |
struct | Compare |
A total ordering on H79 certificates. More... |
Convergence certificates are used to instantiate the BHZ03 framework so as to define widening operators for the finite powerset domain.
int Parma_Polyhedra_Library::H79_Certificate::compare | ( | const H79_Certificate & | y | ) | const |
The comparison function for certificates.
*this
is smaller than, equal to, or greater than y
, respectively.*this
with y
, using a total ordering which is a refinement of the limited growth ordering relation for the H79 widening.