[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
The PKGRID library is aimed to be used through the APRON interface. It implements the reduced product of NewPolka convex polyhedra and the PPL linear congruences abstract domains and implementations. It exploits for this the features offered by the module `ap_reducedproduct' contained in the `apron' core library.
Use of pkgrid Allocating pkgrid managers