/usr/include/ap_var.h is in libapron-dev 0.9.10-6.
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 | /* ********************************************************************** */
/* ap_var.h: variables (strings or user-defined) */
/* ********************************************************************** */
/* This file is part of the APRON Library, released under LGPL license. Please
read the COPYING file packaged in the distribution */
#ifndef _AP_VAR_H_
#define _AP_VAR_H_
#ifdef __cplusplus
extern "C" {
#endif
/* ====================================================================== */
/* Datatype */
/* ====================================================================== */
/* The abstract type ap_var_t is
equipped with a total ordering function, a copy function,
and a free function.
The parametrization is done via a global variable pointing to an
ap_var_operations_t structure.
*/
typedef void* ap_var_t;
typedef struct ap_var_operations_t {
int (*compare)(ap_var_t v1, ap_var_t v2); /* Total ordering function */
int (*hash)(ap_var_t v); /* Hash function */
ap_var_t (*copy)(ap_var_t var); /* Duplication function */
void (*free)(ap_var_t var); /* Deallocation function */
char* (*to_string)(ap_var_t var); /* Conversion to a dynamically allocated string */
} ap_var_operations_t;
extern ap_var_operations_t ap_var_operations_default;
/* default manager: ap_var_t are char* */
extern ap_var_operations_t* ap_var_operations;
/* points to manager in use, by default ap_var_operations_default */
#ifdef __cplusplus
}
#endif
#endif
|