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.
|
|
1.4.6-20060115