X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/blobdiff_plain/2de96003a48ae1ed91c853f38c72374a832824de..d9ce6feb2d36e40e83326744f1d4ff3890d1874f:/pypol/domains.py diff --git a/pypol/domains.py b/pypol/domains.py index 122d428..cdf2de4 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 involves_vars(self, vars): """ - Returns true if set depends on given dimensions. + Returns true if a 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: