From c4f7f29ba5feba7bdcffa17aea92fb79c3020ed5 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 10 Jul 2009 18:00:48 +0200 Subject: [PATCH] add isl_int_le --- include/isl_int.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/isl_int.h b/include/isl_int.h index 220368c..d3c1a16 100644 --- a/include/isl_int.h +++ b/include/isl_int.h @@ -68,6 +68,7 @@ typedef mpz_t isl_int; #define isl_int_eq(i,j) (mpz_cmp(i,j) == 0) #define isl_int_ne(i,j) (mpz_cmp(i,j) != 0) #define isl_int_lt(i,j) (mpz_cmp(i,j) < 0) +#define isl_int_le(i,j) (mpz_cmp(i,j) <= 0) #define isl_int_gt(i,j) (mpz_cmp(i,j) > 0) #define isl_int_ge(i,j) (mpz_cmp(i,j) >= 0) #define isl_int_abs_eq(i,j) (mpz_cmpabs(i,j) == 0) -- 2.7.4