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

PPL (`ap_ppl.h'): convex polyhedra and linear congruences abstract domains

The APRON PPL library is an APRON wrapper around the Parma Polyhedra Library (PPL). The wrapper offers the convex polyhedra and linear congruences abstract domains.

Use of APRON PPL  
Allocating APRON PPL managers  
APRON PPL standard options  



This document was generated on September, 10 2009 using texi2html