pkgrid (ap_pkgrid.h): reduced product of NewPolka convex polyhedra and PPL linear congruences abstract domains

The PKGRID library is aimed to be used through the APRON interface. It implements the reduced product of NewPolka convex polyhedra and the PPL linear congruences abstract domains and implementations. It exploits for this the features offered by the module ap_reducedproduct contained in the apron core library.

Use of pkgrid

To use PKGRID in C, add

#include "ap_pkgrid.h"

in your source file(s) and add ‘-I$(APRON_PREFIX)/include’ in the command line in your Makefile.

You should also link your object files with the PKGRID library to produce an executable, by adding something like ‘-L$(APRON_PREFIX)/lib -lap_pkgrid’ in the command line in your Makefile, followed by the flags and libraries needed for the NewPolka library (see Use of NewPolka) and the PPL library (see Use of APRON PPL). Be cautious: because of the use of the PPL library, you ‘g++’ (C++ compiler) instead of ‘gcc’ (C compiler) for the linking.

Also, the library is available in debug mode (‘libap_pkgrid_debug.a’, ‘libap_pkgrid_debug.so’).

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 Functions for implementors).