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 section Use of NewPolka) and the PPL library (see section 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 section Functions for implementors).

This document was generated by root on September 20, 2019 using texi2html 1.82.