/usr/include/ap_ppl.h is in libapron-dev 0.9.10-9.
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 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 | /*
* apron_ppl.h
*
* APRON Library / PPL library wrapper
*
* This is the (only) one .h to include to access all PPL domains.
*
* Copyright (C) Antoine Mine' 2006
*
*/
/*
* This file is part of the APRON Library, released under GPL license.
* Please read the COPYING file packaged in the distribution.
*/
#ifndef __APRON_PPL_H
#define __APRON_PPL_H
#include "ap_global0.h"
#ifdef __cplusplus
extern "C" {
#endif
ap_manager_t* ap_ppl_poly_manager_alloc(bool strict);
/* (PPL::Polyhedron )
Allocate an APRON manager for convex polyhedra, linked to PPL.
If the Boolean parameter is true, abstract values generated with the
manager can have strict constraints (like x>0). Otherwise they are defined
using only loose constraints. Managers and abstract values in strict and
loose mode are incompatible.
*/
ap_manager_t* ap_ppl_grid_manager_alloc(void);
/* (PPL::Grid)
Allocate a APRON manager for grids, linked to PPL.
*/
/* extra functions not in APRON managers */
ap_abstract0_t*
ap_abstract0_ppl_poly_widening_thresholds(ap_manager_t* man,
ap_abstract0_t* a1,
ap_abstract0_t* a2,
ap_lincons0_array_t* array);
ap_abstract0_t*
ap_abstract0_ppl_grid_widening_thresholds(ap_manager_t* man,
ap_abstract0_t* a1,
ap_abstract0_t* a2,
ap_lincons0_array_t* array);
#ifdef __cplusplus
}
#endif
#endif /* __APRON_PPL_H */
|