[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

pkgrid (`ap_pkgrid.h'): reduced product of NewPolka convex polyhedra and PPL linear congruences abstract domains

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  



This document was generated on September, 10 2009 using texi2html