From: Danielle Bolan Date: Thu, 31 Jul 2014 09:58:12 +0000 (+0200) Subject: Remove and edit method X-Git-Tag: 1.0~90 X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/cc6c00616ffb4e7bdf81d5d186ea91b61b304ff1?ds=sidebyside Remove and edit method --- diff --git a/doc/domain.rst b/doc/domain.rst index 7098c32..7f99617 100644 --- a/doc/domain.rst +++ b/doc/domain.rst @@ -17,11 +17,7 @@ Domains Module Returns a domain as disjoint. - .. py:method:: num_parameters - - Returns the total number of parameters, input, output or dimensions in a domain. - - .. py:method:: involves_dims(self, dims) + .. py:method:: involvesvars(self, vars) Returns ``True`` if a domain depends on the given dimensions. diff --git a/pypol/domains.py b/pypol/domains.py index 122d428..e730f16 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -304,20 +304,13 @@ class Domain(GeometricObject): islset = libisl.isl_set_lexmax(islset) return self._fromislset(islset, self.symbols) - def num_parameters(self): - """ - Return the total number of parameters, input, output or set dimensions. - """ - islbset = self._toislbasicset(self.equalities, self.inequalities, self.symbols) - num = libisl.isl_basic_set_dim(islbset, libisl.isl_dim_set) - return num - def involves_dims(self, dims): + def involvesvars(self, vars): """ Returns true if set depends on given dimensions. """ islset = self._toislset(self.polyhedra, self.symbols) - dims = sorted(dims) + dims = sorted(vars) symbols = sorted(list(self.symbols)) n = 0 if len(dims)>0: