Allocating pkgrid managers
- Function: ap_manager_t* ap_pkgrid_manager_alloc (ap_manager_t* manpk, ap_manager_t* manpplgrid)
- Allocate a APRON manager linked to the pkgrid library, using the
(loose or strict) polka manager manpk and the PPL grid manager
manpplgrid. If one of the argulment manager is not of the right
type, returns
NULL
.
Available standard options are the one offered by the generic
reduced product module `ap_reducedproduct' contained in the
`apron' core library (see section Functions for implementors).
This document was generated
by Bertrand Jeannet on December, 22 2009
using texi2html