| PPL
    1.1
    | 
A convergence certificate for the H79 widening operator. More...
#include <ppl.hh>
| Classes | |
| struct | Compare | 
| A total ordering on H79 certificates.  More... | |
| 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.  More... | |
| template<typename PH > | |
| int | compare (const PH &ph) const | 
| Compares *thiswith the certificate for polyhedronph. | |
| int | compare (const Polyhedron &ph) const | 
| Compares *thiswith the certificate for polyhedronph. | |
A convergence certificate for the H79 widening operator.
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.
 ,
,  or
 or  depending on whether
 depending on whether *this is smaller than, equal to, or greater than y, respectively.Compares *this with y, using a total ordering which is a refinement of the limited growth ordering relation for the H79 widening.