/usr/include/ap_pkgrid.h is in libapron-dev 0.9.10-7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 | /* ************************************************************************* */
/* ap_poly_grid.h: reduced product of NewPolka polyhedra and PPL grids */
/* ************************************************************************* */
/* This file is part of the APRON Library, released under LGPL license. Please
read the COPYING file packaged in the distribution */
#ifndef _AP_PKGRID_H_
#define _AP_PKGRID_H_
#include "ap_reducedproduct.h"
#ifdef __cplusplus
extern "C" {
#endif
ap_manager_t* ap_pkgrid_manager_alloc(ap_manager_t* manpk, ap_manager_t* manpplgrid);
/* Allocates a product managaer (see ap_reducedproduct.h header file
Returns NULL if manpk is not a polka manager for loose or strict
polyhedra, or if manpplgrid is not a PPL manager for grids.
The given managers are copied (reference count incremented) in the
result. So, if the argument managers are not needed any more, they
should be freed with ap_manager_free.
*/
void ap_pkgrid_reduce(ap_manager_t* manager,
ap_reducedproduct_t* a);
/* Reduction function between the two domains */
void ap_pkgrid_approximate(ap_manager_t* manager,
ap_reducedproduct_t* a,
int n);
/* Approximation function.
It consists in apply approximate to the Polka polyhedron, with the argument n.
*/
#ifdef __cplusplus
}
#endif
#endif
|