test_bound.c: verify_point: use isl_val
[barvinok.git] / evalue_read.h
blobf33fbeb42f81d9def78b1ab481f22eab572f798e
1 #ifndef EVALUE_READ
2 #define EVALUE_READ
4 #include <barvinok/evalue.h>
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
10 evalue *evalue_read_from_file(FILE *in, const char *var_list,
11 const char ***ppp,
12 unsigned *nvar, unsigned *nparam, unsigned MaxRays);
13 evalue *evalue_read_from_str(const char *str, const char *var_list,
14 const char ***ppp,
15 unsigned *nvar, unsigned *nparam, unsigned MaxRays);
17 #if defined(__cplusplus)
19 #endif
21 #endif