From 5fa0e7932a1621bee505991475291e43225a4b49 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Thu, 26 Jun 2014 11:18:16 +0200
Subject: [PATCH 1/1] Add method Domain.isbounded()
---
pypol/domains.py | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/pypol/domains.py b/pypol/domains.py
index fd588b7..a34b75b 100644
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -81,6 +81,12 @@ class Domain:
libisl.isl_set_free(islset)
return universe
+ def isbounded(self):
+ islset = self._toislset(self.polyhedra, self.symbols)
+ bounded = bool(libisl.isl_set_is_bounded(islset))
+ libisl.isl_set_free(islset)
+ return bounded
+
def __eq__(self, other):
symbols = self._xsymbols([self, other])
islset1 = self._toislset(self.polyhedra, symbols)
--
2.20.1