From: Vivien Maisonneuve Date: Thu, 26 Jun 2014 09:18:16 +0000 (+0200) Subject: Add method Domain.isbounded() X-Git-Tag: 1.0~196 X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/commitdiff_plain/5fa0e7932a1621bee505991475291e43225a4b49?ds=inline Add method Domain.isbounded() --- 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)