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

Allocating APRON PPL managers

Function: ap_manager_t* ap_ppl_poly_manager_alloc (bool strict)
Allocate a APRON manager for convex polyhedra, linked to the PPL library.

The strict option, when true, enables strict constraints in polyhedra (like x>0). Managers in strict mode or in loose mode (strict constraints disabled) are not compatible, and so are corresponding abstract values.

Function: ap_manager_t* ap_ppl_grid_manager_alloc ()
Allocate an APRON manager for linear equalities, linked to the PPL library.



This document was generated on September, 10 2009 using texi2html