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

Allocating pkgrid managers

Function: ap_manager_t* ap_pkgrid_manager_alloc (bool STRICT)
Allocate a APRON manager linked to the pkgrid library. STRICT indicates whether the polyhedra in the product may have strict constraints or not.

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 August, 27 2007 using texi2html