From cc6c00616ffb4e7bdf81d5d186ea91b61b304ff1 Mon Sep 17 00:00:00 2001 From: Danielle Bolan Date: Thu, 31 Jul 2014 11:58:12 +0200 Subject: [PATCH 1/1] Remove and edit method --- doc/domain.rst | 6 +----- pypol/domains.py | 11 ++--------- 2 files changed, 3 insertions(+), 14 deletions(-) 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: -- 2.20.1