/usr/include/isl/blk.h is in libisl-dev 0.12.2-1.
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 | /*
* Copyright 2008-2009 Katholieke Universiteit Leuven
*
* Use of this software is governed by the MIT license
*
* Written by Sven Verdoolaege, K.U.Leuven, Departement
* Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
*/
#ifndef ISL_BLK_H
#define ISL_BLK_H
#include <isl/int.h>
#if defined(__cplusplus)
extern "C" {
#endif
struct isl_blk {
size_t size;
isl_int *data;
};
#define ISL_BLK_CACHE_SIZE 20
struct isl_ctx;
struct isl_blk isl_blk_alloc(struct isl_ctx *ctx, size_t n);
struct isl_blk isl_blk_empty(void);
int isl_blk_is_error(struct isl_blk block);
struct isl_blk isl_blk_extend(struct isl_ctx *ctx, struct isl_blk block,
size_t new_n);
void isl_blk_free(struct isl_ctx *ctx, struct isl_blk block);
void isl_blk_clear_cache(struct isl_ctx *ctx);
#if defined(__cplusplus)
}
#endif
#endif
|