Public Member Functions | |
BHRZ03_Certificate () | |
Default constructor. | |
BHRZ03_Certificate (const Polyhedron &ph) | |
Constructor: computes the certificate for ph . | |
BHRZ03_Certificate (const BHRZ03_Certificate &y) | |
Copy constructor. | |
~BHRZ03_Certificate () | |
Destructor. | |
int | compare (const BHRZ03_Certificate &y) const |
The comparison function for certificates. | |
int | compare (const Polyhedron &ph) const |
Compares *this with the certificate for polyhedron ph . |
Convergence certificates are used to instantiate the BHZ03 framework so as to define widening operators for the finite powerset domain.
|
The comparison function for certificates.
*this with y , using a total ordering which is a refinement of the limited growth ordering relation for the BHRZ03 widening. |