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

NewPolka (`pk.h'): convex polyhedra abstract domain

The NEWPOLKA convex polyhedra library is aimed to be used through the APRON interface. However some specific points should be precised. First, NEWPOLKA can use several underlying representations for numbers, which lead to several library variants. Second, some specific functions are needed, typically to allocate managers, and to specify special options.

Use of NewPolka  
Allocating NewPolka managers and setting options  



This document was generated on December, 22 2006 using texi2html