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

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 on September, 10 2009 using texi2html